• Accepted

  History-preserving bisimilarity for higher-dimensional automata via open maps

  Publication: Research - peer-review › Journal article

• Published

  Reachability analysis for timed automata using max-plus algebra

  Publication: Research - peer-review › Journal article

• Published

  Energy Games in Multiweighted Automata

  Publication: Research - peer-review › Conference article in Journal

View all »

• Lecture Notes in Computer Science

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

  Springer, Germany

  Central database

  Journal: Book series

• Journal of Logic and Algebraic Programming

  ISSNs: 1567-8326

  Elsevier BV North-Holland, Netherlands

  Central database

  Journal

• Electronic Notes in Theoretical Computer Science

  ISSNs: 1571-0661

  Elsevier BV, Netherlands

  Central database

  Journal

• Communications of the A C M

  ISSNs: 0001-0782

  Association for Computing Machinery, Inc., United States

  Central database

  Journal

• Theoretical Computer Science

  ISSNs: 0304-3975

  Elsevier BV, Netherlands

  Central database

  Journal

View all »

• Directed algebraic topology and concurrency

  Project

View all »

• Pergamon Press, 0-08

  Central database

  Publisher

• Aalborg Universitetsforlag, 87-7307

  Denmark

  Central database

  Publisher

• IEEE Computer Society Press, 0-7695

  United States

  Central database

  Publisher

• Association for Computing Machinery, 0-89791

  United States

  Central database

  Publisher

• Springer, 0-387

  Central database

  Publisher

View all »