Sergei Gorlatch

Available identifiers

zbMath Open gorlatch.sergeiMaRDI QIDQ1375710

List of research outcomes

Publication	Date of Publication	Type
Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game	2024-07-29	Paper
Model checking meets auto-tuning of high-performance programs	2023-06-02	Paper
Higher-Order Components for Grid Programming	2009-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4813119	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4813175	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4460213	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4460214	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4791943	2003-02-04	Paper
Message passing without send–receive	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4778644	2002-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4537145	2002-11-06	Paper
Network performance-aware collective communication for clustered wide-area systems	2002-03-03	Paper
TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*	2001-09-19	Paper
Abstraction and performance in the design of parallel programs: An overview of the SAT approach	2000-06-05	Paper
Parallelizing functional programs by generalization	2000-04-26	Paper
Extracting and implementing list homomorphisms in parallel program development	2000-01-04	Paper
\(N\)-graphs: Scalable topology and design of balanced divide-and-conquer algorithms	1998-07-23	Paper
Programming with divide-and-conquer skeletons: A case study of FFT	1998-05-24	Paper
The static parallelization of loops and recursions	1998-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4364369	1997-11-17	Paper
Parallelization of divide-and-conquer in the Bird-Meertens formalism	1996-07-02	Paper

Research outcomes over time

This page was built for person: Sergei Gorlatch