| Publication | Date of Publication | Type |
|---|
Testing membership for timed automata
Acta Informatica | 2023-11-21 | Paper |
Streaming Property Testing of Visibly Pushdown Languages *
(available as arXiv preprint) | 2018-03-02 | Paper |
Probabilistic abstraction for model checking: an approach based on property testing
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Approximate consistency for transformations on words and trees
Theoretical Computer Science | 2016-03-31 | Paper |
Approximation of large probabilistic networks by structured population protocols
Algebraic Informatics | 2013-09-20 | Paper |
Approximate verification and enumeration problems
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Approximate satisfiability and equivalence
SIAM Journal on Computing | 2011-01-17 | Paper |
Approximate Structural Consistency
SOFSEM 2010: Theory and Practice of Computer Science | 2010-01-28 | Paper |
Approximate Nash Equilibria for Multi-player Games
Algorithmic Game Theory | 2008-05-02 | Paper |
Property testing of regular tree languages
Algorithmica | 2007-11-28 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Uniform generation in spatial constraint databases and applications
Journal of Computer and System Sciences | 2006-06-30 | Paper |
| scientific article; zbMATH DE number 2226186 (Why is no real title available?) | 2005-11-08 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
| scientific article; zbMATH DE number 2116161 (Why is no real title available?) | 2004-11-18 | Paper |
| scientific article; zbMATH DE number 2077106 (Why is no real title available?) | 2004-07-01 | Paper |
| scientific article; zbMATH DE number 1998343 (Why is no real title available?) | 2004-02-22 | Paper |
The expressiveness of DAC
Theoretical Computer Science | 2002-08-13 | Paper |
Interactive protocols over the reals
Computational Complexity | 2000-11-20 | Paper |
| scientific article; zbMATH DE number 1337741 (Why is no real title available?) | 2000-02-17 | Paper |
On the complexity of partially observed Markov decision processes
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 877979 (Why is no real title available?) | 1996-05-13 | Paper |
| scientific article; zbMATH DE number 790274 (Why is no real title available?) | 1995-08-27 | Paper |
The functional dimension of inductive definitions
Theoretical Computer Science | 1992-09-27 | Paper |
Second-order and Inductive Definability on Finite Structures
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043319 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043305 (Why is no real title available?) | 1986-01-01 | Paper |
