Yan Jurski

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 1

Top Topics

Computational Efficiency

Orders Of Magnitude

Distributed Computation

Top Venues

Publications

Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier
Towards Synthesis of Distributed Algorithms with SMT Solvers. NETYS (2019)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes Log. Methods Comput. Sci. 5 (2) (2009)
Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu
Rewriting Systems over Nested Data Words. MEMICS (2009)
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. TACAS (2007)
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu
Rewriting Systems with Data. FCT (2007)
Hubert Comon, Yan Jurski
Timed Automata and the Theory of Real Numbers. CONCUR (1999)
Hubert Comon, Yan Jurski
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. CAV (1998)
Hubert Comon, Yan Jurski
Higher-Order Matching and Tree Automata. CSL (1997)