| 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. |
| T. Richert.
Management of distributed dynamic data with algorithmic skeletons,
Imperial College Press, 1999. |
| J. Köller, Markus Mohnen.
A new class of functions for abstract interpretation,
Volume 1694 of LNCS, pages 248-263, Springer, 1999. |
| Markus Mohnen.
Fixed points in metrified quasi ordered sets,
Informatik aktuell, Springer, 1999. |
| M. Leucker.
Model checking games for the alternation free mu-calculus and alternating automata,
Volume 1705 : Lecture notes in artificial intelligence of LNCS, pages 77-91, 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. |
| 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. |
| DOI | Michael Hanus, Salvador Lucas.
A semantics for program analysis in narrowing-based functional logic languages,
Volume 1722 of LNCS, pages 353-368, Springer, 1999. |
| DOI | Michael Hanus.
Distributed programming in a multi-paradigm declarative language,
Volume 1702 of LNCS, pages 188-205, Springer, 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. |
| 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 | George Horatiu Botorog, Herbert Kuchen.
Skil,
pages 243-252, IEEE Computer Society Press, 1996. |
| DOI | Katia Gladitz, Herbert Kuchen.
Shared memory implementation of the gamma-operation,
pages 577-591, Elsevier, 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 |
| H. Stoltze.
Parallele funktionale Programmierung mit algorithmischen Skleletten,
Volume 93,7 of Aachener Inform.-Ber., pages 367-382, 1993. |
| DOI | Guido Hogen, Rita Loogen.
Stack management of runtime structures in distributed implementations,
Volume 714 of Lect. notes in comput. sci., pages 416-417, 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 | Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans.
Efficient lazy narrowing using demandedness analysis,
Volume 714 of Lect. notes in comput. sci., pages 167-183, 1993. |
| O. Burkart, B. Steffen.
Pushdown processes,
Volume 93,10 of Aachener Inform.-Ber., 1993. |
| W. Hans, H. Kuchen, S. Winkler.
Full indexing for lazy narrowing,
Volume 93,18 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. |
