Higher-Order Matching and Tree Automata. - Hubert Comon; Yan Jurski (CSL, 1997)

Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. - Hubert Comon; Yan Jurski (CAV, 1998)

Timed Automata and the Theory of Real Numbers. - Hubert Comon; Yan Jurski (CONCUR, 1999)

Rewriting Systems with Data. - Ahmed Bouajjani; Peter Habermehl; Yan Jurski; Mihaela Sighireanu (FCT, 2007)

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. - Ahmed Bouajjani; Yan Jurski; Mihaela Sighireanu (TACAS, 2007)

Rewriting Systems over Nested Data Words. - Ahmed Bouajjani; Cezara Dragoi; Yan Jurski; Mihaela Sighireanu (MEMICS, 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)

Towards Synthesis of Distributed Algorithms with SMT Solvers. - Carole Delporte-Gallet; Hugues Fauconnier; Yan Jurski; François Laroussinie; Arnaud Sangnier (NETYS, 2019)