Crea il mio profilo
Accesso pubblico
Visualizza tutto4 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
- Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Email verificata su ucm.es
- Frédéric BlanquiINRIAEmail verificata su inria.fr
- Kokichi FUTATSUGIProfessor of Computer Science, JAISTEmail verificata su jaist.ac.jp
- Claude KirchnerInriaEmail verificata su inria.fr
- Adel BouhoulaProfessor of Computer Science, Formal Methods and Cybersecurity. Arabian Gulf UniversityEmail verificata su agu.edu.bh
- Jan Willem KlopVrije Universiteit AmsterdamEmail verificata su vu.nl
- Pierre LescanneProfesseur émérite à l'ENS de LyonEmail verificata su ens-lyon.fr
- Pierre-Yves StrubResearch Scientist, PQShieldEmail verificata su strub.nu
- Hubert Comon-LundhComputer Science professor, ENS CachanEmail verificata su lsv.ens-cachan.fr
- Jiaxiang LIUShenzhen UniversityEmail verificata su szu.edu.cn
- Maribel FernandezProfessor of Computer Science, King's College LondonEmail verificata su kcl.ac.uk
- Fernando OrejasUniversitat Politècnica de CatalunyaEmail verificata su lsi.upc.edu
- Vincent van OostromEmail verificata su javakade.nl
- Femke van RaamsdonkVU University AmsterdamEmail verificata su vu.nl
- Jean Goubault-LarrecqEmail verificata su lsv.fr
- Gérard HuetDirecteur de Recherche Emérite InriaEmail verificata su inria.fr
- Gérard BerryProfessor emeritus at Collège de FranceEmail verificata su college-de-france.fr
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueEmail verificata su inria.fr
Segui
Jean-Pierre Jouannaud
LSV, École Normale Supérieure de Paris-Saclay
Email verificata su lix.polytechnique.fr