|
Search the dblp DataBase
Yan Jurski:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hubert Comon, Yan Jurski
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. [Citation Graph (0, 0)][DBLP] CAV, 1998, pp:268-279 [Conf]
- Hubert Comon, Yan Jurski
Timed Automata and the Theory of Real Numbers. [Citation Graph (0, 0)][DBLP] CONCUR, 1999, pp:242-257 [Conf]
- Hubert Comon, Yan Jurski
Higher-Order Matching and Tree Automata. [Citation Graph (0, 0)][DBLP] CSL, 1997, pp:157-176 [Conf]
- Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu
Rewriting Systems with Data. [Citation Graph (0, 0)][DBLP] FCT, 2007, pp:1-22 [Conf]
- Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:690-705 [Conf]
Rewriting Systems over Nested Data Words. [Citation Graph (, )][DBLP]
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|