| |
| 2008 | ||
|---|---|---|
| 10 | EE | John P. Gallagher, Mads Rosendahl: Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. LPAR 2008: 682-696 |
| 2002 | ||
| 9 | EE | Mads Rosendahl: Simple Driving Techniques. The Essence of Computation 2002: 404-419 |
| 1997 | ||
| 8 | Neil D. Jones, Mads Rosendahl: Higher-Order Minimal Function Graphs. Journal of Functional and Logic Programming 1997(2): (1997) | |
| 1994 | ||
| 7 | Neil D. Jones, Mads Rosendahl: Higher-Order Minimal Functional Graphs. ALP 1994: 242-252 | |
| 6 | Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl: Efficient Strictness Analysis of Haskell. SAS 1994: 246-362 | |
| 1993 | ||
| 5 | Mads Rosendahl: Higher-Order Chaotic Iteration Sequences. PLILP 1993: 332-345 | |
| 1992 | ||
| 4 | Mads Rosendahl: Strictness Analysis for Attribute Grammars. PLILP 1992: 145-157 | |
| 3 | Alan Mycroft, Mads Rosendahl: Minimal Function Graphs are not Instrumented. WSA 1992: 60-67 | |
| 1990 | ||
| 2 | Mads Rosendahl: Abstract Interpretation Using Attribute Grammar. WAGA 1990: 143-156 | |
| 1989 | ||
| 1 | EE | Mads Rosendahl: Automatic Complexity Analysis. FPCA 1989: 144-156 |
| 1 | John P. Gallagher | [10] |
| 2 | Peter Hjæresen | [6] |
| 3 | Kristian Damm Jensen | [6] |
| 4 | Neil D. Jones | [7] [8] |
| 5 | Alan Mycroft | [3] |