Markus N. Rabe

Identifiers

• name variant Markus N. Rabe 0.60 · backfill

Papers (7)

1. Understanding and Extending Incremental Determinization for 2QBF cs.LO · 2019 · author #1
2. A Model Counter's Guide to Probabilistic Systems cs.LO · 2019 · author #2
3. Clausal Abstraction for DQBF (full version) cs.LO · 2018 · author #2
4. Encodings of Bounded Synthesis cs.LO · 2018 · author #3
5. What's Decidable about Syntax-Guided Synthesis? cs.LO · 2015 · author #2
6. Temporal Logics for Hyperproperties cs.LO · 2014 · author #5
7. A Temporal Logic for Hyperproperties cs.LO · 2013 · author #2

Mentions

• 1510.08393 #2 · backfill · confidence 0.70 Markus N. Rabe
• 1401.4492 #5 · backfill · confidence 0.70 Markus N. Rabe
• 1306.6657 #2 · backfill · confidence 0.70 Markus N. Rabe

Frequent Coauthors

• Bernd Finkbeiner 3 shared papers
• Leander Tentrup 3 shared papers
• Sanjit A. Seshia 3 shared papers
• C\'esar S\'anchez 2 shared papers
• Benjamin Caulfield 1 shared papers
• Cameron Rasmussen 1 shared papers
• Kristopher K. Micinski 1 shared papers
• Marcell Vazquez-Chanlatte 1 shared papers
• Masoud Koleini 1 shared papers
• Michael R. Clarkson 1 shared papers
• Peter Faymonville 1 shared papers
• Stavros Tripakis 1 shared papers