Yan Jurski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1997–2007
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FCT | Rewriting Systems with Data. | Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu |
| 2007 | TACAS | A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. | Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu |
| 1999 | CONCUR | Timed Automata and the Theory of Real Numbers. | Hubert Comon, Yan Jurski |
| 1998 | CAV | Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. | Hubert Comon, Yan Jurski |
| 1997 | CSL | Higher-Order Matching and Tree Automata. | Hubert Comon, Yan Jurski |