 | 2008 |
|---|
| 9 |       | Danny Dubé,
Vincent Beaudoin:
All-Match LZ77 Bit Recycling.
DCC 2008: 513 |
| 8 | | Heidar Pirzadeh,
Danny Dubé:
Encoding the Program Correctness Proofs as Programs in PCC Technology.
PST 2008: 121-132 |
| 7 | | Heidar Pirzadeh,
Danny Dubé:
VEP: a virtual machine for extended proof-carrying code.
VMSec 2008: 9-18 |
| 2007 |
|---|
| 6 | | Danny Dubé,
Vincent Beaudoin:
Bit Recycling with Prefix Codes.
DCC 2007: 379 |
| 2005 |
|---|
| 5 | | Danny Dubé,
Marc Feeley:
BIT: A Very Compact Scheme System for Microcontrollers.
Higher-Order and Symbolic Computation 18(3-4): 271-298 (2005) |
| 2002 |
|---|
| 4 | | Danny Dubé,
Marc Feeley:
A demand-driven adaptive type analysis.
ICFP 2002: 84-97 |
| 2000 |
|---|
| 3 | | Danny Dubé,
Marc Feeley:
Efficiently building a parse tree from a regular expression.
Acta Inf. 37(2): 121-144 (2000) |
| 1996 |
|---|
| 2 |  | Jean-Yves Potvin,
Danny Dubé,
Christian Robillard:
A Hybrid Approach to Vehicle Routing Using Neural Networks and Genetic Algorithms.
Appl. Intell. 6(3): 241-252 (1996) |
| 1994 |
|---|
| 1 | | Jean-Yves Potvin,
Danny Dubé:
Improving a Vehicle Routing Heuristic Through Genetic Search.
International Conference on Evolutionary Computation 1994: 194-199 |
