| 2024 | CONCUR | History-Determinism vs Fair Simulation. | Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash |
| 2024 | LICS | Discounted-Sum Automata with Real-Valued Discount Factors. | Udi Boker |
| 2023 | CONCUR | Safety and Liveness of Quantitative Automata. | Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2023 | FOSSACS | On the Comparison of Discounted-Sum Automata with Multiple Discount Factors. | Udi Boker, Guy Hefetz |
| 2022 | CSL | Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk). | Udi Boker |
| 2022 | FOSSACS | Token Games and History-Deterministic Quantitative Automata. | Udi Boker, Karoliina Lehtinen |
| 2022 | FOSSACS | On the Translation of Automata to Linear Temporal Logic. | Udi Boker, Karoliina Lehtinen, Salomon Sickert |
| 2021 | CSL | Discounted-Sum Automata with Multiple Discount Factors. | Udi Boker, Guy Hefetz |
| 2020 | CONCUR | Parametrized Universality Problems for One-Counter Nets. | Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke |
| 2020 | PLDI | Decidable verification under a causally consistent shared memory. | Ori Lahav, Udi Boker |
| 2019 | CONCUR | Good for Games Automata: From Nondeterminism to Alternation. | Udi Boker, Karoliina Lehtinen |
| 2019 | DLT | Inherent Size Blowup in ω-Automata. | Udi Boker |
| 2018 | LICS | Automaton-Based Criteria for Membership in CTL. | Udi Boker, Yariv Shaulian |
| 2018 | LPAR | Why These Automata Types? | Udi Boker |
| 2017 | CSL | On the (In)Succinctness of Muller Automata. | Udi Boker |
| 2016 | MFCS | Families of DFAs as Acceptors of omega-Regular Languages. | Dana Angluin, Udi Boker, Dana Fisman |
| 2015 | LICS | The Target Discounted-Sum Problem. | Udi Boker, Thomas A. Henzinger, Jan Otop |
| 2014 | POPL | Battery transition systems. | Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna |
| 2014 | TACAS | Discounting in LTL. | Shaull Almagor, Udi Boker, Orna Kupferman |
| 2013 | ICALP | Formalizing and Reasoning about Quality. | Shaull Almagor, Udi Boker, Orna Kupferman |
| 2013 | ICALP | Nondeterminism in the Presence of a Diverse or Unknown Future. | Udi Boker, Denis Kuperberg, Orna Kupferman, Michal Skrzypczak |
| 2011 | ATVA | What's Decidable about Weighted Automata? | Shaull Almagor, Udi Boker, Orna Kupferman |
| 2011 | CSL | Determinizing Discounted-Sum Automata. | Udi Boker, Thomas A. Henzinger |
| 2011 | FOSSACS | Co-Bching Them All. | Udi Boker, Orna Kupferman |
| 2011 | LICS | Temporal Specifications with Accumulative Values. | Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman |
| 2010 | ICALP | Alternation Removal in Bchi Automata. | Udi Boker, Orna Kupferman, Adin Rosenberg |
| 2009 | LICS | Co-ing Bchi Made Tight and Useful. | Udi Boker, Orna Kupferman |
| 2005 | CiE | How to Compare the Power of Computational Models. | Udi Boker, Nachum Dershowitz |