Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Verified email at ucm.es
- Frédéric BlanquiINRIAVerified email at inria.fr
- Kokichi FUTATSUGIProfessor of Computer Science, JAISTVerified email at jaist.ac.jp
- Claude KirchnerInriaVerified email at inria.fr
- Adel BouhoulaProfessor of Computer Science, Formal Methods and Cybersecurity. Arabian Gulf UniversityVerified email at agu.edu.bh
- Pierre LescanneProfesseur émérite à l'ENS de LyonVerified email at ens-lyon.fr
- Pierre-Yves StrubResearch Scientist, PQShieldVerified email at strub.nu
- Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
- Jiaxiang LIUInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
- Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
- Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
- Fernando OrejasUniversitat Politècnica de CatalunyaVerified email at lsi.upc.edu
- Vincent van OostromVerified email at javakade.nl
- Mizuhito OgawaJAISTVerified email at jaist.ac.jp
- Femke van RaamsdonkVU University AmsterdamVerified email at vu.nl
- Jean Goubault-LarrecqVerified email at lsv.fr
- Gérard HuetDirecteur de Recherche Emérite InriaVerified email at inria.fr
- Gérard BerryProfessor emeritus at Collège de FranceVerified email at college-de-france.fr
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Follow
Jean-Pierre Jouannaud
LSV, École Normale Supérieure de Paris-Saclay
Verified email at lix.polytechnique.fr