| Publication | Date of Publication | Type |
|---|
On the Boolean Closure of Deterministic Top-Down Tree Automata
International Journal of Foundations of Computer Science | 2024-02-16 | Paper |
On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Solving Infinite Games in the Baire Space
Fundamenta Informaticae | 2022-10-07 | Paper |
Automata on finite trees
| 2022-02-04 | Paper |
Mathematical Logic
Graduate Texts in Mathematics | 2021-06-08 | Paper |
Trees over infinite structures and path logics with synchronization
| 2021-03-10 | Paper |
Connectivity games over dynamic networks
| 2021-03-03 | Paper |
scientific article; zbMATH DE number 7075873 (Why is no real title available?)
| 2019-07-03 | Paper |
Einführung in die mathematische Logik
| 2018-10-01 | Paper |
Finite automata over infinite alphabets: two models with transitions for local change
International Journal of Foundations of Computer Science | 2018-05-15 | Paper |
Algorithms: From Al-Khwarizmi to Turing and Beyond
Turing’s Revolution | 2018-04-18 | Paper |
Solution of Church's problem: a tutorial
| 2018-01-03 | Paper |
On the synthesis of strategies in infinite games
STACS 95 | 2017-12-04 | Paper |
\(\mathbb {N}\)-memory automata over the alphabet \(\mathbb {N}\)
Language and Automata Theory and Applications | 2017-06-01 | Paper |
Optimal strategy synthesis for request-response games
RAIRO. Theoretical Informatics and Applications | 2016-01-22 | Paper |
Finite automata over infinite alphabets: two models with transitions for local change
Developments in Language Theory | 2015-11-10 | Paper |
Composition over the natural number ordering with an extra binary relation
Fields of Logic and Computation II | 2015-09-22 | Paper |
Connectivity games over dynamic networks
Theoretical Computer Science | 2014-01-10 | Paper |
A game theoretic approach to the analysis of dynamic networks
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Finite Automata and the Analysis of Infinite Transition Systems
Modern Applications of Automata Theory | 2013-02-26 | Paper |
Languages versus \(\omega\)-languages in regular infinite games
International Journal of Foundations of Computer Science | 2013-01-18 | Paper |
Degrees of lookahead in regular infinite games
Logical Methods in Computer Science | 2012-10-22 | Paper |
Moving in a network under random failures: a complexity analysis
Science of Computer Programming | 2012-07-13 | Paper |
Compositional failure detection in structured transition systems
Implementation and Application of Automata | 2011-07-29 | Paper |
Languages vs. \(\omega \)-languages in regular infinite games
Developments in Language Theory | 2011-07-29 | Paper |
Infinite games and uniformization
Logic and Its Applications | 2010-12-17 | Paper |
A Game-Theoretic Approach to Routing under Adversarial Conditions
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
On monadic theories of monadic predicates
Fields of Logic and Computation | 2010-09-03 | Paper |
Symbolic synthesis of finite-state controllers for request-response specifications
Implementation and Application of Automata | 2010-05-07 | Paper |
Degrees of lookahead in regular infinite games
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS
International Journal of Foundations of Computer Science | 2009-11-19 | Paper |
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies
Fundamentals of Computation Theory | 2009-10-20 | Paper |
The Reachability Problem over Infinite Graphs
Computer Science - Theory and Applications | 2009-08-18 | Paper |
Path logics with synchronization
| 2009-07-27 | Paper |
Facets of Synthesis: Revisiting Church’s Problem
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
Computer Science Logic | 2009-03-12 | Paper |
Logical Refinements of Church’s Problem
Computer Science Logic | 2009-03-05 | Paper |
Model Transformations in Decidability Proofs for Monadic Theories
Computer Science Logic | 2008-11-20 | Paper |
Optimal strategy synthesis in request-response games
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Model Checking Synchronized Products of Infinite Transition Systems
Logical Methods in Computer Science | 2008-04-01 | Paper |
Church’s Problem and a Tour through Automata Theory
Pillars of Computer Science | 2008-03-25 | Paper |
Optimizing Winning Strategies in Regular Infinite Games
SOFSEM 2008: Theory and Practice of Computer Science | 2008-03-07 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
Introduction to mathematical logic
| 2007-10-18 | Paper |
On Intersection Problems for Polynomially Generated Sets
Automata, Languages and Programming | 2007-09-11 | Paper |
Observations on determinization of Büchi automata
Theoretical Computer Science | 2007-01-09 | Paper |
Implementation and Application of Automata
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Fundamentals of Computation Theory
Lecture Notes in Computer Science | 2006-10-20 | Paper |
The monadic quantifier alternation hierarchy over grids and graphs
Information and Computation | 2006-10-10 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Counter-free automata, first-order logic, and star-free expressions extended by prefix oracles
| 2006-09-06 | Paper |
scientific article; zbMATH DE number 2087217 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2077117 (Why is no real title available?)
| 2004-07-01 | Paper |
scientific article; zbMATH DE number 1948507 (Why is no real title available?)
| 2003-07-13 | Paper |
scientific article; zbMATH DE number 1948171 (Why is no real title available?)
| 2003-07-10 | Paper |
scientific article; zbMATH DE number 1903345 (Why is no real title available?)
| 2003-05-01 | Paper |
Uniform and nonuniform recognizability.
Theoretical Computer Science | 2003-01-22 | Paper |
The monadic theory of morphic infinite words and generalizations
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1759492 (Why is no real title available?)
| 2002-11-25 | Paper |
scientific article; zbMATH DE number 1759414 (Why is no real title available?)
| 2002-11-04 | Paper |
scientific article; zbMATH DE number 1408338 (Why is no real title available?)
| 2002-02-21 | Paper |
scientific article; zbMATH DE number 1414278 (Why is no real title available?)
| 2000-03-16 | Paper |
scientific article; zbMATH DE number 1086492 (Why is no real title available?)
| 1998-06-01 | Paper |
scientific article; zbMATH DE number 1142314 (Why is no real title available?)
| 1998-05-14 | Paper |
scientific article; zbMATH DE number 1059319 (Why is no real title available?)
| 1998-03-12 | Paper |
scientific article; zbMATH DE number 988809 (Why is no real title available?)
| 1997-10-16 | Paper |
scientific article; zbMATH DE number 930362 (Why is no real title available?)
| 1996-10-01 | Paper |
Monadic second-order logic over rectangular pictures and recognizability by tiling systems
Information and Computation | 1996-07-03 | Paper |
Regular languages defined with generalized quantifiers
Information and Computation | 1995-07-10 | Paper |
scientific article; zbMATH DE number 612169 (Why is no real title available?)
| 1994-07-31 | Paper |
Nondeterminism versus determinism of finite automata over directed acyclic graphs
Bulletin of the Belgian Mathematical Society - Simon Stevin | 1994-06-15 | Paper |
scientific article; zbMATH DE number 522865 (Why is no real title available?)
| 1994-03-24 | Paper |
scientific article; zbMATH DE number 176754 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 139631 (Why is no real title available?)
| 1993-03-28 | Paper |
scientific article; zbMATH DE number 108465 (Why is no real title available?)
| 1993-01-23 | Paper |
Infinite trees and automaton-definable relations over \(\omega\)-words
Theoretical Computer Science | 1993-01-16 | Paper |
scientific article; zbMATH DE number 4208050 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4119650 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4076666 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4027441 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049066 (Why is no real title available?)
| 1987-01-01 | Paper |
On frontiers of regular trees
RAIRO - Theoretical Informatics and Applications | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3885853 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3888931 (Why is no real title available?)
| 1984-01-01 | Paper |
An application of the Ehrenfeucht-Fraisse game in formal language theory
Mémoires de la Société mathématique de France | 1984-01-01 | Paper |
Classifying regular events in symbolic logic
Journal of Computer and System Sciences | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3790415 (Why is no real title available?)
| 1982-01-01 | Paper |
A combinatorial approach to the theory of ω-automata
Information and Control | 1981-01-01 | Paper |
Remark on the star-height-problem
Theoretical Computer Science | 1981-01-01 | Paper |
On the bounded monadic theory of well-ordered structures
Journal of Symbolic Logic | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3693458 (Why is no real title available?)
| 1980-01-01 | Paper |
Star-free regular sets of ω-sequences
Information and Control | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3619844 (Why is no real title available?)
| 1978-01-01 | Paper |
The theory of successor with an extra predicate
Mathematische Annalen | 1978-01-01 | Paper |
A note on undecidable extensions of monadic second order successor arithmetic
Archiv für Mathematische Logik und Grundlagenforschung | 1975-01-01 | Paper |
