Publications

1996

Journal article
Shared memory implementation of the gamma-operation
Katia Gladitz, Herbert Kuchen
Journal of symbolic computation
RWTH record for Shared memory implementation of the gamma-operation BibTeX for Shared memory implementation of the gamma-operation
Conference paper
Skil: An imperative language with algorithmic skeletons for efficient distributed programming
George Horatiu Botorog, Herbert Kuchen
Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing, August 6 - 9, 1996, Syracuse, New York
RWTH record for Skil: An imperative language with algorithmic skeletons for efficient distributed programming BibTeX for Skil: An imperative language with algorithmic skeletons for efficient distributed programming

1995

Journal article
Dynamic detection of determinism in functional logic languages
Rita Loogen, Stephan Winkler
Theoretical computer science
RWTH record for Dynamic detection of determinism in functional logic languages BibTeX for Dynamic detection of determinism in functional logic languages

1994

Conference paper
Parallel backpropagation implementation with mimd systems
M. Raus, W. Ameling
Parallele Datenverarbeitung aktuell
RWTH record for Parallel backpropagation implementation with mimd systems BibTeX for Parallel backpropagation implementation with mimd systems
Conference paper
A data-parallel functional language for multicomputers
H. Kuchen, H. Stoltze
Parallele Datenverarbeitung aktuell
RWTH record for A data-parallel functional language for multicomputers BibTeX for A data-parallel functional language for multicomputers

1993

Journal article
A linear-time model-checking algorithm for the alternation-free modal mu-calculus
Rance Cleaveland, Bernhard Steffen
Formal methods in system design
RWTH record for A linear-time model-checking algorithm for the alternation-free modal mu-calculus BibTeX for A linear-time model-checking algorithm for the alternation-free modal mu-calculus
Journal article
The concurrency workbench - a semantics-based tool for the verification of concurrent systems
Rance Cleaveland, Joachim Parrow, Bernhard Steffen
ACM transactions on programming languages and systems
RWTH record for The concurrency workbench - a semantics-based tool for the verification of concurrent systems BibTeX for The concurrency workbench - a semantics-based tool for the verification of concurrent systems
Journal article
Tree-transducers with external functions
Z. Fülöp, Frank Herrmann, Sandor Vagvolgyi, Heiko Vogler
Theoretical computer science
RWTH record for Tree-transducers with external functions BibTeX for Tree-transducers with external functions
Journal article
Kolmogorov complexity and Hausdorff dimension
L. Staiger
Information and computation
RWTH record for Kolmogorov complexity and Hausdorff dimension BibTeX for Kolmogorov complexity and Hausdorff dimension
Conference paper
Continuous real time models in practice
C. Weise, T. Margaria
5. Euromicro Workshop on Real Time Syst. Oulu, Finnland 1993
RWTH record for Continuous real time models in practice BibTeX for Continuous real time models in practice
Conference paper
Parallel functional programming using algorithmic skeletons
H. Stoltze, H. Kuchen
Int. Conf. on Parallel Comput. 1993
RWTH record for Parallel functional programming using algorithmic skeletons BibTeX for Parallel functional programming using algorithmic skeletons
Conference paper
Recursive automata on infinite words
Ludwig Staiger
Proc. STACS 93. Berlin [u.a.] 1993
RWTH record for Recursive automata on infinite words BibTeX for Recursive automata on infinite words
Conference paper
On the first-order equivalence of call-by-name and call-by-value
Thomas Noll
Workshop Programmiersprachen u. Grundl. d. Programmier. Garmisch-Partenkirchen 1993
RWTH record for On the first-order equivalence of call-by-name and call-by-value BibTeX for On the first-order equivalence of call-by-name and call-by-value
Conference paper
Proving the correctness of the static link technique using evolving algebras
M. Mohnen
Workshop Programmiersprachen u. Grundl. d. Programmier. Garmisch-Partenkirchen 1993
RWTH record for Proving the correctness of the static link technique using evolving algebras BibTeX for Proving the correctness of the static link technique using evolving algebras
Conference paper
Distinguishing formulas for free
Tiziana Margaria, Bernhard Steffen
IEEE Eur. Des. Automat. Conf. Paris, Frankreich 1993
RWTH record for Distinguishing formulas for free BibTeX for Distinguishing formulas for free
Conference paper
On syntactic congruences for ω—languages
Oded Maler, Ludwig Staiger
STACS 93
RWTH record for On syntactic congruences for ω—languages BibTeX for On syntactic congruences for ω—languages
Conference paper
Efficient distributed memory implementation of functional languages
H. Kuchen, R. Plasmeijer, H. Stoltze
5th International Workshop on Implementation of Functional Languages
RWTH record for Efficient distributed memory implementation of functional languages BibTeX for Efficient distributed memory implementation of functional languages
Conference paper
Parallel implementation of bags
H. Kuchen, K. Gladitz
Workshop d. GI-Fachgr. 'Alternative Konzepte f. Sprachen u. Rechner'. Honnef 1993
RWTH record for Parallel implementation of bags BibTeX for Parallel implementation of bags
Conference paper
Parallel implementation of bags
H. Kuchen, K. Gladitz
Conf. on Funct. Programm. Lang. and Comput. Archit. Kopenhagen, Dänemark 1993
RWTH record for Parallel implementation of bags BibTeX for Parallel implementation of bags
Conference paper
Hierarchical parallelization of imperative programs
A. Kindler, Thomas Noll, B. Steffen
Proc. EuroMicro Workshop on Parallel and Distributed Process. 1993
RWTH record for Hierarchical parallelization of imperative programs BibTeX for Hierarchical parallelization of imperative programs
Conference paper
Implementierung von Bags
K. Gladitz
Workshop 'Programmiersprachen u. Grundl. d. Programmier.' Garmisch-Partenkirchen 1993
RWTH record for Implementierung von Bags BibTeX for Implementierung von Bags
Conference paper
Concurrent functional processes
Karsten Bohlmann, Rita Loogen, Y. Ortega-Mallén
5th International Workshop on Implementation of Functional Languages
RWTH record for Concurrent functional processes BibTeX for Concurrent functional processes
Book
Fractals, dimension, and formal languages
W. Merzenich, L. Staiger
Univ.-GH, Fachbereich Elektrotechnik und Informatik
RWTH record for Fractals, dimension, and formal languages BibTeX for Fractals, dimension, and formal languages
Book
On syntactic congruences for -languages
O. Maler, L. Staiger
RWTH record for On syntactic congruences for -languages BibTeX for On syntactic congruences for -languages
Book
Distributed memory implementation of a data parallel functional language
H. Kuchen
RWTH record for Distributed memory implementation of a data parallel functional language BibTeX for Distributed memory implementation of a data parallel functional language