Publications

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.
	C. Weise, T. Margaria. Continuous real time models in practice, 5. Euromicro Workshop on Real Time Syst. Oulu, Finnland 1993, 1993.