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). Lisp, Jazz, Aikido -- Three Expressions of a Single Essence. In the <Programming/> Journal, 2(3).
Interview (French) Video PDF Cite DOI
Didier Verna (2011). Clarification Proposal for CLHS 22.3. CDR 7.
PDF Cite DOI
Didier Verna (2000). Télé-opération et Réalité Virtuelle: Assistance à l’Opérateur par Modélisation Cognitive de ses Intentions.
PDF Cite DOI