Založit si vlastní profil
Veřejný přístup
Zobrazit všechny81 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiE-mailová adresa ověřena na: helsinki.fi
- Martina SeidlUniv.-Prof., JKU LinzE-mailová adresa ověřena na: jku.at
- Warren A. Hunt, JrProfessor of Computer Science, University of TexasE-mailová adresa ověřena na: cs.utexas.edu
- Benjamin Kiesl-ReiterAmazon Web ServicesE-mailová adresa ověřena na: amazon.de
- Oliver KullmannSwansea UniversityE-mailová adresa ověřena na: Swansea.ac.uk
- Nathan WetzlerUniversity of Texas at AustinE-mailová adresa ověřena na: cs.utexas.edu
- Anton BelovSynopsys Inc.E-mailová adresa ověřena na: belov-mcdowell.com
- Tomas BalyoFiluta AIE-mailová adresa ověřena na: filuta.ai
- Randal BryantCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Martin SudaCzech Technical University in PragueE-mailová adresa ověřena na: cvut.cz
- Toby WalshProfessor, UNSW and CSIRO Data61E-mailová adresa ověřena na: cse.unsw.edu.au
- Sicco VerwerDelft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
- Victor MarekProfessor of Computer Science, University of KentuckyE-mailová adresa ověřena na: cs.uky.edu
- Manuel KauersJohannes Kepler University, Linz, AustriaE-mailová adresa ověřena na: kauers.de
- Ruben MartinsCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Norbert MantheyTU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Siert WieringaE-mailová adresa ověřena na: siert.nl
- John F. MackeyTeaching Professor of Computer Science and Mathematics, Carnegie Mellon UniversityE-mailová adresa ověřena na: andrew.cmu.edu
- Emre YolcuPhD student, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
Sledovat
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
E-mailová adresa ověřena na: cs.cmu.edu - Domovská stránka