Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 194 | 105 |
Índice h | 7 | 6 |
Índice i10 | 6 | 5 |
Acesso público
Ver tudo3 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Juergen DingelSchool of Computing, Queen's University, CanadaEmail confirmado em cs.queensu.ca
- Karen RudieProfessor, Electrical and Computer Engineering, Queen's UniversityEmail confirmado em queensu.ca
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail confirmado em cs.rwth-aachen.de
- Zeng (Connie) QiuFord Motor CompanyEmail confirmado em umich.edu
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail confirmado em cs.rwth-aachen.de
- Yue MengMassachusetts Institute of TechnologyEmail confirmado em mit.edu
- Chuchu FanWilson Assistant Professor of Aeronautics and Astronautics at MITEmail confirmado em mit.edu
- Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkEmail confirmado em itu.dk
- Philipp BergerPhD Student at RWTH Aachen UniversityEmail confirmado em cs.rwth-aachen.de
- Necmiye OzayEECS, University of MichiganEmail confirmado em umich.edu
- Liren YangSchool of AI & Automation, Huazhong USTEmail confirmado em hust.edu.cn
- Dawei SunUniversity of Illinois Urbana-ChampaignEmail confirmado em illinois.edu
- Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenEmail confirmado em in.tum.de
- Wang XiaoResearch assistant, Technical University of MunichEmail confirmado em tum.de
- Emdad AhmedVisiting Assistant Professor of Computer Science, Miami UniversiryEmail confirmado em miamioh.edu
- Yousaf RahmanFord Motor CompanyEmail confirmado em ford.com
- Stefan SchuppFormal Verification @Apple