Založiť si vlastný profil
Verejný prístup
všetky položky15 článkov
0 článkov
dostupné
nedostupné
Na základe mandátov na financovanie
Spoluautori
- Daniel KroeningAmazonOverená e-mailová adresa na: amazon.com
- Christian SchallhartGoogleOverená e-mailová adresa na: schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienOverená e-mailová adresa na: forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonOverená e-mailová adresa na: ucl.ac.uk
- Andreas HolzerUniversity of TorontoOverená e-mailová adresa na: cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtOverená e-mailová adresa na: thi.de
- Serdar TasiranS3, Amazon Web ServicesOverená e-mailová adresa na: acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonOverená e-mailová adresa na: cs.ucl.ac.uk
- Luc MarangetInriaOverená e-mailová adresa na: inria.fr
- Andreas BauerUniversität AugsburgOverená e-mailová adresa na: uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyOverená e-mailová adresa na: lmu.de
- Alastair DonaldsonImperial College LondonOverená e-mailová adresa na: imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyOverená e-mailová adresa na: kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordOverená e-mailová adresa na: cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexOverená e-mailová adresa na: diffblue.com
- Thomas WahlNortheastern University, Boston, USAOverená e-mailová adresa na: northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenOverená e-mailová adresa na: sosy.ifi.lmu.de
- Thomas LembergerLMU MunichOverená e-mailová adresa na: lmu.de
- Felipe R. MonteiroAmazonOverená e-mailová adresa na: amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSOverená e-mailová adresa na: amazon.com