Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 9766 | 702 |
Índice h | 37 | 13 |
Índice i10 | 62 | 17 |
Acceso público
Ver todo4 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
- Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Dirección de correo verificada de ucm.es
- Frédéric BlanquiINRIADirección de correo verificada de inria.fr
- Kokichi FUTATSUGIProfessor of Computer Science, JAISTDirección de correo verificada de jaist.ac.jp
- Claude KirchnerInriaDirección de correo verificada de inria.fr
- Adel BouhoulaProfessor of Computer Science, Formal Methods and Cybersecurity. Arabian Gulf UniversityDirección de correo verificada de agu.edu.bh
- Pierre LescanneProfesseur émérite à l'ENS de LyonDirección de correo verificada de ens-lyon.fr
- Pierre-Yves StrubResearch Scientist, PQShieldDirección de correo verificada de strub.nu
- Jan Willem KlopVrije Universiteit AmsterdamDirección de correo verificada de vu.nl
- Hubert Comon-LundhComputer Science professor, ENS CachanDirección de correo verificada de lsv.ens-cachan.fr
- Jiaxiang LIUInstitute of Software, Chinese Academy of SciencesDirección de correo verificada de ios.ac.cn
- Maribel FernandezProfessor of Computer Science, King's College LondonDirección de correo verificada de kcl.ac.uk
- Fernando OrejasUniversitat Politècnica de CatalunyaDirección de correo verificada de lsi.upc.edu
- Vincent van OostromDirección de correo verificada de javakade.nl
- Femke van RaamsdonkVU University AmsterdamDirección de correo verificada de vu.nl
- Jean Goubault-LarrecqDirección de correo verificada de lsv.fr
- Gérard HuetDirecteur de Recherche Emérite InriaDirección de correo verificada de inria.fr
- Gérard BerryProfessor emeritus at Collège de FranceDirección de correo verificada de college-de-france.fr
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueDirección de correo verificada de inria.fr
Seguir
Jean-Pierre Jouannaud
LSV, École Normale Supérieure de Paris-Saclay
Dirección de correo verificada de lix.polytechnique.fr