KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Formal derivation of efficient parallel programs by construction of list homomorphisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Static Parallelization of Loops and Recursions
The Journal of Supercomputing - Special issue: high performance computing systems
Toward Formally-Based Design of Message Passing Programs
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
Software Development in PVS Using Generic Development Steps
Selected Papers from the International Seminar on Generic Programming
Foundations of data-parallel skeletons
Patterns and skeletons for parallel and distributed computing
Parallelizing functional programs by generalization
Journal of Functional Programming
Parallelization of divide-and-conquer by translation to nested loops
Journal of Functional Programming
Randomized algorithm for the sum selection problem
Theoretical Computer Science
Theoretical Computer Science
Synthesis of fast programs for maximum segment sum problems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Efficient algorithms for the sum selection problem and k maximum sums problem
Theoretical Computer Science
Computing maximum-scoring segments in almost linear time
COCOON'06 Proceedings of the 12th annual international conference on Computing and Combinatorics
Randomized algorithm for the sum selection problem
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
Efficient algorithms for k maximum sums
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
Efficient algorithms for the sum selection problem and k maximum sums problem
ISAAC'06 Proceedings of the 17th international conference on Algorithms and Computation
A language-independent parallel refactoring framework
Proceedings of the Fifth Workshop on Refactoring Tools
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
| Hi-index | 0.00 |