Travelled to:1 × Canada
1 × Denmark
1 × Portugal
Collaborated with:H.Comon A.Bouajjani M.Sighireanu
Talks about:automata (2) framework (1) presburg (1) arithmet (1) process (1) network (1) multipl (1) infinit (1) generic (1) counter (1)
Person: Yan Jurski
DBLP: Jurski:Yan
Contributed to:
2007
1998
1997Wrote 3 papers:
- TACAS-2007-BouajjaniJS #framework #infinity #network #process #reasoning
- A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes (AB, YJ, MS), pp. 690–705.
- CAV-1998-ComonJ #analysis #automaton #multi #safety
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic (HC, YJ), pp. 268–279.
- CSL-1997-ComonJ #automaton #higher-order
- Higher-Order Matching and Tree Automata (HC, YJ), pp. 157–176.