A decision procedure for term algebras with queues. - Tatiana Rybina; Andrei Voronkov (ACM Trans. Comput. Log., 2001)

BRAIN : Backward Reachability Analysis with Integers. - Tatiana Rybina; Andrei Voronkov (AMAST, 2002)

Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. - Tatiana Rybina; Andrei Voronkov (CAV, 2002)

Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). - Tatiana Rybina; Andrei Voronkov (CSL, 2003)

A Logical Reconstruction of Reachability. - Tatiana Rybina; Andrei Voronkov (Ershov Memorial Conference, 2003)

Upper Bounds for a Theory of Queues. - Tatiana Rybina; Andrei Voronkov (ICALP, 2003)