Can We Define Virtual Reality? The MRIC Model. - Didier Verna; Alain Grumbach (Virtual Worlds, 1998)

Augmented Reality, the other way around. - Didier Verna; Alain Grumbach (EGVE, 1999)

Télé-Opération et Réalité Virtuelle : assistance à l'opérateur par modélisation cognitive de ses intentions. (Tele-Operation and Virtual Reality: assisting the operator by cognitive modelling of his intentions). - Didier Verna (2000)

How to Make Lisp Go Faster than C. - Didier Verna (IMECS, 2006)

Clos Solutions to Binary Methods. - Didier Verna (IMECS, 2007)

Lisp. - Didier Verna; Charlotte Herzeel; Christophe Rhodes; Hans Hübner (ECOOP Workshops, 2008)

Binary Methods Programming: the Clos Perspective. - Didier Verna (J. Univers. Comput. Sci., 2008)

CLOX: Common Lisp Objets for XEmacs. - Didier Verna (ELS, 2010)

Revisiting the Visitor: the "Just Do It" Pattern. - Didier Verna (J. Univers. Comput. Sci., 2010)

Biological realms in computer science. - Didier Verna (Onward!, 2011)

Generic Image Processing with Climb. - Laurent Senta; Christopher Chedeau; Didier Verna (ELS, 2012)

Context-Oriented Image Processing: Reconciling genericity and performance through contexts. - Didier Verna; François Ripault (COP@ECOOP, 2015)

Type-Checking of Heterogeneous Sequences in Common Lisp. - Jim E. Newton; Akim Demaille; Didier Verna (ELS, 2016)

Programmatic Manipulation of Common Lisp Type Specifiers. - Jim E. Newton; Didier Verna; Maximilien Colange (ELS, 2017)

Strategies for TYPECASE Optimization. - Jim E. Newton; Didier Verna (ELS, 2018)

Method Combinators. - Didier Verna (ELS, 2018)

Lisp, Jazz, Aikido - Three Expressions of a Single Essence. - Didier Verna (Art Sci. Eng. Program., 2018)

Finite Automata Theory Based Optimization of Conditional Variable Binding. - Jim E. Newton; Didier Verna (ELS, 2019)

Implementing Baker's SUBTYPEP Decision Procedure. - Léo Valais; Jim E. Newton; Didier Verna (ELS, 2019)

Parallelizing Quickref. - Didier Verna (ELS, 2019)

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams. - Jim E. Newton; Didier Verna (ACM Trans. Comput. Log., 2019)

(Dynamic (programming paradigms)) Performance and expressivity. - Didier Verna (2020)

A Corpus Processing and Analysis Pipeline for Quickref. - Antoine Hacquard; Didier Verna (ELS, 2021)

ETAP: Experimental Typesetting Algorithms Platform. - Didier Verna (ELS, 2022)

The Cost of Dynamism in Static Languages for Image Processing. - Baptiste Esteban; Edwin Carlinet; Guillaume Tochon; Didier Verna (GPCE, 2022)

Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics. - Baptiste Esteban; Guillaume Tochon; Edwin Carlinet; Didier Verna (ICPR, 2022)

Structural Analysis of the Additive Noise Impact on the α -tree. - Baptiste Esteban; Guillaume Tochon; Edwin Carlinet; Didier Verna (CAIP (2), 2023)

A Mop-Based Implementation for Method Combinations. - Didier Verna (ELS, 2023)

Similarity Problems in Paragraph Justification: An Extension to the Knuth-Plass Algorithm. - Didier Verna (DocEng, 2024)

The Quickref Cohort. - Didier Verna (ELS, 2024)