Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 13771 | 2712 |
Índice h | 54 | 29 |
Índice i10 | 119 | 56 |
Acceso público
Ver todo23 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Grigore RosuUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityDirección de correo verificada de cs.sun.ac.za
Giles RegerAmazon and University of ManchesterDirección de correo verificada de manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyDirección de correo verificada de cs.berkeley.edu
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityDirección de correo verificada de nau.edu
Kim G. LarsenDirector, Professor Aalborg UniversityDirección de correo verificada de cs.aau.dk
Saddek BensalemUniversité Grenoble Alpes, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
Rich WashingtonGoogleDirección de correo verificada de google.com
Natarajan ShankarSRI International Computer Science LaboratoryDirección de correo verificada de csl.sri.com
Gerard HolzmannNimble ResearchDirección de correo verificada de nimbleresearch.com
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Radu GrosuProfessor of Computer ScienceDirección de correo verificada de tuwien.ac.at
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainDirección de correo verificada de uclouvain.be
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkDirección de correo verificada de dtu.dk
Ezio BartocciFaculty of Informatics, TU WienDirección de correo verificada de tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.sunysb.edu
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMDirección de correo verificada de uni-paderborn.de
Gordon J. PaceDepartment of Computer Science, University of MaltaDirección de correo verificada de um.edu.mt
Oleg SokolskyUniversity of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Seguir![Klaus Havelund](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=yr-qU5MAAAAJ&citpid=3)
Klaus Havelund
Senior Research Scientist, Jet Propulsion Laboratory
Dirección de correo verificada de jpl.nasa.gov - Página principal