Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 899 | 504 |
h-indeks | 18 | 13 |
i10-indeks | 27 | 18 |
Dostęp publiczny
Wyświetl wszystko13 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Daniel KroeningAmazonZweryfikowany adres z amazon.com
- Michael TautschnigQueen Mary University of LondonZweryfikowany adres z qmul.ac.uk
- Martin BrainCity, University of LondonZweryfikowany adres z city.ac.uk
- Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterZweryfikowany adres z manchester.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- Cristina DavidUniversity of BristolZweryfikowany adres z bristol.ac.uk
- Tomas VojnarFIT, Brno University of TechnologyZweryfikowany adres z fit.vutbr.cz
- Viktor MalikPhD. student, Brno University of TechnlogyZweryfikowany adres z fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKZweryfikowany adres z cs.ox.ac.uk
- Pascal KesseliDiffblue Ltd.Zweryfikowany adres z diffblue.com
- Saurabh JoshiSupraOraclesZweryfikowany adres z cse.iith.ac.in
- Ruben MartinsCarnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGZweryfikowany adres z btc-es.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderZweryfikowany adres z colorado.edu
- Laure GonnordUniversity of Lyon - LIPZweryfikowany adres z ens-lyon.fr
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyZweryfikowany adres z unimol.it
- Bernd FischerComputer Science Division, Stellenbosch UniversityZweryfikowany adres z cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di SalernoZweryfikowany adres z unisa.it
- David MonniauxResearcher in computer science, CNRS, VERIMAGZweryfikowany adres z univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonZweryfikowany adres z amazon.com
Obserwuj
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
Zweryfikowany adres z diffblue.com - Strona główna