Crea el meu perfil
Accés públic
Mostra-ho tot15 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Daniel KroeningAmazonCorreu electrònic verificat a amazon.com
- Christian SchallhartGoogleCorreu electrònic verificat a schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienCorreu electrònic verificat a forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonCorreu electrònic verificat a ucl.ac.uk
- Andreas HolzerUniversity of TorontoCorreu electrònic verificat a cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtCorreu electrònic verificat a thi.de
- Serdar TasiranS3, Amazon Web ServicesCorreu electrònic verificat a acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonCorreu electrònic verificat a cs.ucl.ac.uk
- Luc MarangetInriaCorreu electrònic verificat a inria.fr
- Andreas BauerUniversität AugsburgCorreu electrònic verificat a uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyCorreu electrònic verificat a lmu.de
- Alastair DonaldsonImperial College LondonCorreu electrònic verificat a imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyCorreu electrònic verificat a kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexCorreu electrònic verificat a diffblue.com
- Thomas WahlNortheastern University, Boston, USACorreu electrònic verificat a northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenCorreu electrònic verificat a sosy.ifi.lmu.de
- Thomas LembergerLMU MunichCorreu electrònic verificat a lmu.de
- Felipe R. MonteiroAmazonCorreu electrònic verificat a amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSCorreu electrònic verificat a amazon.com