| Publication | Date of Publication | Type |
|---|
Synchronization of 1-way connected processors
Fundamentals of Computation Theory | 2022-12-09 | Paper |
State complexity of SBTA languages
LATIN '95: Theoretical Informatics | 2022-08-16 | Paper |
| Model checking coalitional games in shortage resource scenarios | 2021-06-09 | Paper |
Model checking coalitional games in shortage resource scenarios
(available as arXiv preprint) | 2021-06-09 | Paper |
Reachability of scope-bounded multistack pushdown systems
Information and Computation | 2020-12-15 | Paper |
On a logic for coalitional games with priced-resource agents
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Scope-bounded pushdown languages
International Journal of Foundations of Computer Science | 2016-06-23 | Paper |
Minimum and non-minimum time solutions to the firing squad synchronization problem
Computing with New Resources | 2015-09-08 | Paper |
Parametric metric interval temporal logic
Theoretical Computer Science | 2014-12-16 | Paper |
A unifying approach for multistack pushdown automata
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Scope-bounded pushdown languages
Developments in Language Theory | 2014-10-14 | Paper |
A Temporal Logic for Multi-threaded Programs
Lecture Notes in Computer Science | 2012-09-21 | Paper |
Reachability of multistack pushdown systems with scope-bounded matching relations
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Graded alternating-time temporal logic
Fundamenta Informaticae | 2011-03-28 | Paper |
Graded Alternating-Time Temporal Logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
Parametric Metric Interval Temporal Logic
Language and Automata Theory and Applications | 2010-05-26 | Paper |
Model checking for graded CTL
Fundamenta Informaticae | 2010-02-05 | Paper |
Program Complexity in Hierarchical Module Checking
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
CTL Model-Checking with Graded Quantifiers
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Verification of scope-dependent hierarchical state machines
Information and Computation | 2008-10-08 | Paper |
On the Membership Problem for Visibly Pushdown Languages
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
The word problem for visibly pushdown languages described by grammars
Formal Methods in System Design | 2007-11-28 | Paper |
Different time solutions for the firing squad synchronization problem on basic grid networks
RAIRO - Theoretical Informatics and Applications | 2007-04-10 | Paper |
Different time solutions for the firing squad synchronization problem on basic grid networks
RAIRO - Theoretical Informatics and Applications | 2007-04-10 | Paper |
Different time solutions for the firing squad synchronization problem on basic grid networks
RAIRO - Theoretical Informatics and Applications | 2007-04-10 | Paper |
Weak Muller acceptance conditions for tree automata
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2086519 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080198 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2038754 (Why is no real title available?) | 2004-02-08 | Paper |
Finite automata on timed \(\omega\)-trees
Theoretical Computer Science | 2003-07-01 | Paper |
| scientific article; zbMATH DE number 1869612 (Why is no real title available?) | 2003-03-24 | Paper |
Automata-based Representations for Infinite Graphs
RAIRO - Theoretical Informatics and Applications | 2002-11-17 | Paper |
Automata-based Representations for Infinite Graphs
RAIRO - Theoretical Informatics and Applications | 2002-11-17 | Paper |
Automata-based Representations for Infinite Graphs
RAIRO - Theoretical Informatics and Applications | 2002-11-17 | Paper |
Timed tree automata with an application to temporal logic.
Acta Informatica | 2002-08-14 | Paper |
| scientific article; zbMATH DE number 1738668 (Why is no real title available?) | 2002-05-07 | Paper |
A compositional approach to synchronize two-dimensional networks of processors
RAIRO. Theoretical Informatics and Applications | 2002-01-21 | Paper |
A compositional approach to synchronize two-dimensional networks of processors
RAIRO. Theoretical Informatics and Applications | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1346516 (Why is no real title available?) | 1999-10-03 | Paper |
| scientific article; zbMATH DE number 1222592 (Why is no real title available?) | 1999-07-05 | Paper |
| scientific article; zbMATH DE number 1192313 (Why is no real title available?) | 1998-11-09 | Paper |
Succinctness of descriptions of SBTA-languages
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1047929 (Why is no real title available?) | 1997-11-09 | Paper |
| scientific article; zbMATH DE number 919839 (Why is no real title available?) | 1997-01-05 | Paper |
| scientific article; zbMATH DE number 846967 (Why is no real title available?) | 1996-06-27 | Paper |
Power of interconnections and of nondeterminism in regularY-tree systolic automata
Mathematical Systems Theory | 1995-12-13 | Paper |
Languages accepted by systolic \(Y\)-tree automata: Structural characterizations
Acta Informatica | 1994-07-04 | Paper |
| scientific article; zbMATH DE number 4108159 (Why is no real title available?) | 1989-01-01 | Paper |
C-tree systolic automata
Theoretical Computer Science | 1988-01-01 | Paper |
Web structures: a tool for representing and manipulating programs
IEEE Transactions on Software Engineering | 1988-01-01 | Paper |
A hierarchy of loop programs over binary trees
International Journal of Computer Mathematics | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3988742 (Why is no real title available?) | 1985-01-01 | Paper |
Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems
Theoretical Computer Science | 1984-01-01 | Paper |
