Natalia Garanina

poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language

Vladimir Zyubin, Andrei Rozov, Igor Anureev et al. · IEEE Access · 2022 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +14

USING MULTIPLE SEMANTIC MEASURES FOR COREFERENCE RESOLUTION IN ONTOLOGY POPULATION

Natalia Garanina, Irina Kononenko, Sergei Gorlatch · International Journal of Computing · 2017 · 26 citations · Full text

Computing, Computer Science, Computational Linguistics +14

Model checking knowledge and fixpoints.

Н. В. Шилов, Natalia Garanina · Fixed Points in Computer Science · 2002 · 21 citations

Computing, Computer Science, Formal Methods +8

Towards Safe Cyber-Physical Systems: the Reflex Language and Its Transformational Semantics

Igor Anureev, Natalia Garanina, Tatiana Liakh et al. · 2019 · 18 citations

Computing, Computer Science, Systems Engineering +15

Update and Abstraction in Model Checking of Knowledge and Branching Time

Н. В. Шилов, Natalia Garanina, K. CHOE · Fundamenta Informaticae · 2006 · 15 citations

Computing, Computer Science, Algorithms +12