Xem tiểu sử của tôi
Truy cập công khai
Xem tất cả15 bài viết
0 bài viết
có sẵn
không có sẵn
Dựa trên yêu cầu tài trợ
Đồng tác giả
- Daniel KroeningAmazonEmail được xác minh tại amazon.com
- Christian SchallhartGoogleEmail được xác minh tại schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail được xác minh tại forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonEmail được xác minh tại ucl.ac.uk
- Andreas HolzerUniversity of TorontoEmail được xác minh tại cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtEmail được xác minh tại thi.de
- Serdar TasiranS3, Amazon Web ServicesEmail được xác minh tại acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonEmail được xác minh tại cs.ucl.ac.uk
- Luc MarangetInriaEmail được xác minh tại inria.fr
- Andreas BauerUniversität AugsburgEmail được xác minh tại uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyEmail được xác minh tại lmu.de
- Alastair DonaldsonImperial College LondonEmail được xác minh tại imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyEmail được xác minh tại kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordEmail được xác minh tại cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail được xác minh tại diffblue.com
- Thomas WahlNortheastern University, Boston, USAEmail được xác minh tại northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenEmail được xác minh tại sosy.ifi.lmu.de
- Thomas LembergerLMU MunichEmail được xác minh tại lmu.de
- Felipe R. MonteiroAmazonEmail được xác minh tại amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSEmail được xác minh tại amazon.com