自分のプロフィールを作成
オープン アクセス
すべて表示4 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaign確認したメール アドレス: illinois.edu
- Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)確認したメール アドレス: ucm.es
- Frédéric BlanquiINRIA確認したメール アドレス: inria.fr
- Kokichi FUTATSUGIProfessor of Computer Science, JAIST確認したメール アドレス: jaist.ac.jp
- Claude KirchnerInria確認したメール アドレス: inria.fr
- Adel BouhoulaProfessor of Computer Science, Formal Methods and Cybersecurity. Arabian Gulf University確認したメール アドレス: agu.edu.bh
- Jan Willem KlopVrije Universiteit Amsterdam確認したメール アドレス: vu.nl
- Pierre LescanneProfesseur émérite à l'ENS de Lyon確認したメール アドレス: ens-lyon.fr
- Pierre-Yves StrubResearch Scientist, PQShield確認したメール アドレス: strub.nu
- Hubert Comon-LundhComputer Science professor, ENS Cachan確認したメール アドレス: lsv.ens-cachan.fr
- Jiaxiang LIUShenzhen University確認したメール アドレス: szu.edu.cn
- Maribel FernandezProfessor of Computer Science, King's College London確認したメール アドレス: kcl.ac.uk
- Fernando OrejasUniversitat Politècnica de Catalunya確認したメール アドレス: lsi.upc.edu
- Vincent van Oostrom確認したメール アドレス: javakade.nl
- Femke van RaamsdonkVU University Amsterdam確認したメール アドレス: vu.nl
- Jean Goubault-Larrecq確認したメール アドレス: lsv.fr
- Gérard HuetDirecteur de Recherche Emérite Inria確認したメール アドレス: inria.fr
- Gérard BerryProfessor emeritus at Collège de France確認したメール アドレス: college-de-france.fr
- Frank PfenningProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Dale MillerInria-Saclay and LIX, Ecole Polytechnique確認したメール アドレス: inria.fr
フォロー
Jean-Pierre Jouannaud
LSV, École Normale Supérieure de Paris-Saclay
確認したメール アドレス: lix.polytechnique.fr