Utwórz swój profil
Cytowane przez
| Wszystkie | Od 2020 | |
|---|---|---|
| Cytowania | 19343 | 7783 |
| h-indeks | 74 | 52 |
| i10-indeks | 193 | 130 |
Dostęp publiczny
Wyświetl wszystko134 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityZweryfikowany adres z ovgu.de
- Don BatoryUniversity of Texas at AustinZweryfikowany adres z cs.utexas.edu
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityZweryfikowany adres z informatik.uni-leipzig.de
- Christian LengauerProfessor für Informatik, Universität PassauZweryfikowany adres z uni-passau.de
- Thomas LeichProfessor für Informatik, Harz University of Applied SciencesZweryfikowany adres z hs-harz.de
- Jörg Liebig4Soft GmbHZweryfikowany adres z 4soft.de
- Thomas ThümProfessor, TU Braunschweig, GermanyZweryfikowany adres z tu-braunschweig.de
- Shurui ZhouUniversity of TorontoZweryfikowany adres z ece.utoronto.ca
- Bogdan VasilescuAssociate Professor at Carnegie Mellon UniversityZweryfikowany adres z cmu.edu
- Janet SiegmundChemnitz University of TechnologyZweryfikowany adres z hrz.tu-chemnitz.de
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyZweryfikowany adres z uni-tuebingen.de
- Marko RosenmüllerTomTomZweryfikowany adres z rosenmueller.de
- Jens MeinickeCarnegie Mellon University, Pittsburgh, USAZweryfikowany adres z andrew.cmu.edu
- Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleZweryfikowany adres z cse.sc.edu
- Sebastian ErdwegProfessor of Computer Science, JGU MainzZweryfikowany adres z uni-mainz.de
- André BrechmannLeibniz Institute for NeurobiologyZweryfikowany adres z ifn-magdeburg.de
- Chris ParninMicrosoftZweryfikowany adres z microsoft.com
- Tillmann RendelSAPZweryfikowany adres z sap.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Zweryfikowany adres z tudelft.nl
Obserwuj
Christian Kästner
Carnegie Mellon University, School of Computer Science
Zweryfikowany adres z cs.cmu.edu - Strona główna