- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | Faculty of Mathematics and Physics
- Boris Eikhenbaum in Ukraine; Discussion Around the Article "The Theory of the 'Formal Method'" in the Journals "Chervonyi Sliakh" and "Krasnoie slovo"2019 | Faculty of Arts
- Formal method of tax duty exemptionPublication without faculty affiliation
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Faculty of Mathematics and Physics
- SMT for state-based formal methods: the ASM case study2018 | Faculty of Mathematics and Physics
- How can formalization of SOA help in finding solutions for IT systems2013 | Faculty of Mathematics and Physics
- Reprotool 1.0 (Requirements Processing Tool)Publication without faculty affiliation
- Methods for retrieval in large data sets2003 | Faculty of Mathematics and Physics
- AsmRefProver - Asmeta Refinement correctness ProverPublication without faculty affiliation
- Logic for all ready thinkers2011 | Faculty of Arts
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Faculty of Mathematics and Physics
- Restricted Collocability and its Use in Arabic Corpus Linguistics2016 | Faculty of Arts
- On the Question of the Ukrainian Reception of Russian Formalism: Dmytro Chyzhevsky versus Boris Eichenbaum2015 | Faculty of Arts
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Faculty of Mathematics and Physics
- How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study2016 | Faculty of Mathematics and Physics
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Faculty of Mathematics and Physics
- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics
- Formal design and verification of self-adaptive systems with decentralized control2017 | Faculty of Mathematics and Physics
- Formalization of the Methods for Conformity Assessment among the Information Systems in Medicine and the Integration Patterns2014 | Faculty of Physical Education and Sport
- "Experiments without form. Neo-avantgarde poetry by lens of aesthetic anti-empiricism"2023 | Faculty of Arts
- The forward sensitivity and adjoint-state methods of glacial isostatic adjustment2015 | Faculty of Mathematics and Physics