Sasha Rubin

Identifiers

• name variant Sasha Rubin 0.60 · backfill

Papers (10)

1. Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable cs.LO · 2019 · author #8
2. Planning and Synthesis Under Assumptions cs.LO · 2018 · author #4
3. Strategy Logic with Imperfect Information cs.LO · 2018 · author #4
4. Changing Observations in Epistemic Temporal Logic cs.LO · 2018 · author #4
5. Liveness of Parameterized Timed Networks cs.LO · 2016 · author #2
6. Satisfiability and Model Checking of CTL* with Graded Path Modalities cs.LO · 2014 · author #3
7. Parameterized Model Checking of Token-Passing Systems cs.LO · 2013 · author #4
8. Cardinality and counting quantifiers on omega-automatic structures cs.LO · 2008 · author #2
9. Order-Invariant MSO is Stronger than Counting MSO in the Finite cs.LO · 2007 · author #2
10. Automatic Structures: Richness and Limitations cs.DM · 2007 · author #3

Mentions

• 1311.4425 #4 · backfill · confidence 0.70 Sasha Rubin
• 0802.2866 #2 · backfill · confidence 0.70 Sasha Rubin
• 0706.3723 #2 · backfill · confidence 0.70 Sasha Rubin

Frequent Coauthors

• Aniello Murano 5 shared papers
• Benjamin Aminof 4 shared papers
• Bastien Maubert 3 shared papers
• Rapha\"el Berthon 2 shared papers
• Andre Nies 1 shared papers
• Aur\`ele Barri\`ere 1 shared papers
• Ayrat Khalimov 1 shared papers
• Bakhadyr Khoussainov 1 shared papers
• Emmanuel Filiot 1 shared papers
• Florian Zuleger 1 shared papers
• Francesco Spegni 1 shared papers
• Frank Stephan 1 shared papers
• Giuseppe De Giacomo 1 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers
• Laureline Pinault 1 shared papers
• Lukasz Kaiser 1 shared papers
• Moshe Vardi 1 shared papers
• Shibashis Guha 1 shared papers
• Swen Jacobs 1 shared papers
• Tobias Ganzow 1 shared papers