| 1999 |
| Thomas Noll, H. Vogler.
On the universality of higher-order attribute grammars,
Volume 99/01 of Technische Berichte / Technische Universität Dresden, Fakultät Informatik, Techn. Univ., Fakultät Informatik, 1999. |
| Thomas Noll, Heiko Vogler.
On the universality of higher-order attributed tree transducers,
Volume 99/05 of Technische Berichte / Technische Universität Dresden, Fakultät Informatik, pages 23 S. : graph. Darst., TU, Fak. Informatik, 1999. |
| DOI | Martin Leucker, Thomas Noll.
Rapid prototyping of specification language implementations,
IEEE / IFIP International Symposium on Rapid System Prototyping. Proceedings, pages 60-65, IEEE Computer Soc., 1999. |
| K. Indermark.
Semantik rekursiver Funktionsdefinitionen,
Forschung, Vieweg, 1999. |
| DOI | María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal.
Specialization of inductively sequential functional logic programs,
pages 273-283, ACM, Association for Computing Machinery Press, 1999. |
| J. Henriksen, M. Leucker.
The automata-theoretic approach works for global trace logics,
Uppsala University, 1999. |
| M. Lange, M. Leucker, Thomas Noll, S. Tobies.
Truth - a verification platform for concurrent systems, tool support for system specification, development and verification,
Volume 1742 of LNCS, pages 150-159, Springer, 1999. |
| DOI | O. Chitil.
Typer inference builds a short cut to deforestation,
pages 249-260, ACM, 1999. |
| DOI | Frank Günter Huch.
Verification of Erlang programs using abstract interpretation and model checking,
pages 261-272, ACM, 1999. |
| Frank Günter Huch.
Verification of Erlang programs using abstract interpretation and model checking - extended version,
Volume 99-02 of Aachener Informatik-Berichte, RWTH, 1999. |
| K. Indermark.
Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik,
Forschung, Vieweg, 1999. |
| 1998 |
| Full Text | George Horatiu Botorog.
High level parallel programming and the efficient implementation of numerical algorithms,
Volume 97,15 of Aachener Informatik-Berichte, pages XII, 145 S. : graph. Darst., RWTH, Fachgruppe Informatik, 1998. |
| 1997 |
| Markus Mohnen.
Optimising the memory management of higher order functional programs,
Volume 97,13 of Aachener Informatik-Berichte, pages III, 145 S. : graph. Darst., RWTH, Fachgruppe Informatik, 1997. |
| 1996 |
| DOI | Katia Gladitz, Herbert Kuchen.
Shared memory implementation of the gamma-operation,
pages 577-591, Elsevier, 1996. |
| DOI | George Horatiu Botorog, Herbert Kuchen.
Skil,
pages 243-252, IEEE Computer Society Press, 1996. |
| 1995 |
| DOI | Rita Loogen, Stephan Winkler.
Dynamic detection of determinism in functional logic languages,
pages 59-87, Elsevier, 1995. |
| 1994 |
| H. Kuchen, H. Stoltze.
A data-parallel functional language for multicomputers,
pages 139-148, IOS Press [u.a.], 1994. |
| M. Raus, W. Ameling.
Parallel backpropagation implementation with mimd systems,
pages 407-418, IOS Press [u.a.], 1994. |
| 1993 |
| DOI | Rita Loogen, Francisco López Fraguas, Mario Rodríguez Artalejo.
A demand-driven computation strategy for lazy narrowing,
Volume 714 of LNCS, pages 184-200, Springer, 1993. |
| DOI | Rance Cleaveland, Bernhard Steffen.
A linear-time model-checking algorithm for the alternation-free modal mu-calculus,
pages 121-147, Springer, 1993. |
| G. Hogen, R. Loogen.
A new stack technique for the management of runtime structures in distributed implementations,
Volume 93,3 of Aachener Inform.-Ber., 1993. |
| W. Hans, F. Sáenz, S. Winkler.
A VHDL specification of a shared memory parallel machine for Babel,
Volume 93,19 of Aachener Inform.-Ber., 1993. |
| Karsten Bohlmann, Rita Loogen, Y. Ortega-Mallén.
Concurrent functional processes,
Volume 93,21 of Tech. rep., 1993. |
| C. Weise, T. Margaria.
Continuous real time models in practice,
1993. |
| DOI | Tiziana Margaria, Bernhard Steffen.
Distinguishing formulas for free,
pages 105-110, 1993. |