Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 2021 | 741 |
h-rodyklė | 24 | 16 |
i10-rodyklė | 45 | 26 |
Viešas pasiekiamumas
Peržiūrėti viską39 straipsniai
3 straipsniai
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenPatvirtintas el. paštas ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenPatvirtintas el. paštas di.ku.dk
- Johannes HölzlPatvirtintas el. paštas in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenPatvirtintas el. paštas in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstitutePatvirtintas el. paštas gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignPatvirtintas el. paštas illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignPatvirtintas el. paštas illinois.edu
- Nicholas SmallboneChalmers University of TechnologyPatvirtintas el. paštas chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityPatvirtintas el. paštas imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestPatvirtintas el. paštas unibuc.ro
- Ioana LeusteanProfessor, University of BucharestPatvirtintas el. paštas fmi.unibuc.ro
- Markus N RabeAugmentPatvirtintas el. paštas augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityPatvirtintas el. paštas cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligencePatvirtintas el. paštas dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenPatvirtintas el. paštas in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauPatvirtintas el. paštas uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHPatvirtintas el. paštas kerguelen.org