| 2026 | SAT | SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology. | Ondrej Huvar, Martin Jons, Samuel Pastva |
| 2026 | TACAS | Symbiotic 11 Predicate Abstraction Joins the Party - (Competition Contribution). | Paulna Ayaziov, Martin Jons, Vincent Mihalkovic, Jindrich Sedlcek, Jan Strejcek |
| 2026 | TACAS | BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability. | Jakub Hork, Martin Jons |
| 2026 | TACAS | Re3ver: Reverse and Verify - (Competition Contribution). | Adla Stepkov, Martin Jons, Jan Strejcek |
| 2025 | FASE | Fizzer with Local Space Fuzzing - (Competition Contribution). | Martin Jons, Jan Strejcek, Marek Trtk |
| 2025 | IJCAI | Steady-State Strategy Synthesis for Swarms of Autonomous Agents. | Martin Jons, Antonn Kucera, Vojtech Kur, Jan Mack |
| 2024 | FASE | Fizzer: New Gray-Box Fuzzer - (Competition Contribution). | Martin Jons, Jan Strejcek, Marek Trtk, Luks Urban |
| 2024 | FMCAD | Combining Symbolic Execution with Predicate Abstraction and CEGAR. | Martin Jons, Jan Strejcek, Alberto Griggio |
| 2024 | TACAS | Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). | Martin Jons, Kristin Kumor, Jakub Novk, Jindrich Sedlcek, Marek Trtk, Luks Zaoral, Paulna Ayaziov, Jan Strejcek |
| 2024 | TACAS | Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. | Martin Jons, Jan Strejcek, Marek Trtk, Luks Urban |
| 2023 | CAV | Kratos2: An SMT-Based Model Checker for Imperative Programs. | Alberto Griggio, Martin Jons |
| 2022 | LPNMR | Analysis of Cyclic Fault Propagation via ASP. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2022 | TACAS | Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons |
| 2021 | CAV | Efficient SMT-Based Analysis of Failure Propagation. | Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2021 | IROS | Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? | Jan Mrzek, Martin Jons, Jiri Barnat |
| 2020 | SAT | Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. | Martin Jons, Jan Strejcek |
| 2019 | CAV | Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. | Martin Jons, Jan Strejcek |
| 2018 | ICTAC | Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. | Martin Jons, Jan Strejcek |
| 2018 | LPAR | Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper). | Martin Jons, Jan Strejcek |
| 2017 | SAT | On Simplification of Formulas with Unconstrained Variables and Quantifiers. | Martin Jons, Jan Strejcek |
| 2017 | TACAS | Symbiotic 4: Beyond Reachability - (Competition Contribution). | Marek Chalupa, Martina Vitovsk, Martin Jons, Jiri Slaby, Jan Strejcek |
| 2017 | TACAS | Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). | Jan Mrzek, Martin Jons, Vladimr Still, Henrich Lauko, Jiri Barnat |
| 2016 | SAT | Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. | Martin Jons, Jan Strejcek |
| 2016 | TACAS | Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). | Marek Chalupa, Martin Jons, Jiri Slaby, Jan Strejcek, Martina Vitovsk |