BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × The Netherlands
1 × USA
Collaborated with:
A.Voronkov
Talks about:
infinit (2) state (2) queue (2) model (2) check (2) represent (1) procedur (1) algebra (1) theori (1) system (1)

Person: Tatiana Rybina

DBLP DBLP: Rybina:Tatiana

Contributed to:

CSL 20032003
ICALP 20032003
CAV 20022002
LICS 20002000

Wrote 4 papers:

CSL-2003-RybinaV #infinity #model checking #performance
Fast Infinite-State Model Checking in Integer-Based Systems (TR, AV), pp. 546–573.
ICALP-2003-RybinaV #bound #formal method
Upper Bounds for a Theory of Queues (TR, AV), pp. 714–724.
CAV-2002-RybinaV #canonical #infinity #model checking #using
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking (TR, AV), pp. 386–400.
LICS-2000-RybinaV #algebra
A Decision Procedure for Term Algebras with Queues (TR, AV), pp. 279–290.

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.