| Publication | Date of Publication | Type |
|---|
Automata on infinite trees with counting constraints
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Security policies enforcement using finite edit automata
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
The probability nesting game
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
On the complexity of finite memory policies for Markov decision processes
Lecture Notes in Computer Science | 2010-06-17 | Paper |
A decidable probability logic for timed probabilistic systems
Fundamenta Informaticae | 2010-02-05 | Paper |
Decidability of Parameterized Probabilistic Information Flow
Computer Science – Theory and Applications | 2008-06-03 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
A Logic of Probability with Decidable Model Checking
Journal Of Logic And Computation | 2006-12-04 | Paper |
Decidable properties for monadic abstract state machines
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Periodicity based decidable classes in a first order timed logic
Annals of Pure and Applied Logic | 2006-04-28 | Paper |
A codicity undecidable problem in the plane.
Theoretical Computer Science | 2003-08-17 | Paper |
Biography of A. O. Slissenko
Theoretical Computer Science | 2003-08-17 | Paper |
| scientific article; zbMATH DE number 1948170 (Why is no real title available?) | 2003-07-10 | Paper |
On probabilistic timed automata.
Theoretical Computer Science | 2003-01-22 | Paper |
Decidable verification for reducible timed automata specified in a first order logic with time
Theoretical Computer Science | 2002-07-31 | Paper |
Groups and tilings
Theoretical Computer Science | 2002-07-15 | Paper |
A first order logic for specification of timed algorithms: Basic properties and a decidable class
Annals of Pure and Applied Logic | 2002-05-20 | Paper |
| scientific article; zbMATH DE number 1786649 (Why is no real title available?) | 2002-01-01 | Paper |
Monadic Logic of Order over Naturals has no Finite Base
Journal Of Logic And Computation | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1421183 (Why is no real title available?) | 2000-12-11 | Paper |
| scientific article; zbMATH DE number 1390056 (Why is no real title available?) | 2000-04-26 | Paper |
| scientific article; zbMATH DE number 1346522 (Why is no real title available?) | 1999-10-03 | Paper |
| scientific article; zbMATH DE number 1333591 (Why is no real title available?) | 1999-09-19 | Paper |
Polytime model checking for times probabilistic computation tree logic
Acta Informatica | 1999-03-29 | Paper |
| scientific article; zbMATH DE number 1189294 (Why is no real title available?) | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 1047870 (Why is no real title available?) | 1997-10-26 | Paper |
Polyomino tilings, cellular automata and codicity
Theoretical Computer Science | 1997-02-28 | Paper |
Automata on infinite trees with counting constraints
Information and Computation | 1996-04-16 | Paper |
Tiling figures of the plane with two bars
Computational Geometry | 1995-03-22 | Paper |
Rabin tree automata and finite monoids
Theoretical Computer Science | 1995-01-09 | 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 |
Languages and scanners
Theoretical Computer Science | 1992-06-26 | Paper |
On translating one polyomino to tile the plane
Discrete & Computational Geometry | 1992-06-26 | Paper |
An undecidable problem about rational sets and contour words of polyominoes
Information Processing Letters | 1991-01-01 | Paper |
Minimal automaton for a factorial, transitive, and rational language
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4014054 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3992940 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3911741 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3917744 (Why is no real title available?) | 1985-01-01 | Paper |
Codeterministic automata on infinite words
Information Processing Letters | 1985-01-01 | Paper |
