| 2026 | CONCUR | A Factorization Theorem for Forest Algebras. | Shaull Almagor, Michal Cadilhac, Asaf Shoham |
| 2026 | CONCUR | Representing One Letter Weighted Automata over the Tropical Semiring. | Shaull Almagor, Ismal Jecker, Filip Mazowiecki, Lukasz Orlikowski, David Purser, Henry Sinclair-Banks |
| 2026 | ICALP | Unambiguisability and Register Minimisation of Min-Plus Models. | Shaull Almagor, Guy Arbel, Sarai Sheinvald |
| 2026 | LICS | A Complexity Bound for Determinisation of Min-Plus Weighted Automata. | Shaull Almagor, Guy Arbel, Sarai Sheinvald |
| 2026 | SODA | Determinization of Min-Plus Weighted Automata is Decidable. | Shaull Almagor, Guy Arbel, Sarai Sheinvald |
| 2025 | CSL | Two-Way One-Counter Nets Revisited. | Shaull Almagor, Michal Cadilhac, Asaf Yeshurun |
| 2024 | FOSSACS | Dimension-Minimality and Primality of Counter Nets. | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun |
| 2024 | FOSSACS | Determinization of Integral Discounted-Sum Automata is Decidable. | Shaull Almagor, Neta Dafni |
| 2024 | SoCS | Introducing Delays in Multi Agent Path Finding. | Justin Kottinger, Tzvika Geft, Shaull Almagor, Oren Salzman, Morteza Lahijanian |
| 2023 | DLT | Jumping Automata over Infinite Words. | Shaull Almagor, Omer Yizhaq |
| 2023 | MFCS | The Geometry of Reachability in Continuous Vector Addition Systems with States. | Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Prez |
| 2022 | CONCUR | Concurrent Games with Multiple Topologies. | Shaull Almagor, Shai Guendelman |
| 2022 | CONCUR | Determinization of One-Counter Nets. | Shaull Almagor, Asaf Yeshurun |
| 2022 | CSL | Simulation by Rounds of Letter-To-Letter Transducers. | Antonio Abu Nassar, Shaull Almagor |
| 2022 | IROS | Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. | Justin Kottinger, Shaull Almagor, Morteza Lahijanian |
| 2021 | ICRA | MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. | Justin Kottinger, Shaull Almagor, Morteza Lahijanian |
| 2020 | CAV | Good-Enough Synthesis. | Shaull Almagor, Orna Kupferman |
| 2020 | CONCUR | Parametrized Universality Problems for One-Counter Nets. | Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke |
| 2020 | CONCUR | Coverability in 1-VASS with Disequality Tests. | Shaull Almagor, Nathann Cohen, Guillermo A. Prez, Mahsa Shirmohammadi, James Worrell |
| 2020 | ICALP | Invariants for Continuous Linear Dynamical Systems. | Shaull Almagor, Edon Kelmendi, Jol Ouaknine, James Worrell |
| 2019 | STACS | The Semialgebraic Orbit Problem. | Shaull Almagor, Jol Ouaknine, James Worrell |
| 2018 | CONCUR | Effective Divergence Analysis for Linear Recurrence Sequences. | Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Jol Ouaknine, James Worrell |
| 2018 | DLT | Weak Cost Register Automata Are Still Powerful. | Shaull Almagor, Michal Cadilhac, Filip Mazowiecki, Guillermo A. Prez |
| 2018 | ICALP | O-Minimal Invariants for Linear Loops. | Shaull Almagor, Dmitry Chistikov, Jol Ouaknine, James Worrell |
| 2018 | IJCAI | Synthesis of Controllable Nash Equilibria in Quantitative Objective Game. | Shaull Almagor, Orna Kupferman, Giuseppe Perelli |
| 2017 | CAV | Quantitative Assume Guarantee Synthesis. | Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner |
| 2017 | ICALP | The Polytope-Collision Problem. | Shaull Almagor, Jol Ouaknine, James Worrell |
| 2016 | CONCUR | Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. | Shaull Almagor, Orna Kupferman, Yaron Velner |
| 2016 | CSL | High-Quality Synthesis Against Stochastic Environments. | Shaull Almagor, Orna Kupferman |
| 2015 | AAAI | This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. | Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi |
| 2015 | CONCUR | Repairing Multi-Player Games. | Shaull Almagor, Guy Avni, Orna Kupferman |
| 2014 | FOSSACS | Latticed-LTL Synthesis in the Presence of Noisy Inputs. | Shaull Almagor, Orna Kupferman |
| 2014 | TACAS | Discounting in LTL. | Shaull Almagor, Udi Boker, Orna Kupferman |
| 2013 | CAV | Automatic Generation of Quality Specifications. | Shaull Almagor, Guy Avni, Orna Kupferman |
| 2013 | ICALP | Formalizing and Reasoning about Quality. | Shaull Almagor, Udi Boker, Orna Kupferman |
| 2011 | ATVA | What's Decidable about Weighted Automata? | Shaull Almagor, Udi Boker, Orna Kupferman |
| 2011 | ATVA | Max and Sum Semantics for Alternating Weighted Automata. | Shaull Almagor, Orna Kupferman |
| 2010 | ATVA | Promptness in | Shaull Almagor, Yoram Hirshfeld, Orna Kupferman |