Nikolay V. Shilov E-mail shilov@ropas.kaist.ac.kr nikolay.shilov@nu.edu.kz shilov@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher Academic degree PhD
Shilov N. On the need to specify and verify standard functions // Computer Science. — 2015. — # 38 — P. 105-119
Shilov N., Satekbayeva A., Vorontsov A. Alias calculus for a simple imperative language with decidable pointer arithmetic // Computer Science. — 2014. — # 37 — P. 131-147
Grebeneva J., Shilov N., Garanina N. ALC for CLA: Towards description logic on concept lattices // Computer Science. — 2013. — # 35 — P. 57-68
Shilov N. Unifying dynamic programming design patterns // Computer Science. — 2012. — # 34 — P. 135-155
Shilov N., Bodin E., Shilova S. Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler // Computer Science. — 2010. — # 31 — P. 139-154
Shilov N., Bodin E., Shilova S. Fabulous arrays I: Operational and transformational semantics of static arrays in verification project F@BOOL@ // Computer Science. — 2009. — # 29 — P. 119-138
Anureev I., Bodin E., Gorodnyaya L., Marchuk A., Murzin F., Shilov N. On the problem of computer language classification // Computer Science. — 2008. — # 28 — P. 31-42
Anureev I., Bodin E., Shilov N. Effective generation of verification conditions for non-deterministic unstructured programs // Computer Science. — 2007. — # 26 — P. 39-63
Schreiner P., Shilov N., Grebeneva J., O S. SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics // Computer Science. — 2006. — # 24 — P. 105-117
Shilov N. Designing tableau-like axiomatization for Propositional Linear Temporal Logic at home of Arthur Prior // Computer Science. — 2005. — # 23 — P. 113-136
Kouzmin E., Shilov N., Sokolov V. Model checking μ-calculus in well-structured transition systems // Computer Science. — 2004. — # 20 — P. 49-59
Nepomniaschy V., Shilov N., Bodin E. Formal semantics and verification of distributed systems presented by Basic-REAL specifications // Computer Science. — 1997. — # 7 — P. 35-55
Berezin S., Shilov N., Shneider P. An effective model checking for Mu-calculus: from finite systems towards systems with real time // Computer Science. — 1993. — # 1 — P. 73-86
