Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 190 | 162 |
h-indeks | 8 | 7 |
i10-indeks | 8 | 7 |
Dostęp publiczny
Wyświetl wszystko18 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Angelo FerrandoAssistant Professor at the University of Modena and Reggio EmiliaZweryfikowany adres z unimore.it
- Frank WolterDepartment of Computer Science, University of LiverpoolZweryfikowany adres z liverpool.ac.uk
- Clare DixonUniversity of ManchesterZweryfikowany adres z manchester.ac.uk
- Renate A SchmidtSchool of Computer Science, The University of ManchesterZweryfikowany adres z cs.man.ac.uk
- Rafael C. CardosoLecturer at the University of AberdeenZweryfikowany adres z manchester.ac.uk
- André HernichUniversity of LiverpoolZweryfikowany adres z liverpool.ac.uk
- Carsten LutzProfessor of Computer Science, University of LeipzigZweryfikowany adres z informatik.uni-leipzig.de
- Michael FisherProfessor of Computer Science, University of ManchesterZweryfikowany adres z manchester.ac.uk
- Matt LuckcuckAssistant Professor of Computer ScienceZweryfikowany adres z nottingham.ac.uk
- Ullrich HustadtReader, Department of Computer Science, University of LiverpoolZweryfikowany adres z liverpool.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolZweryfikowany adres z liverpool.ac.uk
- Michael ZakharyaschevBirkbeck, University of LondonZweryfikowany adres z dcs.bbk.ac.uk
- Jean Christoph JungTU DortmundZweryfikowany adres z tu-dortmund.de
- Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH
Obserwuj
Fabio Papacchini
Lecturer in Computer Science, Lancaster University Leipzig, Germany
Zweryfikowany adres z lancaster.ac.uk - Strona główna