 | 2009 |
|---|
| 6 |       | Ahmed Bouajjani,
Cezara Dragoi,
Constantin Enea,
Yan Jurski,
Mihaela Sighireanu:
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Logical Methods in Computer Science 5(2): (2009) |
| 2007 |
|---|
| 5 | | Ahmed Bouajjani,
Peter Habermehl,
Yan Jurski,
Mihaela Sighireanu:
Rewriting Systems with Data.
FCT 2007: 1-22 |
| 4 | | Ahmed Bouajjani,
Yan Jurski,
Mihaela Sighireanu:
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.
TACAS 2007: 690-705 |
| 1999 |
|---|
| 3 | | Hubert Comon,
Yan Jurski:
Timed Automata and the Theory of Real Numbers.
CONCUR 1999: 242-257 |
| 1998 |
|---|
| 2 | | Hubert Comon,
Yan Jurski:
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic.
CAV 1998: 268-279 |
| 1997 |
|---|
| 1 | | Hubert Comon,
Yan Jurski:
Higher-Order Matching and Tree Automata.
CSL 1997: 157-176 |
