Rostislav Yavorskiy

	2006
5		Anton Esin, Rostislav Yavorskiy, Nikolay Zemtsov: Brief Announcement Monitoring of Linear Distributed Computations. DISC 2006: 566-568
	2005
4		Vladimir Filatov, Rostislav Yavorskiy: Scenario based Analysis of Linear Computations. Abstract State Machines 2005: 167-174
3		Andrey Novikov, Rostislav Yavorskiy: Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. Abstract State Machines 2005: 305-312
2		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		Yuri Gurevich, Rostislav Yavorskiy: Observations on the Decidability of Transitions. Abstract State Machines 2004: 161-168

Coauthor Index

1	Anton Esin	[5]
2	Vladimir Filatov	[4]
3	Yuri Gurevich	[1]
4	Andrey Novikov	[3]
5	Nikolay Zemtsov	[5]

Colors in the list of coauthors