- Jouvelot, P., and Gallego Arias, E. A Foundational Framework for the Specification and Verification of Mechanism Design (poster). CRI-E/458, Mines Paris, Jun.22
- Gkotse, B. Jouvelot, P., and Ravotti, F. Ontology Embeddings with ontowalk2vec: an Application to UI Personalisation. CRI-E/456, Mines Paris, Feb. 2022
- Jouvelot, P., Massoni Sguerra, L. and Gallego Arias, E. J. Towards a Generic CoQ Proof of the Truthfulness of Vickrey–Clarke–Groves Auctions for Search. CRI-A/748, MINES ParisTech, Mar. 2021
- Khaldi, D., Jouvelot, P., Irigoin, F., Ancourt, C., and Chapman, B. The Incremental Design of Parallel Compiler
Intermediate Representations using SPIRE. CRI-A/574, MINES ParisTech, Aug. 2014.
- Jouvelot, P. Projet Barracuda: Etude Audio/Vidéo.
Rapport CISI/CNES, Mai. 1995
- Jouvelot, P. Analyse statique comportementale des langages
de programmation.
CRI-A/254 (Mémoire d'habilitation de maître de recherche), Ecole des mines de Paris,
Dec. 1993
- Consel, C., and Jouvelot, P. Separate Polyvariant
Binding-Time Analysis. Oregon Graduate Institute Tech. Rep. CS/E
93-006, Mar. 1993
- Gifford, D. K., Jouvelot, P., Sheldon, M. A., and O'Toole, J. W.
Report on the FX-91 Programming Language. MIT/LCS-TR 531, Feb. 1992
- Jouvelot, P., and Triolet, R. NewGen: A
Language-Independent Program Generator. CRI-191, Ecole des mines de
Paris, Jul. 1989
- Jouvelot, P., and Gifford, D. K. Communication Effects for
Message-Based Concurrency. MIT/LCS-TM 386, Mar. 1989
- Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon,
M. A. FX-87 Reference Manual. MIT/LCS-TR 407, Sep. 1987
- Azegouar, A., Dehbonei, B., Jouvelot, P., and Memmi, G. Réflexions sur la Vectorisation et la Parallélisation. Bull DSG/CRG/87011, May. 1987
- Jouvelot, P. Parallélisation Sémantique: Une Approche
Dénotationnelle Non-Standard pour la Parallélisation de Programmes
Impératifs Séquentiels. MASI TechRep 174 (thèse de doctorat), Feb. 1987
- Jouvelot, P. Evaluation sémantique des conditions de
Bernstein. MASI TechRep
70, Univ. Paris 6, Feb. 1985