| Publication | Date of Publication | Type |
|---|
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
| An equational modeling of asynchronous concurrent programming | 2021-07-01 | Paper |
| Spatio-temporal domains: an overview | 2018-11-23 | Paper |
Two-way Automata and Regular Languages of Overlapping Tiles
Fundamenta Informaticae | 2016-08-15 | Paper |
Walking automata in free inverse monoids
Lecture Notes in Computer Science | 2016-03-10 | Paper |
Inverse monoids of higher-dimensional strings
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
A syntactic congruence for languages of birooted trees
Semigroup Forum | 2016-02-01 | Paper |
On labeled birooted tree languages: algebras, automata and logic
Information and Computation | 2015-06-09 | Paper |
Towards a higher-dimensional string theory for the modeling of computerized systems
SOFSEM 2014: Theory and Practice of Computer Science | 2015-01-13 | Paper |
On languages of one-dimensional overlapping tiles
Lecture Notes in Computer Science | 2014-11-04 | Paper |
Embedding finite and infinite words into overlapping tiles (short paper)
Developments in Language Theory | 2014-10-14 | Paper |
Advanced synchronization of audio or symbolic musical patterns: an algebraic approach
International Journal of Semantic Computing | 2014-04-10 | Paper |
Algebraic tools for the overlapping tile product
Language and Automata Theory and Applications | 2014-03-31 | Paper |
Algebras, automata and logic for languages of labeled birooted trees
Automata, Languages, and Programming | 2013-08-07 | Paper |
Overlapping tile automata
Computer Science – Theory and Applications | 2013-06-14 | Paper |
Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles (extended abstract)
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
Automata for the modal \(\mu \)-calculus and related results
Lecture Notes in Computer Science | 2010-06-17 | Paper |
The monadic theory of finite representations of infinite words
Information Processing Letters | 2010-03-24 | Paper |
On Distributed Program Specification and Synthesis in Architectures with Cycles
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Automata on Directed Graphs: Edge Versus Vertex Marking
Lecture Notes in Computer Science | 2008-11-27 | Paper |
From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
SOFSEM 2008: Theory and Practice of Computer Science | 2008-03-07 | Paper |
On the (High) Undecidability of Distributed Synthesis Problems
Lecture Notes in Computer Science | 2008-03-07 | Paper |
Fundamentals of Computation Theory
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2206362 (Why is no real title available?) | 2005-09-19 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 2113976 (Why is no real title available?) | 2004-11-05 | Paper |
| scientific article; zbMATH DE number 1688376 (Why is no real title available?) | 2002-01-09 | Paper |
Permissive strategies: from parity games to safety games
RAIRO - Theoretical Informatics and Applications | 2002-01-01 | Paper |
Permissive strategies: from parity games to safety games
RAIRO - Theoretical Informatics and Applications | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1418347 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1354147 (Why is no real title available?) | 1999-10-31 | Paper |
