- Výuka formálních metod: Modely chování a analýza kódu2009 | Matematicko-fyzikální fakulta
- Boris Eikhenbaum in Ukraine; Discussion Around the Article "The Theory of the 'Formal Method'" in the Journals "Chervonyi Sliakh" and "Krasnoie slovo"2019 | Filozofická fakulta
- Formální způsoby osvobození od daňové povinnostiPublikace bez příslušnosti k fakultě
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Matematicko-fyzikální fakulta
- SMT for state-based formal methods: the ASM case study2018 | Matematicko-fyzikální fakulta
- How can formalization of SOA help in finding solutions for IT systems2013 | Matematicko-fyzikální fakulta
- Reprotool 1.0 (Requirements Processing Tool)Publikace bez příslušnosti k fakultě
- Metody vyhledávání v rozsáhlých kolekcích dat.2003 | Matematicko-fyzikální fakulta
- AsmRefProver - Asmeta Refinement correctness ProverPublikace bez příslušnosti k fakultě
- Logika pro všechny ochotné myslet2011 | Filozofická fakulta
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Matematicko-fyzikální fakulta
- Restricted Collocability and its Use in Arabic Corpus Linguistics2016 | Filozofická fakulta
- On the Question of the Ukrainian Reception of Russian Formalism: Dmytro Chyzhevsky versus Boris Eichenbaum2015 | Filozofická fakulta
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Matematicko-fyzikální fakulta
- How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study2016 | Matematicko-fyzikální fakulta
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Matematicko-fyzikální fakulta
- SMT-based automatic proof of ASM model refinement2016 | Matematicko-fyzikální fakulta
- Formal design and verification of self-adaptive systems with decentralized control2017 | Matematicko-fyzikální fakulta
- Formalizace metod pro posuzování shody návrhů integrace medicínských informačních systémů s integračními vzory2014 | Fakulta tělesné výchovy a sportu
- "Experiments without form. Neo-avantgarde poetry by lens of aesthetic anti-empiricism"2023 | Filozofická fakulta
- The forward sensitivity and adjoint-state methods of glacial isostatic adjustment2015 | Matematicko-fyzikální fakulta
