Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 2444 | 1096 |
indeks h | 23 | 15 |
indeks i10 | 42 | 22 |
Javni dostop
Prikaži vse15 člankov
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Daniel KroeningAmazonPreverjeni e-poštni naslov na amazon.com
- Christian SchallhartGooglePreverjeni e-poštni naslov na schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienPreverjeni e-poštni naslov na forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonPreverjeni e-poštni naslov na ucl.ac.uk
- Andreas HolzerUniversity of TorontoPreverjeni e-poštni naslov na cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtPreverjeni e-poštni naslov na thi.de
- Serdar TasiranS3, Amazon Web ServicesPreverjeni e-poštni naslov na acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonPreverjeni e-poštni naslov na cs.ucl.ac.uk
- Luc MarangetInriaPreverjeni e-poštni naslov na inria.fr
- Andreas BauerUniversität AugsburgPreverjeni e-poštni naslov na uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyPreverjeni e-poštni naslov na lmu.de
- Alastair DonaldsonImperial College LondonPreverjeni e-poštni naslov na imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyPreverjeni e-poštni naslov na kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexPreverjeni e-poštni naslov na diffblue.com
- Thomas WahlNortheastern University, Boston, USAPreverjeni e-poštni naslov na northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenPreverjeni e-poštni naslov na sosy.ifi.lmu.de
- Thomas LembergerLMU MunichPreverjeni e-poštni naslov na lmu.de
- Felipe R. MonteiroAmazonPreverjeni e-poštni naslov na amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSPreverjeni e-poštni naslov na amazon.com