Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 923 | 528 |
h-index | 18 | 13 |
i10-index | 27 | 19 |
Acces public
Afișați-le pe toate13 articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Daniel KroeningAmazonAdresă de e-mail confirmată pe amazon.com
- Michael TautschnigQueen Mary University of LondonAdresă de e-mail confirmată pe qmul.ac.uk
- Martin BrainCity, University of LondonAdresă de e-mail confirmată pe city.ac.uk
- Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterAdresă de e-mail confirmată pe manchester.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
- Cristina DavidUniversity of BristolAdresă de e-mail confirmată pe bristol.ac.uk
- Tomas VojnarFIT, Brno University of TechnologyAdresă de e-mail confirmată pe fit.vutbr.cz
- Viktor MalikPhD. student, Brno University of TechnlogyAdresă de e-mail confirmată pe fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresă de e-mail confirmată pe cs.ox.ac.uk
- Pascal KesseliDiffblue Ltd.Adresă de e-mail confirmată pe diffblue.com
- Saurabh JoshiSupraOraclesAdresă de e-mail confirmată pe cse.iith.ac.in
- Ruben MartinsCarnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGAdresă de e-mail confirmată pe btc-es.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderAdresă de e-mail confirmată pe colorado.edu
- Laure GonnordUniversity of Lyon - LIPAdresă de e-mail confirmată pe ens-lyon.fr
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyAdresă de e-mail confirmată pe unimol.it
- Bernd FischerComputer Science Division, Stellenbosch UniversityAdresă de e-mail confirmată pe cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di SalernoAdresă de e-mail confirmată pe unisa.it
- David MonniauxResearcher in computer science, CNRS, VERIMAGAdresă de e-mail confirmată pe univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonAdresă de e-mail confirmată pe amazon.com
Urmăriți
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
Adresă de e-mail confirmată pe diffblue.com - Pagina de pornire