Alexander Rabinovich

Identifiers

• name variant Alexander Rabinovich 0.60 · backfill

Papers (8)

1. Decidability of MSO Reparameterization over Countable Chains cs.LO · 2026 · author #1
2. Synthesis of Infinite State Systems cs.LO · 2025 · author #2
3. Methane Incorporation into Liquid Fuel by Non-Equilibrium Plasma Discharges physics.plasm-ph · 2016 · author #5
4. The Complexity of Multi-Mean-Payoff and Multi-Energy Games cs.GT · 2012 · author #5
5. The Church Problem for Countable Ordinals cs.LO · 2008 · author #1
6. The Church Synthesis Problem with Parameters cs.LO · 2007 · author #1
7. A Logic of Reachable Patterns in Linked Data-Structures cs.LO · 2007 · author #2
8. Expressiveness of Metric modalities for continuous time cs.LO · 2006 · author #2

Mentions

• 2501.08713 #2 · arxiv_oai · confidence 0.70 Alexander Rabinovich
• 1209.3234 #5 · backfill · confidence 0.70 Alexander Rabinovich
• 2605.18248 #1 · arxiv_oai · confidence 0.70 Alexander Rabinovich
• 0811.2198 #1 · backfill · confidence 0.70 Alexander Rabinovich
• 0708.3477 #1 · backfill · confidence 0.70 Alexander Rabinovich
• 0705.3610 #2 · backfill · confidence 0.70 Alexander Rabinovich

Frequent Coauthors

• Ahmed Bouajjani (LIAFA) 1 shared papers
• Alexander Fridman 1 shared papers
• Antoine Meyer (LIAFA) 1 shared papers
• Chong Liu 1 shared papers
• Danil Dobrynin 1 shared papers
• Greta Yorsh 1 shared papers
• Hai-Feng Ji 1 shared papers
• Ivan Chernets 1 shared papers
• Jean-Francois Raskin 1 shared papers
• Joshua Smith 1 shared papers
• Krishnendu Chatterjee 1 shared papers
• Laurent Doyen 1 shared papers
• Mooly Sagiv 1 shared papers
• Ohad Drucker 1 shared papers
• Thomas A. Henzinger 1 shared papers
• Yaron Velner 1 shared papers
• Yoram Hirshfeld 1 shared papers