| 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. |
| H. Kuchen.
Distributed memory implementation of a data parallel functional language,
Volume 76 of Programm. methodol. group. Rep., 1993. |
| O. Maler, L. Staiger.
On syntactic congruences for -languages,
Volume 93,13 of Aachener Inform.-Ber., 1993. |
| W. Merzenich, L. Staiger.
Fractals, dimension, and formal languages,
Volume 93,04 of Informatik-Berichte, Univ.-GH, Fachbereich Elektrotechnik und Informatik, 1993. |
| Karsten Bohlmann, Rita Loogen, Y. Ortega-Mallén.
Concurrent functional processes,
Volume 93,21 of Tech. rep., 1993. |
| K. Gladitz.
Implementierung von Bags,
Volume 9309 of Univ. d. Bundeswehr München, Fak. Inform. Ber., Univ. der Bundeswehr, 1993. |
| A. Kindler, Thomas Noll, B. Steffen.
Hierarchical parallelization of imperative programs,
pages 178-184, 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. Kuchen, R. Plasmeijer, H. Stoltze.
Efficient distributed memory implementation of functional languages,
Volume 93,21 of Tech. rep., pages 69-86, 1993. |
| DOI | Oded Maler, Ludwig Staiger.
On syntactic congruences for ω—languages,
Volume 665 of LNCS, pages 586-594, Springer, 1993. |
| DOI | Tiziana Margaria, Bernhard Steffen.
Distinguishing formulas for free,
pages 105-110, 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. |
| 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. |
| DOI | Ludwig Staiger.
Recursive automata on infinite words,
Volume 665 of Lect. notes in comput. sci., pages 629-639, Springer, 1993. |
| H. Stoltze, H. Kuchen.
Parallel functional programming using algorithmic skeletons,
1993. |
| C. Weise, T. Margaria.
Continuous real time models in practice,
1993. |
| L. Staiger.
Kolmogorov complexity and Hausdorff dimension,
pages 159-194, Elsevier, 1993. |
| DOI | Z. Fülöp, Frank Herrmann, Sandor Vagvolgyi, Heiko Vogler.
Tree-transducers with external functions,
pages 185-236, Elsevier, 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 | Rance Cleaveland, Bernhard Steffen.
A linear-time model-checking algorithm for the alternation-free modal mu-calculus,
pages 121-147, Springer, 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. |
| DOI | Werner Hans, Rita Loogen, Stephan Winkler.
On the interaction of lazy evaluation and backtracking,
Volume 631 of Lect. notes in comput. sci., pages 355-369, 1992. |
| DOI | Jens Knoop, Bernhard Steffen.
The interprocedural coincidence theorem,
Volume 641 of LNCS, pages 125-140, 1992. |
| DOI | Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo.
Independent AND-parallel narrowing,
Volume 631 of LNCS, pages 24-38, Springer, 1992. |