| 2002 | ||
|---|---|---|
| 7 | Jens P. Secher, Morten Heine Sørensen: From checking to inference via driving and dag grammars. PEPM 2002: 41-51 | |
| 6 | Morten Heine Sørensen, Jens P. Secher: From Type Inference to Configuration. The Essence of Computation 2002: 436-472 | |
| 2001 | ||
| 5 | Jens P. Secher: Driving in the Jungle. PADO 2001: 198-217 | |
| 2000 | ||
| 4 | Stephen Alstrup, Jens P. Secher, Mikkel Thorup: Word encoding tree connectivity works. SODA 2000: 498-499 | |
| 1999 | ||
| 3 | Jens P. Secher, Morten Heine Sørensen: On Perfect Supercompilation. Ershov Memorial Conference 1999: 113-127 | |
| 1998 | ||
| 2 | Arne J. Glenstrup, Henning Makholm, Jens P. Secher: C-MIX: Specialization of C Programs. Partial Evaluation 1998: 108-154 | |
| 1997 | ||
| 1 | Stephen Alstrup, Jens P. Secher, Maz Spork: Optimal On-Line Decremental Connectivity in Trees. Inf. Process. Lett. 64(4): 161-164 (1997) | |
| 1 | Stephen Alstrup | [1] [4] |
| 2 | Arne J. Glenstrup | [2] |
| 3 | Henning Makholm | [2] |
| 4 | Morten Heine Sørensen | [3] [6] [7] |
| 5 | Maz Spork | [1] |
| 6 | Mikkel Thorup | [4] |