| Publication | Date of Publication | Type |
|---|
A personal view of Edsger W. Dijkstra and his stance on software construction
| 2024-10-28 | Paper |
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming | 2010-08-26 | Paper |
An Algebra for Features and Feature Composition
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Quantifier elimination in automatic loop parallelization
Journal of Symbolic Computation | 2007-10-23 | Paper |
Costing stepwise refinements of parallel programs
Computer Languages, Systems & Structures | 2007-04-16 | Paper |
scientific article; zbMATH DE number 2065559 (Why is no real title available?)
| 2004-05-18 | Paper |
scientific article; zbMATH DE number 2036338 (Why is no real title available?)
| 2004-02-02 | Paper |
scientific article; zbMATH DE number 1940317 (Why is no real title available?)
| 2003-06-26 | Paper |
scientific article; zbMATH DE number 1863274 (Why is no real title available?)
| 2003-02-04 | Paper |
TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*
Parallel Algorithms and Applications | 2001-09-19 | Paper |
ON THE PARALLEL IMPLEMENTATION OF A GENERALIZED BROADCAST
Parallel Algorithms and Applications | 2001-08-30 | Paper |
scientific article; zbMATH DE number 1515854 (Why is no real title available?)
| 2000-10-10 | Paper |
Abstraction and performance in the design of parallel programs: An overview of the SAT approach
Acta Informatica | 2000-06-05 | Paper |
Termination detection in parallel loop nests with while loops
Parallel Computing | 2000-06-04 | Paper |
Parallelization of divide-and-conquer by translation to nested loops
Journal of Functional Programming | 2000-01-17 | Paper |
On linear list recursion in parallel
Acta Informatica | 1999-12-19 | Paper |
The static parallelization of loops and recursions
The Journal of Supercomputing | 1998-01-12 | Paper |
Parallelization of divide-and-conquer in the Bird-Meertens formalism
Formal Aspects of Computing | 1996-07-02 | Paper |
scientific article; zbMATH DE number 139810 (Why is no real title available?)
| 1993-03-28 | Paper |
The synthesis of control signals for one-dimensional systolic arrays
Integration | 1993-01-13 | Paper |
On denotational versus predicative semantics
Journal of Computer and System Sciences | 1991-01-01 | Paper |
An incremental mechanical development of systolic solutions to the algebraic path problem
Acta Informatica | 1989-01-01 | Paper |
Semantic independence
Science of Computer Programming | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4133524 (Why is no real title available?)
| 1988-01-01 | Paper |
The derivation of systolic implementations of programs
Acta Informatica | 1987-01-01 | Paper |
The automated proof of a trace transformation for a bitonic sort
Theoretical Computer Science | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3902008 (Why is no real title available?)
| 1985-01-01 | Paper |
On the role of automated theorem proving in the compile-time derivation of concurrency
Journal of Automated Reasoning | 1985-01-01 | Paper |
A methodology for programming with concurrency: An informal presentation
Science of Computer Programming | 1982-01-01 | Paper |
A methodology for programming with concurrency: The formalism
Science of Computer Programming | 1982-01-01 | Paper |
