Kendi profilinizi oluşturun
Alıntı yapanlar
Hepsi | 2019 yılından bugüne | |
---|---|---|
Alıntılar | 2021 | 741 |
h-endeksi | 24 | 16 |
i10-endeksi | 45 | 26 |
Genel erişim
Tümünü görüntüle39 makale
3 makale
genel erişime açık olanlar
genel erişime açık olmayanlar
Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak
Katkıda bulunan yazarlar
- Jasmin BlanchetteLudwig-Maximilians-Universität Münchenifi.lmu.de üzerinde doğrulanmış e-posta adresine sahip
- Dmitriy TraytelUniversity of Copenhagendi.ku.dk üzerinde doğrulanmış e-posta adresine sahip
- Johannes Hölzlin.tum.de üzerinde doğrulanmış e-posta adresine sahip
- Tobias NipkowProfessor of Computer Science, Technische Universität Münchenin.tum.de üzerinde doğrulanmış e-posta adresine sahip
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science Institutegssi.it üzerinde doğrulanmış e-posta adresine sahip
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaignillinois.edu üzerinde doğrulanmış e-posta adresine sahip
- Grigore RosuUniversity of Illinois at Urbana Champaignillinois.edu üzerinde doğrulanmış e-posta adresine sahip
- Nicholas SmallboneChalmers University of Technologychalmers.se üzerinde doğrulanmış e-posta adresine sahip
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu Universityimi.kyushu-u.ac.jp üzerinde doğrulanmış e-posta adresine sahip
- Traian Florin ȘerbănuțăUniversity of Bucharestunibuc.ro üzerinde doğrulanmış e-posta adresine sahip
- Ioana LeusteanProfessor, University of Bucharestfmi.unibuc.ro üzerinde doğrulanmış e-posta adresine sahip
- Markus N RabeAugmentaugmentcode.com üzerinde doğrulanmış e-posta adresine sahip
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Securitycispa.de üzerinde doğrulanmış e-posta adresine sahip
- Dieter HutterGerman Research Center for Artificial Intelligencedfki.de üzerinde doğrulanmış e-posta adresine sahip
- Helmut SeidlProfessor für Informatik, School of CIT, TU Münchenin.tum.de üzerinde doğrulanmış e-posta adresine sahip
- Christian HammerProfessor of Computer Science at University of Passauuni-passau.de üzerinde doğrulanmış e-posta adresine sahip
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHkerguelen.org üzerinde doğrulanmış e-posta adresine sahip