2008 |
50 | EE | Susanne Gruttmann,
Dominik Böhm,
Herbert Kuchen:
E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors.
CSSE (5) 2008: 612-615 |
49 | EE | Sebastian Fischer,
Herbert Kuchen:
Data-flow testing of declarative programs.
ICFP 2008: 201-212 |
48 | | Michael Poldner,
Herbert Kuchen:
Optimizing Skeletal Stream Processing for Divide and Conquer.
ICSOFT (PL/DPS/KE) 2008: 181-189 |
47 | EE | Michael Poldner,
Herbert Kuchen:
On Implementing the Farm Skeleton.
Parallel Processing Letters 18(1): 117-131 (2008) |
2007 |
46 | EE | Sebastian Fischer,
Herbert Kuchen:
Systematic generation of glass-box test cases for functional logic programs.
PPDP 2007: 63-74 |
45 | EE | Rafael Caballero,
Christian Hermanns,
Herbert Kuchen:
Algorithmic Debugging of Java Programs.
Electr. Notes Theor. Comput. Sci. 177: 75-89 (2007) |
2006 |
44 | | Michael Poldner,
Herbert Kuchen:
Algorithmic skeletons for branch & bound.
ICSOFT (1) 2006: 291-300 |
43 | EE | Herbert Kuchen,
Murray Cole:
Editorial.
Parallel Computing 32(7-8): 447-448 (2006) |
2005 |
42 | | Michael Poldner,
Herbert Kuchen:
Scalable Farms.
PARCO 2005: 795-802 |
41 | EE | Herbert Kuchen,
Jörg Striegnitz:
Features from functional programming for a C++ skeleton library.
Concurrency - Practice and Experience 17(7-8): 739-756 (2005) |
2004 |
40 | | Christoph Lembeck,
Roger A. Müller,
Herbert Kuchen:
Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern.
GI Jahrestagung (2) 2004: 418-427 |
39 | | Roger A. Müller,
Christoph Lembeck,
Herbert Kuchen:
A symbolic Java virtual machine for test case generation.
IASTED Conf. on Software Engineering 2004: 365-371 |
2003 |
38 | EE | Herbert Kuchen:
Optimizing Sequences of Skeleton Calls.
Domain-Specific Program Generation 2003: 254-273 |
2002 |
37 | EE | Herbert Kuchen:
A Skeleton Library.
Euro-Par 2002: 620-629 |
36 | EE | Herbert Kuchen,
Jörg Striegnitz:
Higher-order functions and partial applications for a C++ skeleton library.
Java Grande 2002: 122-130 |
35 | EE | Herbert Kuchen,
Kazunori Ueda:
Editorial: Functional and Logic Programming.
Journal of Functional and Logic Programming 2002: (2002) |
34 | EE | Herbert Kuchen,
Murray Cole:
The Integration of Task and Data Parallel Skeletons.
Parallel Processing Letters 12(2): 141-155 (2002) |
2001 |
33 | | Herbert Kuchen,
Kazunori Ueda:
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings
Springer 2001 |
2000 |
32 | | Herbert Kuchen:
Implementing an Object Oriented Design in Curry.
WFLP 2000: 499-509 |
1999 |
31 | | Wolfgang Lux,
Herbert Kuchen:
An Efficient Abstract Machine for Curry.
GI Jahrestagung 1999: 390-399 |
1998 |
30 | EE | George Horatiu Botorog,
Herbert Kuchen:
Efficient High-Level Parallel Programming.
Theor. Comput. Sci. 196(1-2): 71-107 (1998) |
1997 |
29 | | Hugh Glaser,
Pieter H. Hartel,
Herbert Kuchen:
Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings
Springer 1997 |
1996 |
28 | | Herbert Kuchen,
S. Doaitse Swierstra:
Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings
Springer 1996 |
27 | | Herbert Kuchen,
Josef Anastasiadis:
Higher Order Babel: Language and Implementation.
ELP 1996: 193-207 |
26 | | Ansgar Brüll,
Herbert Kuchen:
TPascal - A Language for Task Parallel Programming.
Euro-Par, Vol. I 1996: 654-659 |
25 | | George Horatiu Botorog,
Herbert Kuchen:
Efficient Parallel Programming with Algorithmic Skeletons.
Euro-Par, Vol. I 1996: 718-731 |
24 | EE | George Horatiu Botorog,
Herbert Kuchen:
Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming.
HPDC 1996: 243-252 |
23 | | George Horatiu Botorog,
Herbert Kuchen:
Using Algorithmic Skeletons with Dynamic Data Structures.
IRREGULAR 1996: 263-276 |
22 | | Michael Hanus,
Herbert Kuchen:
Integration of Functional and Logic Programming.
ACM Comput. Surv. 28(2): 306-308 (1996) |
21 | | Katia Gladitz,
Herbert Kuchen:
Shared Memory Implementation of the Gamma-Operation.
J. Symb. Comput. 21(4): 577-591 (1996) |
20 | | Herbert Kuchen,
Rita Loogen,
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
The Functional Logic Language BABEL and Its Implementation on a Graph Machine.
New Generation Comput. 14(4): 391-427 (1996) |
19 | EE | Ivan Todor Dimov,
Aneta Karaivanova,
Herbert Kuchen,
Holger Stoltze:
Monte Carlo Algorithms for Elliptic Differential Equations. Data Parallel Functional Approach.
Parallel Algorithms Appl. 9(1-2): 39-65 (1996) |
1995 |
18 | | Herbert Kuchen:
A Functional Logic Language Based on Higher Order Narrowing.
Functional Programming 1995: 8 |
17 | | Herbert Kuchen:
Implementation Issues for Functional Logic Programming (Tutorial Abstract).
ILPS 1995: 612-613 |
16 | | Herbert Kuchen,
Josef Anastasiadis:
Higher Order Babel.
ILPS 1995: 633 |
15 | | George Horatiu Botorog,
Herbert Kuchen:
Algorithmic Skeletons for Adaptive Multigrid Methods.
IRREGULAR 1995: 27-41 |
1994 |
14 | | Herbert Kuchen,
Marinus J. Plasmeijer,
Holger Stoltze:
Efficient Distributed Memory Implementation of a Data Parallel Functional Language.
PARLE 1994: 464-477 |
1993 |
13 | | Herbert Kuchen,
Katia Gladitz:
Parallel Implementation of Bags.
FPCA 1993: 299-307 |
12 | | Holger Stoltze,
Herbert Kuchen:
Parallel Functional Programming Using Algorithmic Skeletons.
PARCO 1993: 647-654 |
11 | | Juan José Moreno-Navarro,
Herbert Kuchen,
Julio Mariño-Carballo,
Stephan Winkler,
Werner Hans:
Efficient Lazy Narrowing using Demandedness Analysis.
PLILP 1993: 167-183 |
1992 |
10 | | Herbert Kuchen,
Holger Stoltze,
Friedrich Lücking:
Candela - A Topology Description Language.
CONPAR 1992: 777-778 |
9 | | Herbert Kuchen,
Francisco Javier López-Fraguas,
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
Implementing a Lazy Functional Logic Language with Disequality Constraints.
JICSLP 1992: 207-221 |
8 | | Herbert Kuchen,
Juan José Moreno-Navarro,
Manuel V. Hermenegildo:
Independent AND-Parallel Implementation of Narrowing.
PLILP 1992: 24-38 |
7 | | Herbert Kuchen,
Holger Stoltze,
Friedrich Lücking:
CANDELA - Eine Sprache zur Beschreibung von Topologien.
Transputer-Anwender-Treffen 1992: 41-50 |
1990 |
6 | | Juan José Moreno-Navarro,
Herbert Kuchen,
Rita Loogen,
Mario Rodríguez-Artalejo:
Lazy Narrowing in a Graph Machine.
ALP 1990: 298-317 |
5 | | Herbert Kuchen,
Rita Loogen,
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
Graph-based Implementation of a Functional Logic Langugage.
ESOP 1990: 271-290 |
4 | | Herbert Kuchen,
Andreas Wagener:
Lastverteilungsstrategien auf Multicomputern.
Transputer-Anwender-Treffen 1990: 1-8 |
1989 |
3 | | Rita Loogen,
Herbert Kuchen,
Klaus Indermark,
Werner Damm:
Distributed Implementation of Programmed Graph Reduction.
PARLE (1) 1989: 136-157 |
2 | | Herbert Kuchen,
Rita Loogen:
Parallele Implementierung einer funktionalen Programmiersprache auf einem Transputer-Mehrprozessor-System.
Transputer-Anwender-Treffen 1989: 21-33 |
1987 |
1 | | Jörg Noack,
Herbert Kuchen:
MEMOPASCAL: Einbettung einer Datenbankanfragesprache in eine höhere Programmiersprache.
Angewandte Informatik 29(4): 149-156 (1987) |