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
Johannes HölzlVerified email at in.tum.de
Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk
Martin AvanziniCentre Inria d'Université Côte d'AzurVerified email at inria.fr
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Neil MitchellMetaVerified 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