Mijn eigen profiel maken
Openbare toegang
Alles bekijken15 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Daniel KroeningAmazonGeverifieerd e-mailadres voor amazon.com
- Christian SchallhartGoogleGeverifieerd e-mailadres voor schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienGeverifieerd e-mailadres voor forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonGeverifieerd e-mailadres voor ucl.ac.uk
- Andreas HolzerUniversity of TorontoGeverifieerd e-mailadres voor cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtGeverifieerd e-mailadres voor thi.de
- Serdar TasiranS3, Amazon Web ServicesGeverifieerd e-mailadres voor acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonGeverifieerd e-mailadres voor cs.ucl.ac.uk
- Luc MarangetInriaGeverifieerd e-mailadres voor inria.fr
- Andreas BauerUniversität AugsburgGeverifieerd e-mailadres voor uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyGeverifieerd e-mailadres voor lmu.de
- Alastair DonaldsonImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyGeverifieerd e-mailadres voor kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexGeverifieerd e-mailadres voor diffblue.com
- Thomas WahlNortheastern University, Boston, USAGeverifieerd e-mailadres voor northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenGeverifieerd e-mailadres voor sosy.ifi.lmu.de
- Thomas LembergerLMU MunichGeverifieerd e-mailadres voor lmu.de
- Felipe R. MonteiroAmazonGeverifieerd e-mailadres voor amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSGeverifieerd e-mailadres voor amazon.com