| Publication | Date of Publication | Type |
|---|
| Semiring provenance for fixed-point logic | 2026-03-23 | Paper |
| Semiring provenance for Büchi games: strategy analysis with absorptive polynomials | 2024-12-06 | Paper |
| Zero-one laws and almost sure valuations of first-order logic in semiring semantics | 2024-12-06 | Paper |
| Locality theorems in semiring semantics | 2024-12-03 | Paper |
Semiring provenance for Büchi games: strategy analysis with absorptive polynomials
Logical Methods in Computer Science | 2024-06-27 | Paper |
Metafinite model theory
Lecture Notes in Computer Science | 2023-12-12 | Paper |
| Ehrenfeucht-Fra\"iss\'e Games in Semiring Semantics | 2023-08-09 | Paper |
Limitations of the invertible-map equivalences
Journal Of Logic And Computation | 2023-08-03 | Paper |
| scientific article; zbMATH DE number 7650835 (Why is no real title available?) | 2023-02-07 | Paper |
Convergence and Nonconvergence Laws for Random Expansions of Product Structures
Fields of Logic and Computation III | 2022-11-09 | Paper |
Undecidability results on two-variable logics
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
Annals of Pure and Applied Logic | 2022-09-16 | Paper |
Separation logic and logics with team semantics
Annals of Pure and Applied Logic | 2022-09-16 | Paper |
| Choiceless Logarithmic Space | 2022-07-21 | Paper |
Approximations of isomorphism and logics with linear-algebraic operators
(available as arXiv preprint) | 2022-07-21 | Paper |
| Dependency Concepts up to Equivalence. | 2022-05-28 | Paper |
Logics with multiteam semantics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Semiring Provenance for Guarded Logics
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
Logics of dependence and independence: The local variants
Journal Of Logic And Computation | 2021-11-09 | Paper |
| The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs | 2021-04-27 | Paper |
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
(available as arXiv preprint) | 2021-02-22 | Paper |
Logics of Dependence and Independence: The Local Variants
(available as arXiv preprint) | 2021-02-20 | Paper |
| Elementary equivalence versus isomorphism in semiring semantics | 2021-02-10 | Paper |
Automatic structures: twenty years later
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| scientific article; zbMATH DE number 7297830 (Why is no real title available?) | 2021-01-19 | Paper |
Provenance analysis for logic and games
Moscow Journal of Combinatorics and Number Theory | 2020-11-10 | Paper |
| Provenance analysis: a perspective for description logics? | 2020-06-04 | Paper |
| Advice Automatic Structures and Uniformly Automatic Classes | 2020-05-26 | Paper |
| scientific article; zbMATH DE number 7204319 (Why is no real title available?) | 2020-05-26 | Paper |
Games for inclusion logic and fixed-point logic
Dependence Logic | 2020-02-04 | Paper |
| Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic | 2019-10-17 | Paper |
Tailoring recursion for complexity
Automata, Languages and Programming | 2019-04-29 | Paper |
Rank logic is dead, long live rank logic!
Journal of Symbolic Logic | 2019-03-15 | Paper |
A finite-model-theoretic view on propositional proof complexity
(available as arXiv preprint) | 2019-02-25 | Paper |
Approximations of Isomorphism and Logics with Linear-Algebraic Operators
(available as arXiv preprint) | 2019-02-18 | Paper |
Characterising choiceless polynomial time with first-order interpretations
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Defining winning strategies in fixed-point logic
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Bisimulation safe fixed point logic | 2018-04-23 | Paper |
| Solution concepts and algorithms for infinite multiplayer games | 2018-01-03 | Paper |
Rank logic is dead, long live rank logic!
(available as arXiv preprint) | 2017-08-31 | Paper |
| Counting in team semantics | 2017-07-19 | Paper |
Inflationary fixed points in modal logic
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Datalog LITE
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Back and forth between guarded and modal logics
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Is polynomial time choiceless?
Fields of Logic and Computation II | 2015-09-22 | Paper |
The freedoms of (guarded) bisimulation
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Model-theoretic properties of \(\omega\)-automatic structures
Theory of Computing Systems | 2015-02-05 | Paper |
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
Theoretical Computer Science | 2014-12-02 | Paper |
Choiceless polynomial time on structures with small abelian colour classes
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Model-checking games for logics of imperfect information
Theoretical Computer Science | 2014-01-10 | Paper |
Definability of linear equation systems over groups and rings
Logical Methods in Computer Science | 2013-11-28 | Paper |
Dependence and independence
Studia Logica | 2013-06-13 | Paper |
Dependence and independence
Studia Logica | 2013-06-13 | Paper |
Model Checking Games
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
| Model checking games for the quantitative \(\mu\)-calculus | 2013-03-19 | Paper |
Entanglement and the complexity of directed graphs
Theoretical Computer Science | 2013-01-07 | Paper |
| Banach-Mazur games with simple winning strategies | 2012-11-22 | Paper |
Definability of linear equation systems over groups and rings
(available as arXiv preprint) | 2012-11-22 | Paper |
| Banach-Mazur games on graphs | 2012-10-19 | Paper |
| The field of reals is not \(\omega\)-automatic | 2012-08-23 | Paper |
| Back and forth between logic and games | 2011-10-05 | Paper |
| Automata-based presentations of infinite structures | 2011-10-05 | Paper |
Games and model checking for guarded logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Model checking games for the quantitative \(\mu \)-calculus
Theory of Computing Systems | 2010-10-06 | Paper |
Definability in games
Computer Science Logic | 2010-09-03 | Paper |
| What kind of memory is needed to win infinitary Muller games? | 2010-07-09 | Paper |
Properties of Almost All Graphs and Generalized Quantifiers
Fundamenta Informaticae | 2010-05-25 | Paper |
| Once upon a time in the West. Determinacy, definability, and complexity of path games | 2010-02-24 | Paper |
Directed Graphs of Entanglement Two
Fundamentals of Computation Theory | 2009-10-20 | Paper |
The Descriptive Complexity of Parity Games
Computer Science Logic | 2008-11-20 | Paper |
Positional Determinacy of Games with Infinitely Many Priorities
Logical Methods in Computer Science | 2007-10-11 | Paper |
STACS 2004
Lecture Notes in Computer Science | 2007-10-01 | Paper |
The variable hierarchy of the \(\mu\)-calculus is strict
Theory of Computing Systems | 2007-08-23 | Paper |
Backtracking games and inflationary fixed points
Theoretical Computer Science | 2006-03-20 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Fixed-point logics and solitaire games
Theory of Computing Systems | 2005-02-24 | Paper |
Finite presentations of infinite structures: Automata and interpretations
Theory of Computing Systems | 2005-02-24 | Paper |
Finite model theory and its applications.
Texts in Theoretical Computer Science. An EATCS Series | 2005-01-12 | Paper |
| scientific article; zbMATH DE number 1951198 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1948173 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1860675 (Why is no real title available?) | 2003-01-28 | Paper |
Guarded fixed point logics and the monadic theory of countable trees.
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1841826 (Why is no real title available?) | 2002-12-04 | Paper |
| scientific article; zbMATH DE number 1696779 (Why is no real title available?) | 2002-06-30 | Paper |
The classical decision problem.
Universitext | 2001-09-30 | Paper |
| Linear time Datalog and branching time logic | 2001-08-30 | Paper |
| scientific article; zbMATH DE number 1263207 (Why is no real title available?) | 2001-08-27 | Paper |
On the Restraining Power of Guards
Journal of Symbolic Logic | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1555182 (Why is no real title available?) | 2001-01-22 | Paper |
| scientific article; zbMATH DE number 1487500 (Why is no real title available?) | 2001-01-11 | Paper |
On Preservation Theorems for Two-Variable Logic
Mathematical Logic Quarterly | 2000-03-29 | Paper |
| scientific article; zbMATH DE number 1424028 (Why is no real title available?) | 2000-03-23 | Paper |
On logics with two variables
Theoretical Computer Science | 2000-01-12 | Paper |
Undecidability results on two-variable logics
Archive for Mathematical Logic | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1354171 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1346360 (Why is no real title available?) | 1999-09-30 | Paper |
| scientific article; zbMATH DE number 1341606 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1256653 (Why is no real title available?) | 1999-04-22 | Paper |
0-1 laws for recursive structures
Archive for Mathematical Logic | 1998-09-10 | Paper |
Metafinite model theory
Information and Computation | 1998-05-04 | Paper |
On the Decision Problem for Two-Variable First-Order Logic
The Bulletin of Symbolic Logic | 1997-06-30 | Paper |
On the Decision Problem for Two-Variable First-Order Logic
The Bulletin of Symbolic Logic | 1997-06-30 | Paper |
| scientific article; zbMATH DE number 953024 (Why is no real title available?) | 1997-05-12 | Paper |
Logical definability of counting functions
Journal of Computer and System Sciences | 1997-03-31 | Paper |
| scientific article; zbMATH DE number 965572 (Why is no real title available?) | 1997-01-14 | Paper |
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
Annals of Pure and Applied Logic | 1996-10-13 | Paper |
Tailoring recursion for complexity
Journal of Symbolic Logic | 1995-12-19 | Paper |
On the power of deterministic transitive closures
Information and Computation | 1995-08-01 | Paper |
| scientific article; zbMATH DE number 515737 (Why is no real title available?) | 1994-08-07 | Paper |
| scientific article; zbMATH DE number 515727 (Why is no real title available?) | 1994-04-04 | Paper |
| scientific article; zbMATH DE number 408795 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 176527 (Why is no real title available?) | 1993-05-18 | Paper |
Capturing complexity classes by fragments of second-order logic
Theoretical Computer Science | 1992-09-27 | Paper |
Simple sentences that are hard to decide
Information and Computation | 1991-01-01 | Paper |
Satisfiability of formulae with one \(\forall\) is decidable in exponential time
Archive for Mathematical Logic | 1990-01-01 | Paper |
ON THE NOTION OF LINEAR TIME COMPUTABILITY
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
Domino Games and Complexity
SIAM Journal on Computing | 1990-01-01 | Paper |
Simple interpretations among complicated theories
Information Processing Letters | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4200184 (Why is no real title available?) | 1989-01-01 | Paper |
Dominoes and the complexity of subclasses of logical theories
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4170888 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4061218 (Why is no real title available?) | 1988-01-01 | Paper |
Subclasses of Presburger arithmetic and the polynomial-time hierarchy
Theoretical Computer Science | 1988-01-01 | Paper |
