Reasoning about systems with many processes
Journal of the ACM (JACM)
Reachability solution characterization of parametric real-time systems
Theoretical Computer Science - Implementation and application of automata
On minimal elements of upward-closed sets
Theoretical Computer Science
Timing parameter characterization of real-time systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Computing minimal elements of upward-closed sets for Petri nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Reachability games on extended vector addition systems with states
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Model checking coverability graphs of vector addition systems
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
The covering and boundedness problems for branching vector addition systems
Journal of Computer and System Sciences
Strategy synthesis for multi-dimensional quantitative objectives
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
On selective unboundedness of VASS
Journal of Computer and System Sciences
| Hi-index | 0.00 |