- To the reflective simulation in the transitic systems engineering2004 | Matematicko-fyzikáln í fakulta
- Object-Oriented Reflective Simulation of Transitic Systems2003 | Matematicko-fyzikální fakulta
- Nested Simulation of Transitic Systems: An Application to Conveyors With Rollers2003 | Matematicko-fyzikální fakulta
- Component-Based Simulation for a Reconfiguration Study of Transitic Systems2004 | Matematicko-fyzikální fakulta
- Zero-range process with finite compartments: Gentile's statistics and glassiness2014 | Matematicko-fyzikální fakulta
- Transition Power Abstractions for Deep Counterexample Detection2022 | Matematicko-fyzikální fakulta
- Split Transition Power Abstraction for Unbounded Safety2022 | Matematicko-fyzikální fakulta
- Composition of TWIST1 dimers regulates fibroblast activation and tissue fibrosis2017 | 1. lékařská fakulta
- Application of Reflective Models of a Transitic system2004 | Matematicko-fyzikální fakulta
- Component-Based Simulation - a View From Transitic System Models2004 | Matematicko-fyzikální fakulta
- The Golem Horn Solver2023 | Matematicko-fyzikální fakulta
- SMT for state-based formal methods: the ASM case study2018 | Matematicko-fyzikální fakulta
- Transition-Based Coding and Formal Language Theory for Ordered DigraphsPublikace bez příslušnosti k fakultě
- Property Directed Reachability for Automated Planning2014 | Matematicko-fyzikální fakulta
- Joint Transition-Based Models for Morpho-Syntactic Parsing: Parsing Strategies for MRLs and a Case Study from Modern HebrewPublikace bez příslušnosti k fakultě
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations2016 | Matematicko-fyzikální fakulta
- City Transit Rider Tweets: Understanding Sentiments and PolitenessPublikace bez příslušnosti k fakultě