Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 194 | 105 |
h-indeks | 7 | 6 |
i10-indeks | 6 | 5 |
Dostęp publiczny
Wyświetl wszystko3 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Juergen DingelSchool of Computing, Queen's University, CanadaZweryfikowany adres z cs.queensu.ca
- Karen RudieProfessor, Electrical and Computer Engineering, Queen's UniversityZweryfikowany adres z queensu.ca
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
- Zeng (Connie) QiuFord Motor CompanyZweryfikowany adres z umich.edu
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteZweryfikowany adres z cs.rwth-aachen.de
- Yue MengMassachusetts Institute of TechnologyZweryfikowany adres z mit.edu
- Chuchu FanWilson Assistant Professor of Aeronautics and Astronautics at MITZweryfikowany adres z mit.edu
- Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkZweryfikowany adres z itu.dk
- Philipp BergerPhD Student at RWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
- Necmiye OzayEECS, University of MichiganZweryfikowany adres z umich.edu
- Liren YangSchool of AI & Automation, Huazhong USTZweryfikowany adres z hust.edu.cn
- Dawei SunUniversity of Illinois Urbana-ChampaignZweryfikowany adres z illinois.edu
- Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenZweryfikowany adres z in.tum.de
- Wang XiaoResearch assistant, Technical University of MunichZweryfikowany adres z tum.de
- Emdad AhmedVisiting Assistant Professor of Computer Science, Miami UniversiryZweryfikowany adres z miamioh.edu
- Yousaf RahmanFord Motor CompanyZweryfikowany adres z ford.com
- Stefan SchuppFormal Verification @Apple