รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 17575 | 5708 |
ดัชนี h | 55 | 25 |
ดัชนี i10 | 124 | 65 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด78 บทความ
11 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twenteยืนยันอีเมลแล้วที่ cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campusยืนยันอีเมลแล้วที่ cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresdenยืนยันอีเมลแล้วที่ tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)ยืนยันอีเมลแล้วที่ tue.nl
- Joachim KleinTU Dresden (formerly)ยืนยันอีเมลแล้วที่ automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg Universityยืนยันอีเมลแล้วที่ uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxfordยืนยันอีเมลแล้วที่ comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAยืนยันอีเมลแล้วที่ inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden Universityยืนยันอีเมลแล้วที่ liacs.nl
- Simon JantschTechnische Universität Dresdenยืนยันอีเมลแล้วที่ tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU Dresdenยืนยันอีเมลแล้วที่ tu-dresden.de
- Marjan SirjaniMälardalen Universityยืนยันอีเมลแล้วที่ mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics Campusยืนยันอีเมลแล้วที่ cs.uni-saarland.de
- Jan RuttenCWIยืนยันอีเมลแล้วที่ cwi.nl
- Sascha WunderlichTU Dresdenยืนยันอีเมลแล้วที่ tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universityยืนยันอีเมลแล้วที่ cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.ยืนยันอีเมลแล้วที่ cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-Saclayยืนยันอีเมลแล้วที่ lsv.fr
- Thomas BrihayeUMONSยืนยันอีเมลแล้วที่ umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität Dresdenยืนยันอีเมลแล้วที่ tu-dresden.de