Publications

1994
	H. Kuchen, H. Stoltze. A data-parallel functional language for multicomputers, Parallele Datenverarbeitung aktuell : [Parallelrechner-Grundlagen und Anwendungen] / TAT '94, Parallelrechner-Anwender-Treffen TAT '94, Aachen, 26. - 27. September 1994. R. Flieger ... Hrsg., 139-148, IOS Press [u.a.], 1994.
	M. Raus, W. Ameling. Parallel backpropagation implementation with mimd systems, Parallele Datenverarbeitung aktuell : [Parallelrechner-Grundlagen und Anwendungen] / TAT '94, Parallelrechner-Anwender-Treffen TAT '94, Aachen, 26. - 27. September 1994. R. Flieger ... Hrsg., 407-418, IOS Press [u.a.], 1994.
1993
	H. Stoltze. Parallele funktionale Programmierung mit algorithmischen Skleletten, Graduiertenkolleg Informatik und Technik, 367-382, 1993.
DOI	Guido Hogen, Rita Loogen. Stack management of runtime structures in distributed implementations, Programming language implementation and logic programming, 416-417, 1993.
DOI	Rita Loogen, Francisco López Fraguas, Mario Rodríguez Artalejo. A demand-driven computation strategy for lazy narrowing, Programming language implementation and logic programming : proceedings / 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25 - 27, 1993. Maurice Bruynooghe ... (eds.), 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, Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings / editors: Maurice Bruynooghe ; Jaan Penjam, 167-183, 1993.
	O. Burkart, B. Steffen. Pushdown processes: Parallel composition and model checking, 1993.
	W. Hans, H. Kuchen, S. Winkler. Full indexing for lazy narrowing, 1993.
	W. Hans, F. Sáenz, S. Winkler. A VHDL specification of a shared memory parallel machine for Babel, 1993.
	G. Hogen, R. Loogen. A new stack technique for the management of runtime structures in distributed implementations, 1993.
	H. Kuchen. Distributed memory implementation of a data parallel functional language, 1993.
	O. Maler, L. Staiger. On syntactic congruences for -languages, 1993.
	W. Merzenich, L. Staiger. Fractals, dimension, and formal languages, Univ.-GH, Fachbereich Elektrotechnik und Informatik, 1993.
	Karsten Bohlmann, Rita Loogen, Y. Ortega-Mallén. Concurrent functional processes, 5th International Workshop on Implementation of Functional Languages : September 20 - 22, 1993, Nijmegen, The Netherlands, 1993.
	K. Gladitz. Implementierung von Bags, Workshop 'Programmiersprachen u. Grundl. d. Programmier.' Garmisch-Partenkirchen 1993, Univ. der Bundeswehr, 1993.
	A. Kindler, Thomas Noll, B. Steffen. Hierarchical parallelization of imperative programs, Proc. EuroMicro Workshop on Parallel and Distributed Process. 1993, 178-184, 1993.
	H. Kuchen, K. Gladitz. Parallel implementation of bags, Conf. on Funct. Programm. Lang. and Comput. Archit. Kopenhagen, Dänemark 1993, 299-307, 1993.
	H. Kuchen, K. Gladitz. Parallel implementation of bags, Workshop d. GI-Fachgr. 'Alternative Konzepte f. Sprachen u. Rechner'. Honnef 1993, 1993.
	H. Kuchen, R. Plasmeijer, H. Stoltze. Efficient distributed memory implementation of functional languages, 5th International Workshop on Implementation of Functional Languages : September 20 - 22, 1993, Nijmegen, The Netherlands, 69-86, 1993.
DOI	Oded Maler, Ludwig Staiger. On syntactic congruences for ω—languages, STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25 - 27, 1993 ; proceedings / P. Enjalbert ... (eds.), 586-594, Springer [u.a.], 1993.
DOI	Tiziana Margaria, Bernhard Steffen. Distinguishing formulas for free, IEEE Eur. Des. Automat. Conf. Paris, Frankreich 1993, 105-110, 1993.
	M. Mohnen. Proving the correctness of the static link technique using evolving algebras, Workshop Programmiersprachen u. Grundl. d. Programmier. Garmisch-Partenkirchen 1993, 15-28, Univ. der Bundeswehr, 1993.
	Thomas Noll. On the first-order equivalence of call-by-name and call-by-value, Workshop Programmiersprachen u. Grundl. d. Programmier. Garmisch-Partenkirchen 1993, 175-186, Univ. der Bundeswehr, 1993.
DOI	Ludwig Staiger. Recursive automata on infinite words, Proc. STACS 93. Berlin [u.a.] 1993, 629-639, Springer [u.a.], 1993.
	H. Stoltze, H. Kuchen. Parallel functional programming using algorithmic skeletons, Int. Conf. on Parallel Comput. 1993, 1993.