The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Herbert Kuchen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  43. Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures. [Citation Graph (, )][DBLP]


  44. Data-flow testing of declarative programs. [Citation Graph (, )][DBLP]


  45. Optimizing Skeletal Stream Processing for Divide and Conquer. [Citation Graph (, )][DBLP]


  46. Automated Test Case Generation Based on Coverage Analysis. [Citation Graph (, )][DBLP]


  47. E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors. [Citation Graph (, )][DBLP]


Search in 0.000secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002