Roderick Bloem (Graz University of Technology)

Identifiers

• name variant Roderick Bloem (Graz University of Technology) 0.60 · backfill

Papers (4)

1. The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond cs.LO · 2016 · author #2
2. The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results cs.LO · 2016 · author #2
3. How to Handle Assumptions in Synthesis cs.LO · 2014 · author #1
4. Parameterized Synthesis cs.LO · 2014 · author #2

Mentions

• 1407.5395 #1 · backfill · confidence 0.70 Roderick Bloem (Graz University of Technology)
• 1401.3588 #2 · backfill · confidence 0.70 Roderick Bloem (Graz University of Technology)

Frequent Coauthors

• Robert K\"onighofer (Graz University of Technology) 2 shared papers
• Swen Jacobs (Graz University of Technology) 2 shared papers
• Swen Jacobs (Saarland University) 2 shared papers
• Adam Walker (Independent Researcher) 1 shared papers
• Alexander Legg (Data 61 1 shared papers
• Ayrat Khalimov (Graz University of Technology) 1 shared papers
• CSIRO (formerly NICTA) 1 shared papers
• Felix Klein (Saarland University) 1 shared papers
• Guillermo A. P\'erez (Universit\'e Libre de Bruxelles) 1 shared papers
• IRISA) 1 shared papers
• Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles) 1 shared papers
• Jens Kreber (Saarland University) 1 shared papers
• Leander Tentrup (Saarland University) 1 shared papers
• Leonid Ryzhyk (Samsung Research America) 1 shared papers
• Martina Seidl (Johannes-Kepler-University Linz) 1 shared papers
• Nina Narodytska (Samsung Research America) 1 shared papers
• Ocan Sankur (CNRS 1 shared papers
• Romain Brenguier (University of Oxford) 1 shared papers
• R\"udiger Ehlers (University of Bremen / DFKI) 1 shared papers
• UNSW) 1 shared papers