รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 666 | 303 |
ดัชนี h | 12 | 9 |
ดัชนี i10 | 15 | 8 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด10 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Armin BiereProfessor of Computer Science, University of Freiburgยืนยันอีเมลแล้วที่ informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly Universityยืนยันอีเมลแล้วที่ aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wienยืนยันอีเมลแล้วที่ forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraยืนยันอีเมลแล้วที่ imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon Universityยืนยันอีเมลแล้วที่ cs.cmu.edu
- Tomas BalyoFiluta AIยืนยันอีเมลแล้วที่ filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredยืนยันอีเมลแล้วที่ uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British Columbiaยืนยันอีเมลแล้วที่ cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of Waterlooยืนยันอีเมลแล้วที่ uwaterloo.ca
- Dr. Adrian BalintUlm University