Tatiana Rybina

According to our database, Tatiana Rybina authored at least 6 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Upper Bounds for a Theory of Queues.

Tatiana Rybina, Andrei Voronkov

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

A Logical Reconstruction of Reachability.

Tatiana Rybina, Andrei Voronkov

Proceedings of the Perspectives of Systems Informatics, 2003

Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture).

Tatiana Rybina, Andrei Voronkov

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking.

Tatiana Rybina, Andrei Voronkov

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

BRAIN : Backward Reachability Analysis with Integers.

Tatiana Rybina, Andrei Voronkov

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A decision procedure for term algebras with queues.

Tatiana Rybina, Andrei Voronkov

ACM Trans. Comput. Log., 2001