(3) Graz University of Technology
Identifiers
No identifiers captured yet.
Papers (2)
- A search for transiting planets in the $\beta$ Pictoris system astro-ph.EP · 2018 · author #9
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results cs.LO · 2017 · author #16
Mentions
No mention provenance yet.
Frequent Coauthors
- (2) Universit\'e Libre de Bruxelles 1 shared papers
- (4) University of Oxford 1 shared papers
- (5) LRDE 1 shared papers
- (6) CNRS 1 shared papers
- Austria 1 shared papers
- Austria) 1 shared papers
- Ayrat Khalimov (3) 1 shared papers
- Bernd Finkbeiner (1) 1 shared papers
- EPITA 1 shared papers
- E. Weenk (1) 1 shared papers
- Felix Klein (1) 1 shared papers
- Guillermo A. P\'erez (2) 1 shared papers
- Institute of Communication Networks 1 shared papers
- IRISA) 1 shared papers
- Jean-Fran\c{c}ois Raskin (2) 1 shared papers
- K. Zwintz (2) 1 shared papers
- Leander Tentrup (1) ((1) Saarland University 1 shared papers
- M.A. Kenworthy (1) 1 shared papers
- Maximilien Colange (5) 1 shared papers
- M. Mol Lous (1) 1 shared papers