Get my own profile
Public access
View all48 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Aart MiddeldorpUniversity of InnsbruckVerified email at uibk.ac.at
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Julian NageleVerified email at jnagele.net
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Verified email at ucm.es
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Johannes HölzlVerified email at in.tum.de
Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk
Martin AvanziniUniversity of InnsbruckVerified email at uibk.ac.at
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Neil MitchellFacebookVerified email at fb.com
Joachim BreitnerLean FROVerified email at joachim-breitner.de
Peter Schneider-KampProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Mizuhito OgawaJAISTVerified email at jaist.ac.jp
Aart MiddeldorpProfessor of Computer Science, Innsbruck UniversityVerified email at uibk.ac.at