Open Menu
Close Menu
Home
About
Lectures
Publications
Talks
Projects
News
Publications
Currently under reconstruction.
Didier Verna
(2024).
Rapport d’Activité en Vue de la Qualification au Titre de Professeur des Universités, Section 27 — Informatique
.
PDF
Cite
DOI
Didier Verna
(2024).
Similarity Problems in Paragraph Justification
. In DocEng'2024.
PDF
Cite
Dataset
Slides
Video
DOI
Didier Verna
(2024).
A Large Scale Format Compliance Checker for TeX Font Metric Files
. In TUG'2024.
PDF
Cite
Slides
Video
DOI
Didier Verna
(2024).
The Quickref Cohort
. In ELS'2024.
PDF
Cite
Code
Slides
Video
DOI
Baptiste Esteban
,
Guillaume Tochon
,
Edwin Carlinet
,
Didier Verna
(2023).
Structural Analysis of the Additive Noise Impact on the Α-Tree
. In CAIP'2023.
PDF
Cite
Didier Verna
(2023).
Interactive and Real-Time Typesetting for Demonstration and Experimentation: ETAP
. TUG'2023.
PDF
Cite
Slides
DOI
Baptiste Esteban
,
Guillaume Tochon
,
Edwin Carlinet
,
Didier Verna
(2023).
Analyse structurelle de l’influence du bruit sur l’arbre alpha
. GRETSI'2023.
PDF
Cite
Didier Verna
(2023).
A MOP-Based Implementation for Method Combinations
. In ELS'2023.
PDF
Cite
Code
Slides
Video
DOI
Baptiste Esteban
,
Guillaume Tochon
,
Edwin Carlinet
,
Didier Verna
(2022).
The Cost of Dynamism in Static Languages for Image Processing
. GPCE'2022.
PDF
Cite
DOI
Baptiste Esteban
,
Guillaume Tochon
,
Edwin Carlinet
,
Didier Verna
(2022).
Généricité Dynamique pour des Algorithmes Morphologiques
. GRETSI'2022.
Cite
Next »