Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 15636 | 6300 |
h-index | 60 | 36 |
i10-index | 201 | 118 |
Acces public
Afișați-le pe toate61 de articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelAdresă de e-mail confirmată pe ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandAdresă de e-mail confirmată pe usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienAdresă de e-mail confirmată pe tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresă de e-mail confirmată pe cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAAdresă de e-mail confirmată pe northeastern.edu
- Michael TautschnigQueen Mary University of LondonAdresă de e-mail confirmată pe qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexAdresă de e-mail confirmată pe diffblue.com
- Youcheng SunLecturer, University of ManchesterAdresă de e-mail confirmată pe manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgAdresă de e-mail confirmată pe ur.de
- Vijay D'SilvaGoogle Inc.Adresă de e-mail confirmată pe google.com
- Cristina DavidUniversity of BristolAdresă de e-mail confirmată pe bristol.ac.uk
- Martin BrainCity, University of LondonAdresă de e-mail confirmată pe city.ac.uk
- Alastair DonaldsonImperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
- Leopold HallerGoogleAdresă de e-mail confirmată pe google.com
- Pascal KesseliDiffblue Ltd.Adresă de e-mail confirmată pe diffblue.com
- Hana ChocklerKing's College LondonAdresă de e-mail confirmată pe kcl.ac.uk
- Christoph M. WintersteigerImandraAdresă de e-mail confirmată pe imandra.ai
- Alexander KaiserUniversity of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk