 | 2009 |
|---|
| 51 |       | Tim A. Majchrzak,
Herbert Kuchen:
Automated Test Case Generation Based on Coverage Analysis.
TASE 2009: 259-266 |
| 2008 |
|---|
| 50 | | 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 | | 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 | | Michael Poldner,
Herbert Kuchen:
On Implementing the Farm Skeleton.
Parallel Processing Letters 18(1): 117-131 (2008) |
| 2007 |
|---|
| 46 | | Sebastian Fischer,
Herbert Kuchen:
Systematic generation of glass-box test cases for functional logic programs.
PPDP 2007: 63-74 |
| 45 | | 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 | | 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 | | 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 | | Herbert Kuchen:
Optimizing Sequences of Skeleton Calls.
Domain-Specific Program Generation 2003: 254-273 |
| 2002 |
|---|
| 37 | | Herbert Kuchen:
A Skeleton Library.
Euro-Par 2002: 620-629 |
| 36 | | Herbert Kuchen,
Jörg Striegnitz:
Higher-order functions and partial applications for a C++ skeleton library.
Java Grande 2002: 122-130 |
| 35 | | Herbert Kuchen,
Kazunori Ueda:
Editorial: Functional and Logic Programming.
Journal of Functional and Logic Programming 2002: (2002) |
| 34 | | 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 | | 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 | | 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 | | 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) |
