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