Nikolay Vyacheslavovich Shilov Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Academic title Senior Researcher Research area applied logic theory of programming program verification programming languages Affiliation & position A.P. Ershov Institute of Informatics Systems — senior researcher Novosibirsk State University — associate professor Novosibirsk State Technical University — associate professor E-mail shilov@iis.nsk.sushiloviis@mail.ru
Idrisov R., Odintsov S., Shilov N. Ontology approach to classification of Computer Languages: current state and challenges // System Informatics. — 2013. — # 1. — P. 63-78
Shilov N. On Logical and Algebraic Foundations of Formal Semantics Classification // System Informatics. — 2015. — # 6. — P. 1-18
Shilov N. On the need of ontology for classification and navigation in the computer languages universe // System Informatics. — 2018. — # 13. — P. 1-24
