Publications

šŸš§ Currently under reconstruction.

Didier Verna (2019). A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams. ACM ToCL.
Cite
Didier Verna (2018). Method Combinators. In ELS'2018.
PDF Cite Slides DOI
Didier Verna (2018). Lisp, Jazz, Aikido -- Three Expressions of a Single Essence. In the <Programming/> Journal, 2(3).
Interview (French) Video PDF Cite DOI
Didier Verna (2015). Context-Oriented Image Processing. COP'2015.
PDF Cite Slides DOI
Didier Verna (2013). TiCL: the Prototype (Star TeX: the Next Generation, Season 2). TUG'2013.
PDF Cite Slides
Didier Verna (2013). The Incredible Tale of the Author Who Didnā€™t Want to Do the Publisherā€™s Job. TUG'2013.
PDF Cite Slides
Didier Verna (2011). Clarification Proposal for CLHS 22.3. CDR 7.
PDF Cite DOI
Didier Verna (2000). TeĢleĢ-opeĢration et ReĢaliteĢ Virtuelle: Assistance aĢ€ lā€™OpeĢrateur par ModeĢlisation Cognitive de ses Intentions.
PDF Cite DOI