Didier Verna

39 papers B 5C 1Journal 7Unranked 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
Call for Papers: 26th ACM Symposium on Document Engineering (DocEng 2026).
SIGWEB Newsl.
Jean Hennebert, Didier Verna, Besat Kassaie
2026 — conf
The Art, Science, and Craftsmanship of Typography (Keynote).
Programming
Didier Verna
2025 J jnl
Advancing Security in Software-Defined Vehicles: A Comprehensive Survey and Taxonomy.
CoRR
Khaoula Sghaier, Badis Hammi, Ghada Gharbi, Pierre Merdrignac, Pierre Parrend, Didier Verna
2025 B conf
Session details: Document Analysis and Generation.
DocEng
Didier Verna
2025 B conf
Towards More Homogeneous Paragraphs.
DocEng
Didier Verna
2024 B conf
Similarity Problems in Paragraph Justification: An Extension to the Knuth-Plass Algorithm.
DocEng
Didier Verna
2024 — conf
The Quickref Cohort.
ELS
Didier Verna
2023 — conf
A Mop-Based Implementation for Method Combinations.
ELS
Didier Verna
2023 — conf
Structural Analysis of the Additive Noise Impact on the α -tree.
CAIP (2)
Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna
2022 — conf
ETAP: Experimental Typesetting Algorithms Platform.
ELS
Didier Verna
2022 B conf
Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics.
ICPR
Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna
2022 B conf
The Cost of Dynamism in Static Languages for Image Processing.
GPCE
Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna
2021 — conf
A Corpus Processing and Analysis Pipeline for Quickref.
ELS
Antoine Hacquard, Didier Verna
2020 — book
(Dynamic (programming paradigms)) Performance and expressivity.
Didier Verna
2019 J jnl
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams.
ACM Trans. Comput. Log.
Jim E. Newton, Didier Verna
2019 — conf
Finite Automata Theory Based Optimization of Conditional Variable Binding.
ELS
Jim E. Newton, Didier Verna
2019 — conf
Implementing Baker's SUBTYPEP Decision Procedure.
ELS
Léo Valais, Jim E. Newton, Didier Verna
2019 — conf
Parallelizing Quickref.
ELS
Didier Verna
2018 J jnl
Lisp, Jazz, Aikido - Three Expressions of a Single Essence.
CoRR
Didier Verna
2018 J jnl
Lisp, Jazz, Aikido - Three Expressions of a Single Essence.
Art Sci. Eng. Program.
Didier Verna
2018 — conf
Method Combinators.
ELS
Didier Verna
2018 — conf
Strategies for TYPECASE Optimization.
ELS
Jim E. Newton, Didier Verna
2017 — conf
Programmatic Manipulation of Common Lisp Type Specifiers.
ELS
Jim E. Newton, Didier Verna, Maximilien Colange
2016 — conf
Type-Checking of Heterogeneous Sequences in Common Lisp.
ELS
Jim E. Newton, Akim Demaille, Didier Verna
2015 — conf
Context-Oriented Image Processing: Reconciling genericity and performance through contexts.
COP@ECOOP
Didier Verna, François Ripault
2014 — ed.
International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014
ILC
Marc Feeley, Didier Verna
2012 — conf
Generic Image Processing with Climb.
ELS
Laurent Senta, Christopher Chedeau, Didier Verna
2011 — conf
Biological realms in computer science.
Onward!
Didier Verna
2011 — ed.
Proceedings of ELS 2011 - 4th European Lisp Symposium, Hamburg, Germany, March 31 - April 1, 2011.
ELS
Didier Verna
2010 — conf
CLOX: Common Lisp Objets for XEmacs.
ELS
Didier Verna
2010 J jnl
Revisiting the Visitor: the "Just Do It" Pattern.
J. Univers. Comput. Sci.
Didier Verna
2008 — conf
Binary Methods Programming: the CLOS Perspective.
ELS
Didier Verna
2008 J jnl
Binary Methods Programming: the Clos Perspective.
J. Univers. Comput. Sci.
Didier Verna
2008 — conf
Lisp.
ECOOP Workshops
Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner
2007 — conf
Clos Solutions to Binary Methods.
IMECS
Didier Verna
2006 — conf
How to Make Lisp Go Faster than C.
IMECS
Didier Verna
2000 — —
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
1999 C conf
Augmented Reality, the other way around.
EGVE
Didier Verna, Alain Grumbach
1998 — conf
Can We Define Virtual Reality? The M
Virtual Worlds
Didier Verna, Alain Grumbach