Follow
Didier Verna
Didier Verna
Enseignant-Chercheur en Informatique
Verified email at lrde.epita.fr - Homepage
Title
Cited by
Cited by
Year
Can We Define Virtual Reality? The M R IC Model
D Verna, A Grumbach
International Conference on Virtual Worlds, 29-41, 1998
191998
Beating C in Scientific Computing Applications On the Behavior and Performance of LISP, Part 1
D 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
122006
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
112019
Urbi et Orbi: Unusual design and implementation choices for distributed virtual environments
D Verna, Y Fabre, G Pitel
6th International Conference on Virtual Systems and MultiMedia (VSMM 2000), 2000
92000
Télé-opération et réalité virtuelle: assistance à l’opérateur par modélisation cognitive de ses intentions
D Verna
Telecom ParisTech, 2000
92000
Télé-opération et réalité virtuelle: assistance à l’opérateur par modélisation cognitive de ses intentions
D Verna
Telecom ParisTech, 2000
92000
Programmatic manipulation of Common Lisp type specifiers
J Newton, D Verna, M Colange
European Lisp Symposium 2017, 2017
82017
Type-Checking of Heterogeneous Sequences in Common Lisp
J Newton, A Demaille, D Verna
European Lisp Symposium 2016, 2016
82016
Strategies for typecase optimization
J Newton, D Verna
European Lisp Symposium, 2018
52018
Virtual reality and tele-operation: a common framework
D Verna
Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and …, 2001
52001
CLOS efficiency: instantiation
D Verna
International Lisp Conference ILC 2009, 2009
42009
CLOS Efficiency: Instantiation On the Behavior and Performance of LISP, Part 2.1
D Verna
42009
Parallelizing quickref
D Verna
12th European Lisp Symposium, 2019
32019
Extensible Languages: Blurring the Distinction between DSL and GPL
D Verna
Formal and Practical Aspects of Domain-Specific Languages: Recent …, 2013
32013
Star TEX: the next generation
D Verna
TUGboat-TeX Users Group 33 (2), 199, 2012
32012
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
Method combinators
D Verna
European Lisp Symposium, 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