BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jurski:Yan

Contributed to:

TACAS 20072007
CAV 19981998
CSL 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.