| 2026 | ICALP | From Sets to Points: Simplifying MSO Interpretations via Reparameterizations. | Alexander Rabinovich |
| 2026 | LICS | The Uniformisation of Monadic Second-Order Logic over Countable Ordinals. | Thomas Colcombet, Alexander Rabinovich |
| 2026 | WoLLIC | Decidability of MSO Reparameterization over Countable Chains. | Alexander Rabinovich |
| 2025 | CSL | On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates. | Thomas Colcombet, Alexander Rabinovich |
| 2022 | MFCS | On Uniformization in the Full Binary Tree. | Alexander Rabinovich |
| 2021 | CSL | Degrees of Ambiguity for Parity Tree Automata. | Alexander Rabinovich, Doron Tiferet |
| 2020 | MFCS | Ambiguity Hierarchy of Regular Infinite Tree Languages. | Alexander Rabinovich, Doron Tiferet |
| 2018 | DLT | Complementation of Finitely Ambiguous Bchi Automata. | Alexander Rabinovich |
| 2016 | CSR | On Expressive Power of Regular Expressions over Infinite Orders. | Alexander Rabinovich |
| 2016 | TACAS | Some Complexity Results for Stateful Network Verification. | Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham |
| 2013 | MFCS | An Unusual Temporal Logic. | Alexander Rabinovich |
| 2012 | CSL | A Proof of Kamp's theorem. | Alexander Rabinovich |
| 2012 | LICS | Interpretations in Trees with Countably Many Branches. | Alexander Rabinovich, Sasha Rubin |
| 2012 | MFCS | A Finite Basis for 'Almost Future' Temporal Logic over the Reals. | Dorit Pardo Ordentlich, Alexander Rabinovich |
| 2011 | CSL | The Church Synthesis Problem with Metric. | Mark Jenkins, Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2011 | FOSSACS | Church Synthesis Problem for Noisy Input. | Yaron Velner, Alexander Rabinovich |
| 2010 | LICS | Alternating Timed Automata over Bounded Time. | Mark Jenkins, Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2009 | CONCUR | Time-Bounded Verification. | Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2009 | CSL | Cardinality Quantifiers in MLO over Trees. | Vince Brny, Lukasz Kaiser, Alexander Rabinovich |
| 2009 | CSL | Decidable Extensions of Church's Problem. | Alexander Rabinovich |
| 2007 | CSL | Logical Refinements of Church's Problem. | Alexander Rabinovich, Wolfgang Thomas |
| 2007 | LPAR | The Complexity of Temporal Logic with Until and Since over Ordinals. | Stphane Demri, Alexander Rabinovich |