Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 2021 | 741 |
H-indeks | 24 | 16 |
i10-indeks | 45 | 26 |
Javni pristup
Prikaži sve39 članaka
3 članka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenPotvrđena adresa e-pošte na ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenPotvrđena adresa e-pošte na di.ku.dk
- Johannes HölzlPotvrđena adresa e-pošte na in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenPotvrđena adresa e-pošte na in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstitutePotvrđena adresa e-pošte na gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignPotvrđena adresa e-pošte na illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignPotvrđena adresa e-pošte na illinois.edu
- Nicholas SmallboneChalmers University of TechnologyPotvrđena adresa e-pošte na chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityPotvrđena adresa e-pošte na imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestPotvrđena adresa e-pošte na unibuc.ro
- Ioana LeusteanProfessor, University of BucharestPotvrđena adresa e-pošte na fmi.unibuc.ro
- Markus N RabeAugmentPotvrđena adresa e-pošte na augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityPotvrđena adresa e-pošte na cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligencePotvrđena adresa e-pošte na dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenPotvrđena adresa e-pošte na in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauPotvrđena adresa e-pošte na uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHPotvrđena adresa e-pošte na kerguelen.org