| 2009 |
|---|
| 6 | EE | Ahmed Bouajjani,
Cezara Druagoi,
Constantin Enea,
Yan Jurski,
Mihaela Sighireanu:
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
CoRR abs/0903.3126: (2009) |
| 2007 |
|---|
| 5 | EE | Ahmed Bouajjani,
Peter Habermehl,
Yan Jurski,
Mihaela Sighireanu:
Rewriting Systems with Data.
FCT 2007: 1-22 |
| 4 | EE | Ahmed Bouajjani,
Yan Jurski,
Mihaela Sighireanu:
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.
TACAS 2007: 690-705 |
| 1999 |
|---|
| 3 | EE | 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 |
