dblp.uni-trier.dewww.uni-trier.de

Herbert Kuchen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
50EESusanne Gruttmann, Dominik Böhm, Herbert Kuchen: E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors. CSSE (5) 2008: 612-615
49EESebastian 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
47EEMichael Poldner, Herbert Kuchen: On Implementing the Farm Skeleton. Parallel Processing Letters 18(1): 117-131 (2008)
2007
46EESebastian Fischer, Herbert Kuchen: Systematic generation of glass-box test cases for functional logic programs. PPDP 2007: 63-74
45EERafael 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
43EEHerbert Kuchen, Murray Cole: Editorial. Parallel Computing 32(7-8): 447-448 (2006)
2005
42 Michael Poldner, Herbert Kuchen: Scalable Farms. PARCO 2005: 795-802
41EEHerbert 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
38EEHerbert Kuchen: Optimizing Sequences of Skeleton Calls. Domain-Specific Program Generation 2003: 254-273
2002
37EEHerbert Kuchen: A Skeleton Library. Euro-Par 2002: 620-629
36EEHerbert Kuchen, Jörg Striegnitz: Higher-order functions and partial applications for a C++ skeleton library. Java Grande 2002: 122-130
35EEHerbert Kuchen, Kazunori Ueda: Editorial: Functional and Logic Programming. Journal of Functional and Logic Programming 2002: (2002)
34EEHerbert 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
30EEGeorge 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
24EEGeorge 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)
19EEIvan 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)

Coauthor Index

1Josef Anastasiadis [16] [27]
2Dominik Böhm [50]
3George Horatiu Botorog [15] [23] [24] [25] [30]
4Ansgar Brüll [26]
5Rafael Caballero [45]
6Murray Cole [34] [43]
7Werner Damm [3]
8Ivan Todor Dimov [19]
9Sebastian Fischer [46] [49]
10Katia Gladitz [13] [21]
11Hugh Glaser [29]
12Susanne Gruttmann [50]
13Werner Hans [11]
14Michael Hanus [22]
15Pieter H. Hartel [29]
16Christian Hermanns [45]
17Manuel V. Hermenegildo [8]
18Klaus Indermark [3]
19Aneta Karaivanova [19]
20Christoph Lembeck [39] [40]
21Rita Loogen [2] [3] [5] [6] [20]
22Francisco Javier López-Fraguas [9]
23Friedrich Lücking [7] [10]
24Wolfgang Lux [31]
25Julio Mariño-Carballo (Julio Mariño) [11]
26Juan José Moreno-Navarro [5] [6] [8] [9] [11] [20]
27Roger A. Müller [39] [40]
28Jörg Noack [1]
29Marinus J. Plasmeijer (Rinus Plasmeijer) [14]
30Michael Poldner [42] [44] [47] [48]
31Mario Rodríguez-Artalejo [5] [6] [9] [20]
32Holger Stoltze [7] [10] [12] [14] [19]
33Jörg Striegnitz [36] [41]
34S. Doaitse Swierstra [28]
35Kazunori Ueda [33] [35]
36Andreas Wagener [4]
37Stephan Winkler [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)