We stand with Ukraine

We stand with Ukraine

Didier Verna

Orcid: 0000-0002-6315-052X

Affiliations:

EPITA, LRDE, Le Kremlin-Bicêtre, France
Télécom ParisTech, France (PhD 2000)

According to our database¹, Didier Verna authored at least 30 papers between 1998 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2024

The Quickref Cohort.

[BibT_eX]

[DOI]

Proceedings of the 17th European Lisp Symposium, 2024

Similarity Problems in Paragraph Justification: An Extension to the Knuth-Plass Algorithm.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Document Engineering 2024, 2024

2023

A Mop-Based Implementation for Method Combinations.

[BibT_eX]

[DOI]

Proceedings of the 16th European Lisp Symposium, 2023

Structural Analysis of the Additive Noise Impact on the α -tree.

[BibT_eX]

[DOI]

Baptiste Esteban

,

Guillaume Tochon

,

,

Proceedings of the Computer Analysis of Images and Patterns, 2023

2022

Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics.

[BibT_eX]

[DOI]

Baptiste Esteban

,

Guillaume Tochon

,

,

Proceedings of the 26th International Conference on Pattern Recognition, 2022

The Cost of Dynamism in Static Languages for Image Processing.

[BibT_eX]

[DOI]

Baptiste Esteban

,

,

Guillaume Tochon

,

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

ETAP: Experimental Typesetting Algorithms Platform.

[BibT_eX]

[DOI]

Proceedings of the 15th European Lisp Symposium, 2022

2021

A Corpus Processing and Analysis Pipeline for Quickref.

[BibT_eX]

[DOI]

Antoine Hacquard

,

Proceedings of the 14th European Lisp Symposium, 2021

2020

(Dynamic (programming paradigms)) Performance and expressivity.

[BibT_eX]

[DOI]

, 2020

2019

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams.

[BibT_eX]

[DOI]

,

ACM Trans. Comput. Log., 2019

Parallelizing Quickref.

[BibT_eX]

[DOI]

Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019

Implementing Baker's SUBTYPEP Decision Procedure.

[BibT_eX]

[DOI]

,

,

Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019

Finite Automata Theory Based Optimization of Conditional Variable Binding.

[BibT_eX]

[DOI]

,

Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019

2018

Lisp, Jazz, Aikido - Three Expressions of a Single Essence.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2018

Method Combinators.

[BibT_eX]

[DOI]

Proceedings of the 11th European Lisp Symposium (ELS 2018), 2018

Strategies for TYPECASE Optimization.

[BibT_eX]

[DOI]

,

Proceedings of the 11th European Lisp Symposium (ELS 2018), 2018

2017

Programmatic Manipulation of Common Lisp Type Specifiers.

[BibT_eX]

[DOI]

,

,

Maximilien Colange

Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

2016

Type-Checking of Heterogeneous Sequences in Common Lisp.

[BibT_eX]

[DOI]

,

,

Proceedings of the 9th European Lisp Symposium (ELS 2016), Kraków, Poland, May 9-10, 2016., 2016

2015

Context-Oriented Image Processing: Reconciling genericity and performance through contexts.

[BibT_eX]

[DOI]

,

François Ripault

Proceedings of the 7th International Workshop on Context-Oriented Programming, 2015

2012

Generic Image Processing with Climb.

[BibT_eX]

[DOI]

,

Christopher Chedeau

,

Proceedings of ELS 2012 - 5th European Lisp Symposium, Zadar, Croatia, April 30, 2012

2011

Biological realms in computer science.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

2010

Revisiting the Visitor: the "Just Do It" Pattern.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2010

CLOX: Common Lisp Objets for XEmacs.

[BibT_eX]

[DOI]

Proceedings of the 3rd European Lisp Symposium (ELS 2010), 2010

2008

Binary Methods Programming: the Clos Perspective.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

Lisp.

[BibT_eX]

[DOI]

,

Charlotte Herzeel

,

Christophe Rhodes

,

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007

Clos Solutions to Binary Methods.

[BibT_eX]

Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

2006

How to Make Lisp Go Faster than C.

[BibT_eX]

Proceedings of the International MultiConference of Engineers and Computer Scientists 2006, 2006

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).

[BibT_eX]

[DOI]

PhD thesis, 2000

1999

Augmented Reality, the other way around.

[BibT_eX]

[DOI]

,

Proceedings of the 5th Eurographics Workshop on Virtual Environments, 1999

1998

Can We Define Virtual Reality? The M<sub>R</sub>IC Model.

[BibT_eX]

[DOI]

,

Proceedings of the Virtual Worlds, First International Conference, 1998

Loading...