| 2026 | KR | BAss: Symbolic Reasoning in Abstract Dialectical Frameworks. | Samuel Pastva, Van-Giang Trinh |
| 2026 | SAT | SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology. | Ondrej Huvar, Martin Jons, Samuel Pastva |
| 2025 | CP | Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. | Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel |
| 2024 | AAAI | Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming. | Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman |
| 2024 | ATVA | Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. | Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safrnek |
| 2023 | FMCAD | Binary Decision Diagrams on Modern Hardware. | Samuel Pastva, Thomas A. Henzinger |
| 2021 | CAV | Computing Bottom SCCs Symbolically Using Transition Guided Reduction. | Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek |
| 2021 | TACAS | Symbolic Coloured SCC Decomposition. | Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek |
| 2020 | CAV | AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. | Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safrnek |
| 2019 | ICFEM | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. | Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polcek, David Safrnek |
| 2019 | IFM | Accelerating Parameter Synthesis Using Semi-algebraic Constraints. | Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safrnek |
| 2019 | TACAS | Digital Bifurcation Analysis of TCP Dynamics. | Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek |
| 2017 | CAV | Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safrnek |
| 2016 | ATVA | Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safrnek |
| 2016 | FM | A Model Checking Approach to Discrete Bifurcation Analysis. | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safrnek |