| 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 | 19 | 2019 |
| Can We Define Virtual Reality? The MRIC Model D Verna, A Grumbach International Conference on Virtual Worlds, 29-41, 1998 | 16 | 1998 |
| Beating C in Scientific Computing Applications On the Behavior and Performance of LISP, Part 1 DE Verna ELW 2006 third European Lisp Workshop, 2006 | 14 | 2006 |
| How to Make Lisp Go Faster than C. D Verna IAENG International Journal of Computer Science 32 (4), 499-504, 2006 | 13 | 2006 |
| Télé-opération et réalité virtuelle: assistance à l’opérateur par modélisation cognitive de ses intentions DE Verna Telecom ParisTech, 2000 | 10 | 2000 |
| Programmatic manipulation of Common Lisp type specifiers JE Newton, DE Verna, M Colange European Lisp Symposium 2017, 2017 | 9 | 2017 |
| Type-Checking of Heterogeneous Sequences in Common Lisp JE Newton, AE Demaille, DE Verna European Lisp Symposium 2016, 2016 | 9 | 2016 |
| 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 | 8 | 2000 |
| Virtual reality and tele-operation: a common framework D Verna Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and …, 2001 | 7 | 2001 |
| Strategies for typecase optimization JE Newton, DE Verna European Lisp Symposium, 2018 | 5 | 2018 |
| Extensible Languages: Blurring the Distinction between DSL and GPL D Verna Formal and Practical Aspects of Domain-Specific Languages: Recent …, 2013 | 5 | 2013 |
| Parallelizing quickref DE Verna 12th European Lisp Symposium, 2019 | 4 | 2019 |
| Method combinators DE Verna European Lisp Symposium, 2018 | 4 | 2018 |
| Star TEX: the next generation D Verna TUGboat-TeX Users Group 33 (2), 199, 2012 | 4 | 2012 |
| CLOS efficiency: instantiation DE Verna International Lisp Conference ILC 2009, 2009 | 4 | 2009 |
| CLOS Efficiency: Instantiation-On the Behavior and Performance of LISP, Part 2.1 D Verna Proceedings of the International Lisp Conference, 2009 | 4 | 2009 |
| Binary methods programming: the Clos perspective D Verna ELS European Lisp Symposium 2008, 2008 | 3 | 2008 |
| Définir le virtuel: une approche cognitive D Verna ReViCo 99, 1999 | 3 | 1999 |
| A Corpus Processing and Analysis Pipeline for Quickref A Hacquard, DE Verna 14th European Lisp Symposium, 2021 | 2 | 2021 |
| Quickref: Common Lisp reference documentation as a stress test for Texinfo DE Verna TUGboat 40 (2), 119--125, 2019 | 2 | 2019 |
