Get my own profile
Public access
View all105 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Yunshan ZhueK12, Inc.Verified email at eK12.com
- Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
- Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
- Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
- Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
- Andreas FröhlichJKU LinzVerified email at jku.at
- Florian LonsingUnaffiliatedVerified email at florianlonsing.com
- Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
- Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
- Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
- Benjamin Kiesl-ReiterAmazon Web ServicesVerified email at amazon.de
- Nils FroleyksJohannes Kepler University, Linz, AustriaVerified email at jku.at
- Daniela KaufmannTU WienVerified email at tuwien.ac.at
- Manuel KauersJohannes Kepler University, Linz, AustriaVerified email at kauers.de
- Gergely KovásznaiEszterhazy Karoly UniversityVerified email at aries.ektf.hu
- Katalin FazekasPostdoc, TU WienVerified email at tuwien.ac.at
- Daniel KroeningAmazonVerified email at amazon.com
Follow
Armin Biere
Professor of Computer Science, University of Freiburg
Verified email at informatik.uni-freiburg.de - Homepage