| |
| 2007 | ||
|---|---|---|
| 4 | EE | Neil D. Jones, Nils Andersen: Flow analysis of lazy higher-order functional programs. Theor. Comput. Sci. 375(1-3): 120-136 (2007) |
| 1997 | ||
| 3 | EE | Nils Andersen: Linear Time Simulation of Invertible Non-Deterministic Stack Algorithms. J. UCS 3(3): 148-171 (1997) |
| 1994 | ||
| 2 | Nils Andersen, Neil D. Jones: Generalizing Cook's Transformation to Imperative Stack Programs. Results and Trends in Theoretical Computer Science 1994: 1-18 | |
| 1990 | ||
| 1 | Nils Andersen: A General Transposition Method for a Matrix on Auxiliary Store. BIT 30(1): 2-16 (1990) | |
| 1 | Neil D. Jones | [2] [4] |