Open Menu
Close Menu
Home
About
Lectures
Publications
Talks
Projects
News
Publications
Currently under reconstruction.
Baptiste Esteban
,
Guillaume Tochon
,
Edwin Carlinet
,
Didier Verna
(2022).
Généricité 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 Mathé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
« Previous
Next »