Christian Lengauer

Available identifiers

zbMath Open lengauer.christianMaRDI QIDQ582034

List of research outcomes

Publication	Date of Publication	Type
An algebraic foundation for automatic feature-based program synthesis	2010-08-26	Paper
An Algebra for Features and Feature Composition	2009-01-27	Paper
Quantifier elimination in automatic loop parallelization	2007-10-23	Paper
Costing stepwise refinements of parallel programs	2007-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4460215	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4445775	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4406702	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4791898	2003-02-04	Paper
TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*	2001-09-19	Paper
ON THE PARALLEL IMPLEMENTATION OF A GENERALIZED BROADCAST	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4508934	2000-10-10	Paper
Abstraction and performance in the design of parallel programs: An overview of the SAT approach	2000-06-05	Paper
Termination detection in parallel loop nests with while loops	2000-06-04	Paper
Parallelization of divide-and-conquer by translation to nested loops	2000-01-17	Paper
On linear list recursion in parallel	1999-12-19	Paper
The static parallelization of loops and recursions	1998-01-12	Paper
Parallelization of divide-and-conquer in the Bird-Meertens formalism	1996-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4028142	1993-03-28	Paper
The synthesis of control signals for one-dimensional systolic arrays	1993-01-13	Paper
On denotational versus predicative semantics	1991-01-01	Paper
An incremental mechanical development of systolic solutions to the algebraic path problem	1989-01-01	Paper
Semantic independence	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3034850	1988-01-01	Paper
The derivation of systolic implementations of programs	1987-01-01	Paper
The automated proof of a trace transformation for a bitonic sort	1986-01-01	Paper
On the role of automated theorem proving in the compile-time derivation of concurrency	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680250	1985-01-01	Paper
A methodology for programming with concurrency: An informal presentation	1982-01-01	Paper
A methodology for programming with concurrency: The formalism	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Lengauer