Martina Seidl (Johannes-Kepler-University Linz)
Identifiers
No identifiers captured yet.
Papers (1)
- The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results cs.LO · 2016 · author #17
Mentions
No mention provenance yet.
Frequent Coauthors
- 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
- Nina Narodytska (Samsung Research America) 1 shared papers
- Ocan Sankur (CNRS 1 shared papers
- Robert K\"onighofer (Graz University of Technology) 1 shared papers
- Roderick Bloem (Graz University of Technology) 1 shared papers
- Romain Brenguier (University of Oxford) 1 shared papers
- Swen Jacobs (Saarland University) 1 shared papers
- UNSW) 1 shared papers