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: Rybina:Tatiana
Contributed to:
2003
2003
2002
2000Wrote 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.