| Publication | Date of Publication | Type |
|---|
On the complexity of verifying concurrent transition systems
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Computational Music Therapy
Mathematics and Computation in Music | 2019-10-17 | Paper |
Complexity results for multi-pebble automata and their logics
Automata, Languages and Programming | 2019-04-29 | Paper |
Computation paths logic: an expressive, yet elementary, process logic
Automata, Languages and Programming | 2018-07-04 | Paper |
| On the succinctness of idioms for concurrent programming | 2017-09-12 | Paper |
Estimating the size of the olfactory repertoire
Bulletin of Mathematical Biology | 2015-10-27 | Paper |
Modal scenarios as automata
Lecture Notes in Computer Science | 2015-02-10 | Paper |
Relaxing synchronization constraints in behavioral programs
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Concurrency in biological modeling: behavior, execution and visualization
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Standing on the shoulders of a giant. One person's experience of Turing's impact (Summary of the Alan M. Turing lecture)
Automata, Languages, and Programming | 2012-11-01 | Paper |
Synthesis from scenario-based specifications
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Executable modeling of morphogenesis: A Turing-inspired approach
Fundamenta Informaticae | 2012-08-01 | Paper |
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance
Logic and Program Semantics | 2012-07-16 | Paper |
Multi-modal scenarios revisited: a net-based representation
Theoretical Computer Science | 2012-05-30 | Paper |
| Algorithmics. The spirit of computing | 2012-02-01 | Paper |
Amir Pnueli -- A gentle giant: Lord of the \(\varphi \)'s and the \(\psi \)'s
Formal Aspects of Computing | 2010-12-17 | Paper |
On the power of play-out for scenario-based programs
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
| scientific article; zbMATH DE number 5628596 (Why is no real title available?) | 2009-11-10 | Paper |
Graph Drawing
Lecture Notes in Computer Science | 2009-08-11 | Paper |
| How hard is smart play-out? On the complexity of verification-driven execution | 2009-07-27 | Paper |
Some Results on the Expressive Power and Complexity of LSCs
Pillars of Computer Science | 2008-03-25 | Paper |
GemCell: A generic platform for modeling multi-cellular biological systems
Theoretical Computer Science | 2008-03-06 | Paper |
| Algorithmics. The spirit of computing. Preface for the Italian edition by Carlo Ghezzi. | 2008-01-30 | Paper |
| Algorithmics. The spirit of computing | 2007-06-12 | Paper |
| Algorithmik | 2007-06-12 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Graph Drawing by High-Dimensional Embedding
Journal of Graph Algorithms and Applications | 2006-04-03 | Paper |
Computational Methods in Systems Biology
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
One-dimensional layout optimization, with applications to graph drawing by axis separation
Computational Geometry | 2005-11-07 | Paper |
SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
International Journal of Foundations of Computer Science | 2005-06-22 | Paper |
| scientific article; zbMATH DE number 2156289 (Why is no real title available?) | 2005-04-15 | Paper |
| scientific article; zbMATH DE number 2086942 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2081091 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080098 (Why is no real title available?) | 2004-08-04 | Paper |
Drawing Huge Graphs by Algebraic Multigrid Optimization
Multiscale Modeling & Simulation | 2004-03-17 | Paper |
| scientific article; zbMATH DE number 2017339 (Why is no real title available?) | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 2016062 (Why is no real title available?) | 2003-12-10 | Paper |
Towards an odor communication system.
Computational Biology and Chemistry | 2003-11-20 | Paper |
| scientific article; zbMATH DE number 1979562 (Why is no real title available?) | 2003-09-14 | Paper |
| scientific article; zbMATH DE number 1974121 (Why is no real title available?) | 2003-09-03 | Paper |
| scientific article; zbMATH DE number 1974120 (Why is no real title available?) | 2003-09-03 | Paper |
| scientific article; zbMATH DE number 1956616 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1953102 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1950545 (Why is no real title available?) | 2003-07-17 | Paper |
A Fast Multi-Scale Method for Drawing Large Graphs
Journal of Graph Algorithms and Applications | 2003-06-23 | Paper |
| scientific article; zbMATH DE number 1852915 (Why is no real title available?) | 2003-01-29 | Paper |
On the complexity of verifying concurrent transition systems
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1773071 (Why is no real title available?) | 2002-07-28 | Paper |
An algorithm for blob hierarchy layout
The Visual Computer | 2002-07-25 | Paper |
LSCs: Breathing life into message sequence charts
Formal Methods in System Design | 2002-05-21 | Paper |
A multi-scale algorithm for drawing graphs nicely
Discrete Applied Mathematics | 2002-03-18 | Paper |
| Computers Ltd. What they really can't do | 2001-11-18 | Paper |
| scientific article; zbMATH DE number 1673121 (Why is no real title available?) | 2001-11-13 | Paper |
| scientific article; zbMATH DE number 1222556 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1556014 (Why is no real title available?) | 2001-01-24 | Paper |
| scientific article; zbMATH DE number 1414296 (Why is no real title available?) | 2000-03-16 | Paper |
Computation paths logic: An expressive, yet elementary, process logic
Annals of Pure and Applied Logic | 1999-07-20 | Paper |
| scientific article; zbMATH DE number 1032009 (Why is no real title available?) | 1997-07-08 | Paper |
Taking it to the limit: On infinite variants of NP-complete problems
Journal of Computer and System Sciences | 1997-03-13 | Paper |
Complexity results for two-way and multi-pebble automata and their logics
Theoretical Computer Science | 1997-02-27 | Paper |
More on nonregular PDL: Finite models and Fibonacci-like programs
Information and Computation | 1997-02-03 | Paper |
Completeness results for recursive data bases
Journal of Computer and System Sciences | 1996-11-26 | Paper |
On the solvability of domino snake problems
Theoretical Computer Science | 1995-03-15 | Paper |
On the power of bounded concurrency II
Journal of the ACM | 1994-10-13 | Paper |
On the power of bounded concurrency I
Journal of the ACM | 1994-10-13 | Paper |
Deciding emptiness for stack automata on infinite trees
Information and Computation | 1994-09-13 | Paper |
Deciding Properties of Nonregular Programs
SIAM Journal on Computing | 1993-10-10 | Paper |
| scientific article; zbMATH DE number 194513 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 125878 (Why is no real title available?) | 1993-02-21 | Paper |
Hamiltonian paths in infinite graphs
Israel Journal of Mathematics | 1992-12-09 | Paper |
| scientific article; zbMATH DE number 53101 (Why is no real title available?) | 1992-09-18 | Paper |
| scientific article; zbMATH DE number 17792 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4085029 (Why is no real title available?) | 1988-01-01 | Paper |
Statecharts: a visual formalism for complex systems
Science of Computer Programming | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3965428 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3930354 (Why is no real title available?) | 1985-01-01 | Paper |
Recurring Dominoes: Making the Highly Undecidable Highly Understandable
Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 | 1985-01-01 | Paper |
Horn clause queries and generalizations
The Journal of Logic Programming | 1985-01-01 | Paper |
More on looping vs. repeating in dynamic logic
Information Processing Letters | 1985-01-01 | Paper |
Process logic with regular formulas
Theoretical Computer Science | 1985-01-01 | Paper |
A probabilistic dynamic logic
Journal of Computer and System Sciences | 1984-01-01 | Paper |
A programming language for the inductive sets, and applications
Information and Control | 1984-01-01 | Paper |
On static logics, dynamic logics, and complexity classes
Information and Control | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3843130 (Why is no real title available?) | 1983-01-01 | Paper |
Propositional dynamic logic of nonregular programs
Journal of Computer and System Sciences | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3772937 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3791600 (Why is no real title available?) | 1982-01-01 | Paper |
Structure and complexity of relational queries
Journal of Computer and System Sciences | 1982-01-01 | Paper |
Process logic: Expressiveness, decidability, completeness
Journal of Computer and System Sciences | 1982-01-01 | Paper |
On the total correctness of nondeterministic programs
Theoretical Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3700214 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3759513 (Why is no real title available?) | 1980-01-01 | Paper |
Computable queries for relational data bases
Journal of Computer and System Sciences | 1980-01-01 | Paper |
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
Theoretical Computer Science | 1980-01-01 | Paper |
On folk theorems
Communications of the ACM | 1980-01-01 | Paper |
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems | 1980-01-01 | Paper |
First-order dynamic logic
Lecture Notes in Computer Science | 1979-01-01 | Paper |
Two results on process logic
Information Processing Letters | 1979-01-01 | Paper |
Characterizing Second Order Logic with First Order Quantifiers
Mathematical Logic Quarterly | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3594629 (Why is no real title available?) | 1978-01-01 | Paper |
