Вы здесь

Главная

Shilov N. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the need to specify and verify standard functions 2015 Shilov N. V. Computer Science Bulletin of the Novosibirsk Computing Center 16.06.2016
СТ Alias calculus for a simple imperative language with decidable pointer arithmetic 2014 Shilov N. V., Satekbayeva A., Vorontsov A. P. Bulletin of the Novosibirsk Computing Center 01.09.2015
СТ ALC for CLA: Towards description logic on concept lattices 2013 Gribeneva J. F., Shilov N. V., Garanina N. O. Computer Science Bulletin of the Novosibirsk Computing Center 24.03.2014
СТ Using Esoteric Language for Teaching Formal Semantics 2012 Shilov N. V. Proceedings of the 7th International Computer Science Symposium in Russia 09.08.2013
СТ Unifying dynamic programming design patterns 2012 Shilov N. V. Bulletin of the Novosibirsk Computing Center 25.03.2013
СТ Development of the Computer Language Classification Knowledge Portal 2012 Shilov N. V., Akinin A. A., Zubkov A. V., Idrisov R. I. Lecture Notes in Computer Science 18.02.2013
СТ Make formal semantics easy and useful 2011 Shilov N. V. Bulletin of the Novosibirsk Computing Center 03.04.2012
СТ Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-Agent Systems 2011 Shilov N. V., Garanina N. O. Lecture Notes in Artificial Intelligence 27.09.2011
СТ Rational Agents at the Marketplace (extended abstract) 2011 Shilov N. V., Garanina N. O. PSI Conference Series Знания и Онтологии *ELSEWHERE*2011 06.07.2011
СТ Educational Value of Teaching Parallel Programming Paradigm 2011 Gorodnyaya L. V., Shilov N. V. PSI Conference Series Секция "Информатика и образование" 06.07.2011
СТ Make Formal Semantics Easy 2011 Shilov N. V. PSI Conference Series Program Understanding 05.07.2011
СТ On the problem of computer language classification 2009 Fnureev I. S., Bodin E. V., Gorodnyaya L. V., Marchuk A. G., Murzin F. A., Shilov N. V. Bulletin of the Novosibirsk Computing Center 10.08.2009
СТ Effective generation of verification conditions for non-deterministic unstructured programs 2007 Anureev I. S., Bodin E. V., Shilov N. V. Bulletin of the Novosibirsk Computing Center 04.03.2008
СТ Well-Structured Model Checking of Multiagent Systems 2007 Shilov N. V., Garanina N. O. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2007
СТ SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics 2006 Schreiner P. A., Shilov N. V., Grebeneva S. O. Computer Science Bulletin of the Novosibirsk Computing Center 02.03.2007
СТ Model Checking: Knowledge, Actions and Fixpoints 2004 Shilov N. V., Garanina N. O., Kalinina N. A. Humboldt Univ. Berlin Concurrency, Specification and Programming - CS&P 2004 01.09.2006
СТ Designing tableau-like axiomization for Propositional Linear Temporal Logic at home of Arthur Prior 2005 Shilov N. V. Bull. Novosibirsk Computing Center. Ser.: Computer Science 29.04.2006
СТ Model-checking mu-Calculus in Well-Structured Transition Systems 2004 Kouzmin E. V., Shilov N. V., Sokolov V. A. Computer Science Joint Bull. of NCC and IIS 21.10.2004
СТ Polynomial Approximations for Model Checking 2003 Shilov N. V., Garanina N. O. Lecture Notes in Computer Science 17.02.2004
П Combining Knowledge and Fixpoints 2002 Shilov N. V., Garanina N. O. Inst. of Informatics Systems 27.09.2002
СТ Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems 2002 Nepomniaschy V. A., Shilov N. V., Bodin E. V., Kozura V. E. Lecture Notes in Computer Science 20.06.2002
СТ On Expressive and Model Checking Power of Propositional Program Logics 2001 Shilov N. V., Yi K. Lecture Notes in Computer Science 06.02.2002
СТ Model checking puzzles in mu-Calculus 2000 Shilov N. V., Yi K. Russian Academy of Science, Siberian Division Joint Bull. of NCC and IIS 06.03.2001
П A New Language Basic-Real for Specification and Verification of Distributed System Models 1999 Nepomniaschy V. A., Shilov N. V., Bodin E. V. Inst. of Informatics Systems 19.10.1999
СТ Formal Semantics and Verification of Distributed Systems Presented by Basic-REAL Specifications 1997 Nepomniaschy V. A., Shilov N. V., Bodin E. V. Computer Science Joint Bull. of NCC and IIS 24.03.1999
СТ Program Schemata vs. Automata for Decidability of Program Logics 1993 Shilov N. V. Parallel Processing Letters 21.04.1998
СТ Formal Semantics of Real-Time System Specification Language Basic-Real 1994 Nepomniaschy V. A., Shilov N. V., Bodin E. V. ИСИ СО РАН Specification, Verification and Net Models of Concurrent Systems 29.11.1995
СТ An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus 1994 Berezin S. A., Shilov N. V. Lecture Notes in Computer Science 26.07.1994
СТ An Effective Model Checking for Mu-calculus: From Finite Systems Towards Systems with Real Time 1993 Berezin S. A., Shilov N. V., Shneider P. V. Bull. Novosibirsk Computing Center. Ser.: Computer Science 24.12.1993
СТ REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties 1993 Nepomniaschy V. A., Shilov N. V. Lecture Notes in Computer Science 20.11.1993
СТ Non-deterministic program schemata and their relation to dynamic logic 1987 Nepomniaschy V. A., Shilov N. V. Mathematical Logic and Its Applications: Proc./Advanced Intern. Summer School, Bulgaria 13.10.1993
СТ Program schemata technique for decidability of propositional dynamic logic variants 1988 Nepomniaschy V. A., Shilov N. V. Proc.Intern.Conf. in Computer Logic (COLOG-88), Tallinn 13.10.1993
СТ Improved Upper Bounds for Propositional Dynamic Logic Variants 1989 Nepomniaschy V. A., Shilov N. V. Methods of Theoretical and Experimental Computer Science 02.12.1992
СТ Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines 1992 Shilov N. V. Lecture Notes in Computer Science 07.08.1992
СТ Propositional Dynamic Logic with Fixed Points as a Tool for Verification of Finite State Machines 1991 Shilov N. V. Current Topics in Informatics Systems Research 23.12.1991