1. 2019
  2. Published

    Symbolic computation of differential equivalences. / Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea.

    In: Theoretical Computer Science, Vol. 777, 19.07.2019, p. 132-154.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  3. Published

    Speeding up stochastic and deterministic simulation by aggregation : An advanced tutorial. / Tribastone, Mirco; Vandin, Andrea.

    Proceedings of the 2018 Winter Simulation Conference. IEEE, 2019. p. 336-350 8632364.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2019Researchpeer-review

  4. Published

    Statistical analysis of CARMA models : An advanced tutorial. / Galpin, Vashti; Georgoulas, Anastasis; Loreti, Michele; Vandin, Andrea.

    Proceedings of the 2018 Winter Simulation Conference. IEEE, 2019. p. 395-409 8632456.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2019Researchpeer-review

  5. Published

    A verified prover based on ordered resolution. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy.

    Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. ed. / Assia Mahboubi; Magnus O. Myreen. Association for Computing Machinery, 2019. p. 152-165.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2019Researchpeer-review

  6. Published

    Lightweight information flow. / Nielson, Flemming; Nielson, Hanne Riis.

    Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, 2019. p. 455-470 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingBook chapter – Annual report year: 2019Researchpeer-review

  7. Published

    Multi-valued Logic for Static Analysis and Model Checking. / Nielson, Flemming; Nielson, Hanne Riis; Zhang, Fuyuan.

    Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, 2019. p. 89-109 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingBook chapter – Annual report year: 2019Researchpeer-review

  8. Accepted/In press

    A framework for quantitative modeling and analysis of highly (re)configurable systems. / ter Beek, Maurice H. ; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea.

    In: I E E E Transactions on Software Engineering, 2019.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  9. Published

    Comparing chemical reaction networks : A categorical and algorithmic perspective. / Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea.

    In: Theoretical Computer Science, Vol. 765, 2019, p. 47-66.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  10. Published

    Formal Methods : An Appetizer. . / Nielson, Flemming; Nielson, Hanne Riis.

    Springer, 2019. 170 p.

    Research output: Book/ReportBook – Annual report year: 2019Education

  11. Published

    Typing and Compositionality for Stateful Security Protocols. / Hess, Andreas Viktor.

    DTU Compute, 2019. 179 p. (DTU Compute PHD-2018, Vol. 495).

    Research output: Book/ReportPh.D. thesis – Annual report year: 2019Research

Previous 1 2 3 4 5 6 7 8 ...19 Next