| 1993 |
| H. Kuchen.
Distributed memory implementation of a data parallel functional language,
Volume 76 of Programm. methodol. group. Rep., 1993. |
| H. Kuchen, R. Plasmeijer, H. Stoltze.
Efficient distributed memory implementation of functional languages,
Volume 93,21 of Tech. rep., pages 69-86, 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. |
| W. Merzenich, L. Staiger.
Fractals, dimension, and formal languages,
Volume 93,04 of Informatik-Berichte, Univ.-GH, Fachbereich Elektrotechnik und Informatik, 1993. |
| W. Hans, H. Kuchen, S. Winkler.
Full indexing for lazy narrowing,
Volume 93,18 of Aachener Inform.-Ber., 1993. |
| A. Kindler, Thomas Noll, B. Steffen.
Hierarchical parallelization of imperative programs,
pages 178-184, 1993. |
| K. Gladitz.
Implementierung von Bags,
Volume 9309 of Univ. d. Bundeswehr München, Fak. Inform. Ber., Univ. der Bundeswehr, 1993. |
| L. Staiger.
Kolmogorov complexity and Hausdorff dimension,
pages 159-194, Elsevier, 1993. |
| O. Maler, L. Staiger.
On syntactic congruences for -languages,
Volume 93,13 of Aachener Inform.-Ber., 1993. |
| DOI | Oded Maler, Ludwig Staiger.
On syntactic congruences for ω—languages,
Volume 665 of LNCS, pages 586-594, Springer, 1993. |
| Thomas Noll.
On the first-order equivalence of call-by-name and call-by-value,
Volume 9309 of Bericht / Universität der Bundeswehr München, Fakultät für Informatik, pages 175-186, Univ. der Bundeswehr, 1993. |
| H. Stoltze, H. Kuchen.
Parallel functional programming using algorithmic skeletons,
1993. |
| H. Kuchen, K. Gladitz.
Parallel implementation of bags,
pages 299-307, 1993. |
| H. Kuchen, K. Gladitz.
Parallel implementation of bags,
Tech. Ber. d. Univ. Koblenz, 1993. |
| H. Stoltze.
Parallele funktionale Programmierung mit algorithmischen Skleletten,
Volume 93,7 of Aachener Inform.-Ber., pages 367-382, 1993. |
| M. Mohnen.
Proving the correctness of the static link technique using evolving algebras,
Volume 9309 of Bericht / Universität der Bundeswehr München, Fakultät für Informatik, pages 15-28, Univ. der Bundeswehr, 1993. |
| O. Burkart, B. Steffen.
Pushdown processes,
Volume 93,10 of Aachener Inform.-Ber., 1993. |
| DOI | Ludwig Staiger.
Recursive automata on infinite words,
Volume 665 of Lect. notes in comput. sci., pages 629-639, Springer, 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 | Rance Cleaveland, Joachim Parrow, Bernhard Steffen.
The concurrency workbench - a semantics-based tool for the verification of concurrent systems,
pages 36-72, Association for Computing Machinery, 1993. |
| DOI | Z. Fülöp, Frank Herrmann, Sandor Vagvolgyi, Heiko Vogler.
Tree-transducers with external functions,
pages 185-236, Elsevier, 1993. |
| 1992 |
| DOI | Werner Hans.
A complete indexing scheme for WAM-based abstract machines,
Volume 631 of Lect. notes in comput. sci., pages 232-244, 1992. |
| W. Hans.
A complete indexing scheme for WAM-based abstract machines,
Volume 92,11 of Aachener Informatik-Berichte, 1992. |
| W. Hans, S. Winkler.
Abstract interpretation of functional logic languages,
Volume 92,43 of Aachener Informatik-Berichte, 1992. |
| W. Hans, S. Winkler.
Aliasing and groundness analysis of logic programs through abstract interpretation and its safety,
Volume 92,27 of Aachener Informatik-Berichte, 1992. |