R\"udiger Ehlers

Identifiers

• name variant R\"udiger Ehlers 0.60 · backfill

Papers (5)

1. Exact Synthesis of ESOP Forms cs.LO · 2018 · author #2
2. Revisiting Decision Diagrams for SAT cs.LO · 2018 · author #2
3. The First Reactive Synthesis Competition (SYNTCOMP 2014) cs.LO · 2015 · author #4
4. Path-Based Program Repair cs.PL · 2015 · author #2
5. Reactive Safety cs.FL · 2011 · author #1

Mentions

• 1106.1240 #1 · backfill · confidence 0.70 R\"udiger Ehlers

Frequent Coauthors

• Heinz Riener 2 shared papers
• Adam Walker 1 shared papers
• Armin Biere 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Bruno Schmitt 1 shared papers
• Giovanni De Micheli 1 shared papers
• G\"orschwin Fey 1 shared papers
• Guillermo A. P\'erez 1 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers
• Leander Tentrup 1 shared papers
• Leonid Ryzhyk 1 shared papers
• Martina Seidl 1 shared papers
• Ocan Sankur 1 shared papers
• Robert K\"onighofer 1 shared papers
• Roderick Bloem 1 shared papers
• Romain Brenguier 1 shared papers
• Swen Jacobs 1 shared papers
• Timotheus Hell 1 shared papers
• Tom van Dijk 1 shared papers