Optimal On-Line Decremental Connectivity in Trees. - Stephen Alstrup; Jens P. Secher; Maz Spork (Inf. Process. Lett., 1997)

C-MIX: Specialization of C Programs. - Arne J. Glenstrup; Henning Makholm; Jens P. Secher (Partial Evaluation, 1998)

Perfect supercompilation - master's thesis. - Jens Peter Secher (1999)

On Perfect Supercompilation. - Jens P. Secher; Morten Heine Sørensen (Ershov Memorial Conference, 1999)

Word encoding tree connectivity works. - Stephen Alstrup; Jens P. Secher; Mikkel Thorup (SODA, 2000)

Driving in the Jungle. - Jens P. Secher (PADO, 2001)

From Type Inference to Configuration. - Morten Heine Sørensen; Jens P. Secher (The Essence of Computation, 2002)

From checking to inference via driving and dag grammars. - Jens P. Secher; Morten Heine Sørensen (PEPM, 2002)