| Publication | Date of Publication | Type |
|---|
A linear time algorithm for the feasibility of pebble motion on trees
Algorithm Theory — SWAT'96 | 2022-12-09 | Paper |
Synchronization of 1-way connected processors
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Better algorithms for minimum weight vertex-connectivity problems
Lecture Notes in Computer Science | 2022-11-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 |
Model-checking graded computation-tree logic with finite path semantics
Theoretical Computer Science | 2020-01-16 | Paper |
Placing resources in a tree: dynamic and static algorithms
Automata, Languages and Programming | 2019-01-10 | Paper |
A new approach to optimal planning of robot motion on a tree with obstacles
Algorithms — ESA '96 | 2017-12-05 | Paper |
On a logic for coalitional games with priced-resource agents
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Minimum and non-minimum time solutions to the firing squad synchronization problem
Computing with New Resources | 2015-09-08 | 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 |
An approximation algorithm for the minimum weight vertex-connectivity problem in complete graphs with sharpened triangle inequality.
Lecture Notes in Computer Science | 2010-02-23 | 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 |
Enriched MU-Calculi Module Checking
Logical Methods in Computer Science | 2008-11-13 | 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 |
Enriched μ–Calculus Pushdown Module Checking
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Mixed Nash equilibria in selfish routing problems with dynamic constraints
Theoretical Computer Science | 2008-04-15 | Paper |
The word problem for visibly pushdown languages described by grammars
Formal Methods in System Design | 2007-11-28 | Paper |
THE FIRING SQUAD SYNCHRONIZATION PROBLEM ON SQUARES, TORUSES AND RINGS
International Journal of Foundations of Computer Science | 2007-06-05 | 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 |
Developments in Language Theory
Lecture Notes in Computer Science | 2005-12-22 | Paper |
Structural Information and Communication Complexity
Lecture Notes in Computer Science | 2005-09-07 | Paper |
ON THE VERTEX-CONNECTIVITY PROBLEM FOR GRAPHS WITH SHARPENED TRIANGLE INEQUALITY
International Journal of Foundations of Computer Science | 2005-04-18 | Paper |
| scientific article; zbMATH DE number 2038754 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1869612 (Why is no real title available?) | 2003-03-24 | 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 |
A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph
Journal of Algorithms | 2000-12-18 | Paper |
| scientific article; zbMATH DE number 1346516 (Why is no real title available?) | 1999-10-03 | Paper |
A linear-time algorithm for the feasibility of pebble motion on trees
Algorithmica | 1999-03-30 | 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 1115549 (Why is no real title available?) | 1998-07-19 | Paper |
| scientific article; zbMATH DE number 1047929 (Why is no real title available?) | 1997-11-09 | Paper |
Dynamic and static algorithms for optimal placement of resources in a tree
Theoretical Computer Science | 1997-02-27 | 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 |
A new model for large memories
Calcolo | 1993-05-24 | Paper |
SYSTOLIC TREE WITH BASE AUTOMATA
International Journal of Foundations of Computer Science | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4108159 (Why is no real title available?) | 1989-01-01 | Paper |
