Follow
Didier Verna
Didier Verna
Enseignant-Chercheur en Informatique
Verified email at lrde.epita.fr - Homepage
Title
Cited by
Cited by
Year
A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams
J Newton, D Verna
ACM Transactions on Computational Logic (TOCL) 20 (1), 1-36, 2019
192019
Can We Define Virtual Reality? The MRIC Model
D Verna, A Grumbach
International Conference on Virtual Worlds, 29-41, 1998
171998
Beating C in Scientific Computing Applications On the Behavior and Performance of LISP, Part 1
DE Verna
ELW 2006 third European Lisp Workshop, 2006
142006
How to Make Lisp Go Faster than C.
D Verna
IAENG International Journal of Computer Science 32 (4), 499-504, 2006
132006
Télé-opération et réalité virtuelle: assistance à l’opérateur par modélisation cognitive de ses intentions
DE Verna
Telecom ParisTech, 2000
102000
Télé-opération et réalité virtuelle: assistance à l’opérateur par modélisation cognitive de ses intentions
DE Verna
Telecom ParisTech, 2000
102000
Programmatic manipulation of Common Lisp type specifiers
JE Newton, DE Verna, M Colange
European Lisp Symposium 2017, 2017
82017
Type-Checking of Heterogeneous Sequences in Common Lisp
JE Newton, AE Demaille, DE Verna
European Lisp Symposium 2016, 2016
82016
Urbi et Orbi: Unusual design and implementation choices for distributed virtual environments
DE Verna, Y Fabre, G Pitel
6th International Conference on Virtual Systems and MultiMedia (VSMM 2000), 2000
82000
Virtual reality and tele-operation: a common framework
D Verna
Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and …, 2001
72001
Strategies for typecase optimization
JE Newton, DE Verna
European Lisp Symposium, 2018
52018
Extensible Languages: Blurring the Distinction between DSL and GPL
D Verna
Formal and Practical Aspects of Domain-Specific Languages: Recent …, 2013
52013
Star TEX: the next generation
D Verna
TUGboat-TeX Users Group 33 (2), 199, 2012
52012
Method combinators
DE Verna
European Lisp Symposium, 2018
42018
CLOS efficiency: instantiation
DE Verna
International Lisp Conference ILC 2009, 2009
42009
CLOS Efficiency: Instantiation-On the Behavior and Performance of LISP, Part 2.1
D Verna
Proceedings of the International Lisp Conference, 2009
42009
Parallelizing quickref
DE Verna
12th European Lisp Symposium, 2019
32019
Binary methods programming: the Clos perspective
D Verna
ELS European Lisp Symposium 2008, 2008
32008
Recognizing heterogeneous sequences by rational type expression
JE Newton, D Verna
Proceedings of the 3rd ACM SIGPLAN International Workshop on Meta …, 2018
22018
Generic image processing with Climb
L Senta, C Chedeau, D Verna
European Lisp Symposium 2012, 9-12, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20