A few words about me
I joined the Formal Methods research group working on the
Rainbow Project, led by
Professor Howard Barringer, as a research associate at the Department of
Computer Science in 1999.
I obtained my Ph.D. in recursion theory from
Novosibirsk State University in 1989. From
October 1997, I worked at the
Department of Computer Systems, Uppsala University, Sweden.
My research interests are verification, model checking, reachability
algorithms, logic in computer science.
How to contact me
My Publications (in reverse chronological order)
-
T. Rybina and A. Voronkov.
A decision procedure for term algebras with queues, Feb 2000
(note: to appear in LICS'2000)
Download (456 kB; PostScript format)
-
T. Rybina.
Non-Decomposable Elements and Descending Chains
(note: to appear in Siberian Mathematical Journal)
-
T. Rybina.
Reducibility by Separability, 1991
(Ph.D. thesis, Novosibirsk State University)
-
T. Rybina.
Some Properties of Separability Degrees (in Russian), 1990
in "10th Soviet Conference on Mathematical Logic", p89
-
T. Rybina.
The Theory of Lattice of Recursively Enumerable Degrees of Separability, 1990
in "International Conference on Algebra", p117
-
T. Rybina.
The Undecidability of the Theory of Lattice L
0sm, 1990
in Siberian Mathematical Journal, volume 31, no.6, p215-216
-
S.G. Dvornikov and T. Rybina.
The Density Properties of the Lattice of Separability Degrees (in Russian), 1990
in Siberian Mathematical Journal, volume 31, no.1, p64-69
-
T. Rybina.
Properties of Non-Decomposable Elements of the Lattice of Separability Degrees (in Russian), 1988
in "9th Soviet Conference on Mathematical Logic", p141
-
T. Rybina.
Non-Decomposable Elements and Decreasing Chains (in Russian), 1986
in "8th Soviet Conference on Mathematical Logic", p162
Website info
You are viewing an HTML-only version of this website. This is because your
browser does not support Style Sheets and/or some new features of JavaScript.
I (the designer of the website, that is, not Ms Rybina) strongly recommend
you to upgrade your browser (it's worth doing it at least once a year) to
Netscape Navigator 4 (or later) or Microsoft Internet Explorer 4 (or later).
Website statistics