Get my own profile
Public access
View all16 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Daniel KroeningAmazonVerified email at amazon.com
Christian SchallhartGoogleVerified email at schallhart.net
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Andreas HolzerUniversity of TorontoVerified email at cs.toronto.edu
Stefan KugeleTechnische Hochschule IngolstadtVerified email at thi.de
Luc MarangetInriaVerified email at inria.fr
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Andreas BauerUniversität AugsburgVerified email at uni-a.de
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyVerified email at kit.edu
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
Matthias DanglLudwig-Maximilians-Universität MünchenVerified email at sosy.ifi.lmu.de
Thomas LembergerLMU MunichVerified email at lmu.de
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Felipe R. MonteiroAmazonVerified email at amazon.com