- 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.95
- Jouvelot, P. Analyse Statique Comportementale des Langages
de Programmation (Static behavioral Analysis of Programming Languages),
CRI-A/254 (Habilitation Thesis - in French), Ecole des mines de Paris,
Dec.93
- Consel, C., and Jouvelot, P. Separate Polyvariant
Binding-Time Analysis, Oregon Graduate Institute Tech. Rep. CS/E
93-006, Mar.93
- 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.92
- Jouvelot, P., and Triolet, R. NewGen: A
Language-Independent Program Generator, CRI-191, Ecole des mines de
Paris, Jul.89
- Jouvelot, P., and Gifford, D. K. Communication Effects for
Message-Based Concurrency, MIT/LCS-TM 386, Mar.89
- Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon,
M. A. FX-87 Reference Manual, MIT/LCS-TR 407, Sep.87
- Azegouar, A., Dehbonei, B., Jouvelot, P., and Memmi, G. Réflexions sur la Vectorisation et la Parallélisation (Thoughts on
Vectorization and Parallelization), Bull DSG/CRG/87011, May.87
- Jouvelot, P. Parallélisation Sémantique: Une Approche
Dénotationnelle Non-Standard pour la Parallélisation de Programmes
Impératifs Séquentiels (Semantic Parallelization: A Non-Standard
Denotational Approach for the Parallelization of Imperative Sequential
Programs), MASI TechRep 174 (PhD Thesis Paris 6 - in French), Feb.87
- Jouvelot, P. Evaluation Sémantique des Conditions de
Bernstein (Semantic Evaluation of Bernstein Conditions), MASI TechRep
70, Univ. Paris 6, Feb.85