Didier Verna

ORCID

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 15

Top Venues

ELS

CoRR

ACM Trans. Comput. Log.

COP@ECOOP

Télécom ParisTech, France (PHD)

Education History

Télécom ParisTech, France

PHD

Publications

Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna
Structural Analysis of the Additive Noise Impact on the α -tree. CAIP (2) (2023)
Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna
The Cost of Dynamism in Static Languages for Image Processing. GPCE (2022)
Didier Verna
ETAP: Experimental Typesetting Algorithms Platform. ELS (2022)
Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna
Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics. ICPR (2022)
Antoine Hacquard, Didier Verna
A Corpus Processing and Analysis Pipeline for Quickref. ELS (2021)
Jim E. Newton, Didier Verna
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams. ACM Trans. Comput. Log. 20 (1) (2019)
Léo Valais, Jim E. Newton, Didier Verna
Implementing Baker's SUBTYPEP Decision Procedure. ELS (2019)
Jim E. Newton, Didier Verna
Finite Automata Theory Based Optimization of Conditional Variable Binding. ELS (2019)
Didier Verna
Parallelizing Quickref. ELS (2019)
Didier Verna
Lisp, Jazz, Aikido - Three Expressions of a Single Essence. CoRR (2018)
Didier Verna
Lisp, Jazz, Aikido - Three Expressions of a Single Essence. Art Sci. Eng. Program. 2 (3) (2018)
Didier Verna
Method Combinators. ELS (2018)
Jim E. Newton, Didier Verna
Strategies for TYPECASE Optimization. ELS (2018)
Jim E. Newton, Didier Verna, Maximilien Colange
Programmatic Manipulation of Common Lisp Type Specifiers. ELS (2017)
Jim E. Newton, Akim Demaille, Didier Verna
Type-Checking of Heterogeneous Sequences in Common Lisp. ELS (2016)
Didier Verna, François Ripault
Context-Oriented Image Processing: Reconciling genericity and performance through contexts. COP@ECOOP (2015)
Laurent Senta, Christopher Chedeau, Didier Verna
Generic Image Processing with Climb. ELS (2012)
Didier Verna
Biological realms in computer science. Onward! (2011)
Didier Verna
Revisiting the Visitor: the "Just Do It" Pattern. J. Univers. Comput. Sci. 16 (2) (2010)
Didier Verna
CLOX: Common Lisp Objets for XEmacs. ELS (2010)
Didier Verna
Binary Methods Programming: the CLOS Perspective. ELS (2008)
Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner
Lisp. ECOOP Workshops (2008)
Didier Verna
Binary Methods Programming: the Clos Perspective. J. Univers. Comput. Sci. 14 (20) (2008)
Didier Verna
Clos Solutions to Binary Methods. IMECS (2007)
Didier Verna
How to Make Lisp Go Faster than C. IMECS (2006)
Didier Verna, Alain Grumbach
Augmented Reality, the other way around. EGVE (1999)
Didier Verna, Alain Grumbach
IC Model. Virtual Worlds (1998)

Didier Verna.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Didier Verna