- SMT for state-based formal methods: the ASM case study2018 | Faculty of Mathematics and Physics
- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Faculty of Mathematics and Physics
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Faculty of Mathematics and Physics
- Local Meta-models for ASM-MOMA2011 | Faculty of Mathematics and Physics
- ASM-MOMA: Multiobjective Memetic Algorithm with Aggregate Surrogate Model2011 | Faculty of Mathematics and Physics
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Faculty of Mathematics and Physics
- Modeling and Validating Self-adaptive Service-oriented Applications2015 | Faculty of Mathematics and Physics
- European Court of Justice: Concession for a public gas-distribution service2009 | Faculty of Law
- Prevention of Type II Endoleak Using Postoperative Coiling of the Abdominal Aortic Aneurysm Sac during Stent Graft Implantation2010 | First Faculty of Medicine
- Evaluating the Risk of Development of Autoimmune Liver Diseases in Children after Liver Resection2005 | Second Faculty of Medicine
- AsmetaVis - Asmeta VisualizerPublication without faculty affiliation
- AsmRefProver - Asmeta Refinement correctness ProverPublication without faculty affiliation
- Unified Syntax for Abstract State Machines2016 | Faculty of Mathematics and Physics
- Visual notation and patterns for Abstract State Machines2016 | Faculty of Mathematics and Physics
- The forward sensitivity and adjoint-state methods of glacial isostatic adjustment2015 | Faculty of Mathematics and Physics
- Can in vitro studies aid in the development and use of antiseizure therapies? A report of the ILAE/AES Joint Translational Task Force2023 | Second Faculty of Medicine
- The adjoint-state method for the downward continuation of the geomagnetic field2015 | Faculty of Mathematics and Physics
- Successful Management of a Giant Anterior Sacral Meningocele Associated with Low-Dysplastic Spondylolisthesis from a Single Posterior Approach: Case Report2019 | First Faculty of Medicine
- The Photographical Foundations of the Film2010 | Faculty of Arts
- Plastic Properties of a Mg-Al-Ca Alloy Reinforced with Short Saffil Fibers2014 | Faculty of Mathematics and Physics
- Acid sphingomyelinase deficiency. Phenotype variability with prevalence of intermediate phenotype in a series of twenty-five Czech and Slovak patients. A multi-approach study2005 | First Faculty of Medicine, Faculty of Physical Education and Sport
- National Train Bus and its diagnostics2012 | Faculty of Mathematics and Physics
- Mechanical Properties and Dislocation Structure Evolution in Ti6Al7Nb Alloy Processed by High Pressure Torsion2014 | Faculty of Mathematics and Physics
- Evaluation of Solid-Solution Hardening of Fe-27 at. pct Al by Vanadium and Comparison to Precipitation Strengthening by Vanadium Carbides2015 | Faculty of Mathematics and Physics
- The Effect of Laves Phase (Fe,Al)(2)Zr on the High-Temperature Strength of Carbon-Alloyed Fe3Al Aluminide2016 | Faculty of Mathematics and Physics
- Microstructure and Creep Behavior of Fe-27Al-1Nb Alloys with Added Carbon2015 | Faculty of Mathematics and Physics
- On X-Ray Diffraction Study of Microstructure of ZnO Thin Nanocrystalline Films with Strong Preferred Grain Orientation2013 | Faculty of Mathematics and Physics
- Design Study of Vacuum Vessel Concepts for COMPASS-U Tokamak2020 | Faculty of Mathematics and Physics
- Pimecrolimus Is a Potent Inhibitor of Allergic Reactions to Hymenopteran Venom Extracts and Birch Pollen Allergen In Vitro2015 | Third Faculty of Medicine
