| |
| 2006 | ||
|---|---|---|
| 5 | EE | Anton Esin, Rostislav Yavorskiy, Nikolay Zemtsov: Brief Announcement Monitoring of Linear Distributed Computations. DISC 2006: 566-568 |
| 2005 | ||
| 4 | EE | Vladimir Filatov, Rostislav Yavorskiy: Scenario based Analysis of Linear Computations. Abstract State Machines 2005: 167-174 |
| 3 | EE | Andrey Novikov, Rostislav Yavorskiy: Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. Abstract State Machines 2005: 305-312 |
| 2 | EE | Rostislav Yavorskiy: On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs. J. Log. Comput. 15(4): 539-549 (2005) |
| 2004 | ||
| 1 | EE | Yuri Gurevich, Rostislav Yavorskiy: Observations on the Decidability of Transitions. Abstract State Machines 2004: 161-168 |
| 1 | Anton Esin | [5] |
| 2 | Vladimir Filatov | [4] |
| 3 | Yuri Gurevich | [1] |
| 4 | Andrey Novikov | [3] |
| 5 | Nikolay Zemtsov | [5] |