Roderick Bloem (Graz University of Technology
Identifiers
No identifiers captured yet.
Papers (2)
- The Second Reactive Synthesis Competition (SYNTCOMP 2015) cs.LO · 2016 · author #4
- Parameterized Synthesis Case Study: AMBA AHB cs.LO · 2014 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Austria) 2 shared papers
- Adam Walker (NICTA 1 shared papers
- Australia 1 shared papers
- Australia) 1 shared papers
- Ayrat Khalimov (Graz University of Technology 1 shared papers
- Belgium) 1 shared papers
- Brussels 1 shared papers
- Carnegie Mellon University 1 shared papers
- Germany) 1 shared papers
- Guillermo A. P\'erez (Universit\'e Libre de Bruxelles 1 shared papers
- Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles 1 shared papers
- Leander Tentrup (Saarland University 1 shared papers
- Leonid Ryzhyk (NICTA 1 shared papers
- Linz 1 shared papers
- Martina Seidl (Johannes-Kepler-University 1 shared papers
- Ocan Sankur (Universit\'e Libre de Bruxelles 1 shared papers
- Pittsburgh 1 shared papers
- Robert K\"onighofer (Graz University of Technology 1 shared papers
- Romain Brenguier (Universit\'e Libre de Bruxelles 1 shared papers
- Saarbr\"ucken 1 shared papers