Tatiana Rybina

	2003
7		Tatiana Rybina, Andrei Voronkov: Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). CSL 2003: 546-573
6		Tatiana Rybina, Andrei Voronkov: A Logical Reconstruction of Reachability. Ershov Memorial Conference 2003: 222-237
5		Tatiana Rybina, Andrei Voronkov: Upper Bounds for a Theory of Queues. ICALP 2003: 714-724
	2002
4		Tatiana Rybina, Andrei Voronkov: BRAIN : Backward Reachability Analysis with Integers. AMAST 2002: 489-494
3		Tatiana Rybina, Andrei Voronkov: Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. CAV 2002: 386-400
	2001
2		Tatiana Rybina, Andrei Voronkov: A decision procedure for term algebras with queues. ACM Trans. Comput. Log. 2(2): 155-181 (2001)
	2000
1		Tatiana Rybina, Andrei Voronkov: A Decision Procedure for Term Algebras with Queues. LICS 2000: 279-290

Coauthor Index

1

Andrei Voronkov

[1] [2] [3] [4] [5] [6] [7]