• In press

  On-the-Fly Exact Computation of Bisimilarity Distances

  Publication: Research - peer-review › Article in proceeding

• Published

  A Metric Analogue of Stone Duality for Markov Processes

  Publication: Research - peer-review › Conference abstract for conference

• Published

  Combining Epistemic Logic and Hennessy-Milner Logic

  Publication: Research - peer-review › Book chapter

View all »

• Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  Project

View all »

• Lecture Notes in Computer Science

  ISSNs: 0302-9743, 0302-8743, 1865-0929

  Springer, Germany

  Central database

  Journal: Book series

• International Journal of Foundations of Computer Science

  ISSNs: 0129-0541

  World Scientific Publishing Co. Pte. Ltd., Singapore

  Central database

  Journal

• Electronic Notes in Theoretical Computer Science

  ISSNs: 1571-0661

  Elsevier BV, Netherlands

  Central database

  Journal

• A I P Conference Proceedings Series

  ISSNs: 0094-243X

  Springer New York LLC, United States

  Central database

  Journal

• Fundamenta Informaticae

  ISSNs: 0169-2968

  I O S Press, Netherlands

  Central database

  Journal

View all »

• Syntax and Semantics for UCN

  Activity: Lecture and oral contribution

• Truth, Provability and Metamathematics

  Activity: Lecture and oral contribution

• Introduction to Logic and Model Theory

  Activity: Lecture and oral contribution

View all »

• Eliteforsker gør indviklede systemer lettere at gennemskue

  Press clipping

View all »

• Springer, 0-387

  Central database

  Publisher

• Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 978-3-939897

  Local database

  Publisher

• IEEE Press, 0-7695

  Central database

  Publisher

• Romanian Academy of Science

  Local database

  Publisher

• Springer Science+Business Media B.V., 90-481

  Central database

  Publisher

View all »