S. Gorlatch

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game Journal of Mathematical Sciences (New York)	2024-07-29	Paper
Model checking meets auto-tuning of high-performance programs Logic-Based Program Synthesis and Transformation	2023-06-02	Paper
Higher-Order Components for Grid Programming	2009-05-26	Paper
scientific article; zbMATH DE number 2090685 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090646 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2065557 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 2065558 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 1863303 (Why is no real title available?)	2003-02-04	Paper
Message passing without send–receive Future Generation Computer Systems	2003-01-21	Paper
scientific article; zbMATH DE number 1830930 (Why is no real title available?)	2002-11-18	Paper
scientific article; zbMATH DE number 1760154 (Why is no real title available?)	2002-11-06	Paper
Network performance-aware collective communication for clustered wide-area systems Parallel Computing	2002-03-03	Paper
TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK* Parallel Algorithms and Applications	2001-09-19	Paper
Abstraction and performance in the design of parallel programs: An overview of the SAT approach Acta Informatica	2000-06-05	Paper
Parallelizing functional programs by generalization Journal of Functional Programming	2000-04-26	Paper
Extracting and implementing list homomorphisms in parallel program development Science of Computer Programming	2000-01-04	Paper
\(N\)-graphs: Scalable topology and design of balanced divide-and-conquer algorithms Parallel Computing	1998-07-23	Paper
Programming with divide-and-conquer skeletons: A case study of FFT The Journal of Supercomputing	1998-05-24	Paper
The static parallelization of loops and recursions The Journal of Supercomputing	1998-01-12	Paper
scientific article; zbMATH DE number 1088022 (Why is no real title available?)	1997-11-17	Paper
Parallelization of divide-and-conquer in the Bird-Meertens formalism Formal Aspects of Computing	1996-07-02	Paper

Research outcomes over time

This page was built for person: S. Gorlatch