Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 923 | 528 |
h-index | 18 | 13 |
i10-indeks | 27 | 19 |
Offentlig adgang
Se alle13 artikler
1 artikel
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Daniel KroeningAmazonVerificeret mail på amazon.com
- Michael TautschnigQueen Mary University of LondonVerificeret mail på qmul.ac.uk
- Martin BrainCity, University of LondonVerificeret mail på city.ac.uk
- Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterVerificeret mail på manchester.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
- Cristina DavidUniversity of BristolVerificeret mail på bristol.ac.uk
- Tomas VojnarFIT, Brno University of TechnologyVerificeret mail på fit.vutbr.cz
- Viktor MalikPhD. student, Brno University of TechnlogyVerificeret mail på fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerificeret mail på cs.ox.ac.uk
- Pascal KesseliDiffblue Ltd.Verificeret mail på diffblue.com
- Saurabh JoshiSupraOraclesVerificeret mail på cse.iith.ac.in
- Ruben MartinsCarnegie Mellon UniversityVerificeret mail på cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerificeret mail på btc-es.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerificeret mail på colorado.edu
- Laure GonnordUniversity of Lyon - LIPVerificeret mail på ens-lyon.fr
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyVerificeret mail på unimol.it
- Bernd FischerComputer Science Division, Stellenbosch UniversityVerificeret mail på cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di SalernoVerificeret mail på unisa.it
- David MonniauxResearcher in computer science, CNRS, VERIMAGVerificeret mail på univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonVerificeret mail på amazon.com