| Publication | Date of Publication | Type |
|---|
On Guidable Index of Tree Automata
| 2023-08-08 | Paper |
200 Problems on Languages, Automata, and Computation
| 2023-01-30 | Paper |
Automata on infinite trees with counting constraints
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Daniel Simson Obituary
Fundamenta Informaticae | 2022-10-31 | Paper |
Contribution of Warsaw logicians to computational logic
Axioms | 2019-06-19 | Paper |
The Ackermann Award 2013
| 2017-02-02 | Paper |
scientific article; zbMATH DE number 6423744 (Why is no real title available?)
| 2015-04-09 | Paper |
On the separation question for tree languages
Theory of Computing Systems | 2015-02-05 | Paper |
To Andrzej Skowron on his 70\(^{\text{th}}\) birthday
Fundamenta Informaticae | 2013-11-28 | Paper |
The Ackermann Award 2012.
| 2012-11-22 | Paper |
On the separation question for tree languages
| 2012-08-23 | Paper |
On topological completeness of regular tree languages
Logic and Program Semantics | 2012-07-16 | Paper |
On the Borel inseparability of game tree languages
| 2012-04-24 | Paper |
Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal
Information Processing Letters | 2012-01-18 | Paper |
On the topological complexity of tree languages
| 2011-03-30 | Paper |
Preface
Fundamenta Informaticae | 2011-01-03 | Paper |
Choice functions and well-orderings over the infinite binary tree
Central European Journal of Mathematics | 2010-11-22 | Paper |
The Ackermann Award 2010
Computer Science Logic | 2010-09-03 | Paper |
On the Borel complexity of MSO definable sets of branches
Fundamenta Informaticae | 2010-05-25 | Paper |
The Ackermann Award 2007
Computer Science Logic | 2009-03-05 | Paper |
Continuous separation of game languages
| 2008-03-03 | Paper |
On the positional determinacy of edge-labeled games
Theoretical Computer Science | 2006-03-24 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2087432 (Why is no real title available?)
| 2004-08-11 | Paper |
A gap property of deterministic tree languages.
Theoretical Computer Science | 2003-08-17 | Paper |
scientific article; zbMATH DE number 1948152 (Why is no real title available?)
| 2003-07-10 | Paper |
scientific article; zbMATH DE number 1722657 (Why is no real title available?)
| 2002-03-21 | Paper |
Rudiments of \(\mu\)-calculus
Studies in Logic and the Foundations of Mathematics | 2001-03-18 | Paper |
On Distributive Fixed-Point Expressions
RAIRO - Theoretical Informatics and Applications | 2000-03-16 | Paper |
scientific article; zbMATH DE number 1392287 (Why is no real title available?)
| 2000-01-24 | Paper |
scientific article; zbMATH DE number 1346522 (Why is no real title available?)
| 1999-10-03 | Paper |
Fixed point characterization of infinite behavior of finite-state systems
Theoretical Computer Science | 1998-06-30 | Paper |
scientific article; zbMATH DE number 1136080 (Why is no real title available?)
| 1998-04-01 | Paper |
y= 2xVS.y= 3x
Journal of Symbolic Logic | 1997-09-28 | Paper |
Games for the \(\mu\)-calculus
Theoretical Computer Science | 1997-02-27 | Paper |
On the feasibility of checking temporal integrity constraints
Journal of Computer and System Sciences | 1996-06-10 | Paper |
Automata on infinite trees with counting constraints
Information and Computation | 1996-04-16 | Paper |
scientific article; zbMATH DE number 475417 (Why is no real title available?)
| 1994-08-28 | Paper |
THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON
International Journal of Algebra and Computation | 1993-11-01 | Paper |
scientific article; zbMATH DE number 176157 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 35424 (Why is no real title available?)
| 1992-06-28 | Paper |
A geometrical view of the determinization and minimization of finite-state automata
Mathematical Systems Theory | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4189200 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4131657 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 3960988 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3995637 (Why is no real title available?)
| 1985-01-01 | Paper |
Fixed-point characterization of context-free ∞-languages
Information and Control | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3858387 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3768985 (Why is no real title available?)
| 1982-01-01 | Paper |
