Publications

šŸš§ Currently under reconstruction.

Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna (2022). GeĢneĢriciteĢ Dynamique pour des Algorithmes Morphologiques. GRETSI'2022.
Cite
Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna (2022). Estimation de la Fonction de Niveau de Bruit pour des Images Couleurs en Utilisant la Morphologie MatheĢmatique. GRETSI'2022.
Cite
Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna (2022). Estimation of the Noise Level Function for Color Images Using Mathematical Morphology and Non-Parametric Statistics. ICPR'2022.
Cite
Didier Verna (2022). ETAP: Experimental Typesetting Algorithms Platform. ELS'2022.
Video PDF Cite Slides DOI
Antoine Hacquard, Didier Verna (2021). A Corpus Processing and Analysis Pipeline for Quickref. ELS'2021.
Video PDF Cite Slides DOI
Didier Verna (2020). (Dynamic (Programming Paradigms)) ;; Performance and Expressivity.
PDF Cite Slides DOI
Didier Verna (2019). Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo. In TUG'2019.
PDF Cite Slides
Didier Verna (2019). Parallelizing Quickref. ELS'2019.
PDF Cite Slides DOI
LĆ©o Valais, Jim Newton, Didier Verna (2019). Implementing Bakerā€™s SUBTYPEP decision procedure. ELS'2019.
PDF Cite
Jim Newton, Didier Verna (2019). Finite Automata Theory Based Optimization of Conditional Variable Binding. ELS'2019.
PDF Cite Slides