- To the reflective simulation in the transitic systems engineering2004 | Faculty of Mathematics and Physics
- Object-Oriented Reflective Simulation of Transitic Systems2003 | Faculty of Mathematics and Physics
- Nested Simulation of Transitic Systems: An Application to Conveyors With Rollers2003 | Faculty of Mathematics and Physics
- Component-Based Simulation for a Reconfiguration Study of Transitic Systems2004 | Faculty of Mathematics and Physics
- Zero-range process with finite compartments: Gentile's statistics and glassiness2014 | Faculty of Mathematics and Physics
- Transition Power Abstractions for Deep Counterexample Detection2022 | Faculty of Mathematics and Physics
- Split Transition Power Abstraction for Unbounded Safety2022 | Faculty of Mathematics and Physics
- Composition of TWIST1 dimers regulates fibroblast activation and tissue fibrosis2017 | First Faculty of Medicine
- Application of Reflective Models of a Transitic system2004 | Faculty of Mathematics and Physics
- Component-Based Simulation - a View From Transitic System Models2004 | Faculty of Mathematics and Physics
- The Golem Horn Solver2023 | Faculty of Mathematics and Physics
- SMT for state-based formal methods: the ASM case study2018 | Faculty of Mathematics and Physics
- Transition-Based Coding and Formal Language Theory for Ordered DigraphsPublication without faculty affiliation
- Property Directed Reachability for Automated Planning2014 | Faculty of Mathematics and Physics
- Joint Transition-Based Models for Morpho-Syntactic Parsing: Parsing Strategies for MRLs and a Case Study from Modern HebrewPublication without faculty affiliation
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations2016 | Faculty of Mathematics and Physics
- City Transit Rider Tweets: Understanding Sentiments and PolitenessPublication without faculty affiliation