Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1568 | 423 |
h-indeks | 19 | 12 |
i10-indeks | 27 | 13 |
Dostęp publiczny
Wyświetl wszystko19 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
- Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseZweryfikowany adres z ios.ac.cn
- Ernst Moritz HahnUniversity of TwenteZweryfikowany adres z utwente.nl
- Daniel KroeningAmazonZweryfikowany adres z amazon.com
- Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Zweryfikowany adres z cs.uni-saarland.de
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
- Stefan KieferProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- James WorrellProfessor of Computer Science, Oxford UniversityZweryfikowany adres z cs.ox.ac.uk
- Andrzej MurawskiUniversity of OxfordZweryfikowany adres z cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexZweryfikowany adres z diffblue.com
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
- Ilia PolianUniversity of StuttgartZweryfikowany adres z polian.de
- Cristina DavidUniversity of BristolZweryfikowany adres z bristol.ac.uk
- Sebastian AltmeyerUniversity of AugsburgZweryfikowany adres z es-augsburg.de
- Daniel GrundSaarland UniversityZweryfikowany adres z cs.uni-saarland.de
- Roberto SegalaUniversità di VeronaZweryfikowany adres z univr.it
- Kumar MadhukarTata Research Development and Design CenterZweryfikowany adres z tcs.com
- David ParkerProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceZweryfikowany adres z glasgow.ac.uk