- SMT for state-based formal methods: the ASM case study2018 | Matematicko-fyzikální fakulta
- SMT-based automatic proof of ASM model refinement2016 | Matematicko-fyzikální fakulta
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Matematicko-fyzikální fakulta
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Matematicko-fyzikální fakulta
- Local Meta-models for ASM-MOMA2011 | Matematicko-fyzikální fakulta
- ASM-MOMA: Multiobjective Memetic Algorithm with Aggregate Surrogate Model2011 | Matematicko-fyzikální fakulta
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Matematicko-fyzikální fakulta
- Modeling and Validating Self-adaptive Service-oriented Applications2015 | Matematicko-fyzikální fakulta
- Evropský soudní dvůr: Koncese na provozování veřejné služby distribuce plynu2009 | Právnická fakulta
- Prevence endoleaku II. typu pomocí peroperačního coilingu vaku aneuryzmatu abdominální aorty během implantace stentgraftu2010 | 1. lékařská fakulta
- Zhodnocení rizika vzniku autoimunitních jaterních chorob u dětí pro resekci jater2005 | 2. lékařská fakulta
- AsmetaVis - Asmeta VisualizerPublikace bez příslušnosti k fakultě
- AsmRefProver - Asmeta Refinement correctness ProverPublikace bez příslušnosti k fakultě
- Unified Syntax for Abstract State Machines2016 | Matematicko-fyzikální fakulta
- Visual notation and patterns for Abstract State Machines2016 | Matematicko-fyzikální fakulta
- The forward sensitivity and adjoint-state methods of glacial isostatic adjustment2015 | Matematicko-fyzikální fakulta
- Can in vitro studies aid in the development and use of antiseizure therapies? A report of the ILAE/AES Joint Translational Task Force2023 | 2. lékařská fakulta
- The adjoint-state method for the downward continuation of the geomagnetic field2015 | Matematicko-fyzikální fakulta
- Successful Management of a Giant Anterior Sacral Meningocele Associated with Low-Dysplastic Spondylolisthesis from a Single Posterior Approach: Case Report2019 | 1. lékařská fakulta
- Fotografičnost filmu2010 | Filozofická fakulta
- Plastic Properties of a Mg-Al-Ca Alloy Reinforced with Short Saffil Fibers2014 | Matematicko-fyzikální fakulta
- Acid sphingomyelinase deficiency. Phenotype variability with prevalence of intermediate phenotype in a series of twenty-five Czech and Slovak patients. A multi-approach study2005 | 1. lékařská fakulta, Fakulta tělesné výchovy a sportu
- National Train Bus and its diagnostics2012 | Matematicko-fyzikální fakulta
- Mechanical Properties and Dislocation Structure Evolution in Ti6Al7Nb Alloy Processed by High Pressure Torsion2014 | Matematicko-fyzikální fakulta
- Evaluation of Solid-Solution Hardening of Fe-27 at. pct Al by Vanadium and Comparison to Precipitation Strengthening by Vanadium Carbides2015 | Matematicko-fyzikální fakulta
- The Effect of Laves Phase (Fe,Al)(2)Zr on the High-Temperature Strength of Carbon-Alloyed Fe3Al Aluminide2016 | Matematicko-fyzikální fakulta
- Microstructure and Creep Behavior of Fe-27Al-1Nb Alloys with Added Carbon2015 | Matematicko-fyzikální fakulta
- On X-Ray Diffraction Study of Microstructure of ZnO Thin Nanocrystalline Films with Strong Preferred Grain Orientation2013 | Matematicko-fyzikální fakulta
- Design Study of Vacuum Vessel Concepts for COMPASS-U Tokamak2020 | Matematicko-fyzikální fakulta
- Pimecrolimus Is a Potent Inhibitor of Allergic Reactions to Hymenopteran Venom Extracts and Birch Pollen Allergen In Vitro2015 | 3. lékařská fakulta
