Nikolay V. Shilov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1992–2011
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | TIME | Algorithm Design Template Base on Temporal ADT. | Nikolay V. Shilov |
| 2010 | LICS | Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic. | Nikolay V. Shilov |
| 2004 | TIME | Model Checking mu-Calculus in Well-Structured Transition Systems. | E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov |
| 2002 | IFM | Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. | Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura |
| 2000 | APLAS | A Note on Model Checkers Reuse and Validation. | Nikolay V. Shilov, Kwangkeun Yi |
| 1997 | LFCS | Some Results on Propositional Dynamic Logic with Fixed Points. | Igor Rents, Nikolay V. Shilov |
| 1994 | LFCS | An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. | Sergey Berezin, Nikolay V. Shilov |
| 1992 | LFCS | Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. | Nikolay V. Shilov |