Igor Sergeevich Anureev Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Affiliation & position A.P. Ershov Institute of Informatics Systems — senior researcher E-mail anureev@iis.nsk.su
Anureev I. Domain-specific transition systems: object model and language // System Informatics. — 2013. — # 1. — P. 1-34
Anureev I. Kinds and language of conceptual transition systems // System Informatics. — 2015. — # 5. — P. 55-74
Anureev I. Formalisms for conceptual design of closed information systems // System Informatics. — 2016. — # 7. — P. 69-148
Anureev I. Formalisms for conceptual design of information systems // System Informatics. — 2016. — # 8. — P. 53-88
Anureev I., Promsky A. Conceptual transition systems and their application to development of conceptual models of programming languages // System Informatics. — 2017. — # 9. — P. 133-154
Anureev I. Operational conceptual transition systems and their application to development of conceptual operational semantics of programming languages // System Informatics. — 2017. — # 9. — P. 155-200
Garanina N., Anureev I., Zyubin V. Constructing Verification-Oriented Domain-Specific Process Ontologies // System Informatics. — 2019. — # 14. — P. 19-30
Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // System Informatics. — 2020. — # 17. — P. 33-42
Garanina N., Staroletov S., Zyubin V., Anureev I. Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — 2023. — # 22. — P. 21-30
