Yan Jurski

According to our database, Yan Jurski authored at least 8 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Towards Synthesis of Distributed Algorithms with SMT Solvers.

Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier

Proceedings of the Networked Systems - 7th International Conference, 2019

2009

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu

Log. Methods Comput. Sci., 2009

Rewriting Systems over Nested Data Words.

Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

2007

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Rewriting Systems with Data.

Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

1999

Timed Automata and the Theory of Real Numbers.

Hubert Comon, Yan Jurski

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Multiple Counters Automata, Safety Analysis and Presburger Arithmetic.

Hubert Comon, Yan Jurski

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Higher-Order Matching and Tree Automata.

Hubert Comon, Yan Jurski

Proceedings of the Computer Science Logic, 11th International Workshop, 1997