Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 2021 | 741 |
indeks h | 24 | 16 |
indeks i10 | 45 | 26 |
Javni dostop
Prikaži vse39 člankov
3 članki
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenPreverjeni e-poštni naslov na ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenPreverjeni e-poštni naslov na di.ku.dk
- Johannes HölzlPreverjeni e-poštni naslov na in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenPreverjeni e-poštni naslov na in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstitutePreverjeni e-poštni naslov na gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignPreverjeni e-poštni naslov na illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignPreverjeni e-poštni naslov na illinois.edu
- Nicholas SmallboneChalmers University of TechnologyPreverjeni e-poštni naslov na chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityPreverjeni e-poštni naslov na imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestPreverjeni e-poštni naslov na unibuc.ro
- Ioana LeusteanProfessor, University of BucharestPreverjeni e-poštni naslov na fmi.unibuc.ro
- Markus N RabeAugmentPreverjeni e-poštni naslov na augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityPreverjeni e-poštni naslov na cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligencePreverjeni e-poštni naslov na dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenPreverjeni e-poštni naslov na in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauPreverjeni e-poštni naslov na uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHPreverjeni e-poštni naslov na kerguelen.org