• 2019

    Article in Journal

    Dageförde, J. C., & Kuchen, H. (2019). A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli. Journal of Computer Languages, 53, 63–78.
    More details BibTeX DOI

    Rieger, C., & Kuchen, H. (2019). Towards Pluri-Platform Development: Evaluating a Graphical Model-Driven Approach to App Development Across Device Classes. Lecture Notes in Business Information Processing, 347, 1–31. (In press)
    More details BibTeX

    Wrede, F., Rieger, C., & Kuchen, H. (2019). Generation of high-performance code based on a domain-specific language for algorithmic skeletons. The Journal of Supercomputing, 75, 1–19.
    More details BibTeX Full text DOI

    Conference Paper

    Buender, H., & Kuchen, H. (2019). A Model-Driven Approach for Behavior-Driven GUI Testing. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), Limassol, Cyprus. (Submitted)
    More details BibTeX DOI

    Dageförde, J. C., & Kuchen, H. (2019). Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space. In Proceedings of the 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus.
    More details BibTeX DOI

    Reischmann, T., & Kuchen, H. (2019). A Web-Based E-Assessment Tool for Design Patterns in UML Class Diagrams. In Proceedings of the The 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), Limassol. (Accepted)
    More details BibTeX

    Rieger, C., & Kuchen, H. (2019). A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes. In Proceedings of the 52nd Hawaii International Conference on System Sciences, Maui, Hawaii, USA, 7431–7440.
    More details BibTeX Full text

    Rieger, C., Wrede, F., & Kuchen, H. (2019). Musket: A Domain-Specific Language for High-Level Parallel Programming with Algorithmic Skeletons. In Proceedings of the 34nd Annual ACM Symposium on Applied Computing (SAC), Limassol, Cyprus, 1534–1543.
    More details BibTeX DOI

    Schneid, K., Thöne, S., Kuchen, H., Usener, C. A., & Tophinke, C. (2019). Static Analysis of BPMN-Based Process-Driven Applications. In Proceedings of 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Limassol, Zypern. (Accepted)
    More details BibTeX

  • 2018

    Article in Journal

    Rieger, C., & Kuchen, H. (2018). A process-oriented modeling approach for graphical development of mobile business apps. Computer Languages, Systems — Structures, 53, 43–58.
    More details BibTeX DOI

    Wrede, F., Menezes, B., & Kuchen, H. (2018). Fish School Search with Algorithmic Skeletons. International Journal of Parallel Programming, -(-), 1–19.
    More details BibTeX Full text DOI

    Conference Paper

    Dageförde, J. C., & Kuchen, H. (2018). A Constraint-logic Object-oriented Language. In Proceedings of the 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, Frankreich, 1185–1194.
    More details BibTeX DOI

    Fuchs, A., & Kuchen, H. (2018). Test-Case Generation for Web-Service Clients. In Proceedings of the The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France. (Accepted)
    More details BibTeX

    Menezes, B., Wrede, F., Kuchen, H., & Buarque, F. (2018). Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS. In Proceedings of the 4th IEEE Latin American Conference on Computational Intelligence (LA-CCI '17), Arequipa, Peru.
    More details BibTeX Full text DOI

    Reischmann, T., & Kuchen, H. (2018). An Interactive Learning Environment for Software Engineering Design Patterns. In Proceedings of the Koli Calling, Koli, Finland, 35:1-35:2.
    More details BibTeX Full text DOI

    Rieger, C., & Kuchen, H. (2018). Towards Model-Driven Business Apps for Wearables. In Proceedings of the Mobile Web and Intelligent Information Systems (MobiWis), Barcelona, Spain, 3–17.
    More details BibTeX DOI

    Rieger, C., Westerkamp, M., & Kuchen, H. (2018). Challenges and Opportunities of Modularizing Textual Domain-Specific Languages. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development — Volume 1: MODELSWARD, Funchal, Madeira, Portugal, 387–395.
    More details BibTeX DOI

    Wrede, F., Menezes, B., Pessoa, L. F., Hellingrath, B., Buarque, F., & Kuchen, H. (2018). High-level Parallel Implementation of Swarm Intelligence-based Optimization Algorithms with Algorithmic Skeletons. In Bassini, S., Danelutto, M., Dazzi, P., Joubert, G. R., & Peters, F. (Eds.), Parallel Computing is Everywhere (pp. 573–582). Advances In Parallel Computing: Vol. 32. Amsterdam, Berlin, Washington DC: IOS Press.
    More details BibTeX

    Wrede, F., Rieger, C., & Kuchen, H. (2018). Generation of High-Performance Code Based on a Domain-Specific Language for Algorithmic Skeletons. In Proceedings of the High-Level Parallel Programming and Applications (HLPP '18), Orléans, France.
    More details BibTeX

    Chapter in Book

    Dageförde, J. C., & Kuchen, H. (2018). An Operational Semantics for Constraint-logic Imperative Programming. In Seipel, D., Hanus, M., & Abreu, S. (Eds.), Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017. (pp. 64–80). Lecture Notes in Computer Science: Vol. 10997. Cham: Springer.
    More details BibTeX DOI

    Report

    Dageförde, J. C., & Kuchen, H. (2018). Muli: Constraint-Programmierung in Java auf symbolischer JVM. In Knoop, J., Steffen, M., & Trancón, y. W. B. (Eds.), Research report: Vol. 482. Institutt for Informatikk.
    More details BibTeX Full text

  • 2017

    Article in Journal

    Gorlatch, S., & Kuchen, H. (2017). Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications. Parallel Processing Letters, 27(1), 1–2.
    More details BibTeX Full text DOI

    Gorlatch, S., & Kuchen, H. (2017). Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons. International Journal of Parallel Programming, 2017. (In press)
    More details BibTeX DOI

    Conference Paper

    Bünder, H., Rieger, C., & Kuchen, H. (2017). A Model-Driven Approach for Evaluating Traceability Information. In Proceedings of the The Third International Conference on Advances and Trends in Software Engineering (SOFTENG 2017), Venedig, Italien, 59–65.
    More details BibTeX

    Bünder, H., Rieger, C., & Kuchen, H. (2017). A Domain-specific Language for Configurable Traceability Analysis. In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal, 374–381.
    More details BibTeX DOI

    Dageförde, J. C., & Kuchen, H. (2017). An Operational Semantics for Constraint-logic Imperative Programming. In Proceedings of the Declare 2017, Würzburg.
    More details BibTeX Full text

    Dageförde, J. C., & Kuchen, H. (2017). Muli: Constraint-Programmierung in Java auf symbolischer JVM. In Proceedings of the 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Weimar.
    More details BibTeX

    Fuchs, A., & Kuchen, H. (2017). Unit Testing of Database-Driven Java Enterprise Edition Applications. In Proceedings of the 11th International Conference on Tests — Proofs, Marburg, Deutschland.
    More details BibTeX

    von Hof, V., Fögen, K., & Kuchen, H. (2017). Detecting Spring Configurations Errors. In Shin, S. Y., Shin, D., & Lencastre, M. (Eds.), SAC '17 Proceedings of the Symposium on Applied Computing. New York, NY, USA: ACM.
    More details BibTeX

  • 2016

    Article in Journal

    Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2016). Falsification of Java Assertions Using Automatic Test-Case Generators. International Journal On Advances in Systems and Measurements, 2016(9), 177–187.
    More details BibTeX

    Ernsting, S., & Kuchen, H. (2016). Data Parallel Algorithmic Skeletons with Accelerator Support. International Journal of Parallel Programming, 2016, 1–17.
    More details BibTeX Full text DOI

    Conference Paper

    Reischmann, T., & Kuchen, H. (2016). Towards an E-assessment Tool for Advanced Software Engineering Skills. In Proceedings of the 16th Koli Calling International Conference on Computing Education Research, Koli, Finland, 81–90.
    More details BibTeX Full text DOI

    Von, H. V., Fögen, K., & Kuchen, H. (2016). Compilezeit-Prüfung von Spring-Konfigurationen. In Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 — Workshops of the Conference on Software Engineering, SE-WS 2016, Wien, Österreich, 96–108.
    More details BibTeX Full text

    Report

    Caballero, R., Von, H. V., Montenegro, M., & Kuchen, H. (2016). A Program Transformation for Converting Java Assertions into Control-flow Statements. In Becker, J., Backhaus, K., Dugas, M., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Trautmann, H., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 25.
    More details BibTeX

    Fögen, K., Von, H. V., & Kuchen, H. (2016). Attributed Grammars for Detecting Spring Configuration Errors. In Becker, J., Backhaus, K., Dugas, M., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Trautmann, H., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 26. Münster: European Research Center for Information Systems. (Accepted)
    More details BibTeX

  • 2015

    Article in Journal

    Heitkötter, H., Kuchen, H., & Majchrzak, T. A. (2015). Extending a model-driven cross-platform development approach for business apps. Science of Computer Programming, 97(1), 31–36.
    More details BibTeX Full text DOI

    Majchrzak, T. A., Ernsting, J., & Kuchen, H. (2015). Achieving Business Practicability of Model-Driven Cross-Platform Apps. Open Journal of Information Systems (OJIS), 2(2), 3–14.
    More details BibTeX Full text

    Conference Paper

    Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2015). Checking Java Assertions Using Automated Test-Case Generation. In Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, Sienna, Italien, 221–226.
    More details BibTeX Full text DOI

    Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2015). Automatic Falsification of Java Assertions. In Proceedings of the VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain.
    More details BibTeX

    Ernsting, S., & Kuchen, H. (2015). Java Implementation of Data Parallel Skeletons on GPUs. In Proceedings of the ParCo 2015, Edinburgh.
    More details BibTeX

    Hanschke, S., Ernsting, J., & Kuchen, H. (2015). Integrating Agile Software Development and Enterprise Architecture Management. In Proceedings of the 48th Annual Hawaii International Conference on System Sciences, Hawaii, USA, 4099–4108.
    More details BibTeX

    Majchrzak, T., Ernsting, J., & Kuchen, H. (2015). Model-Driven Cross-Platform Apps: Towards Business Practicability. In Grabis, J., & Sankuhl, K. (Eds.), Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 10th, 2015. (pp. 129–136). CEUR Workshop Proceedings: Vol. 1367. CEUR-WS.org.
    More details BibTeX Full text

  • 2014

    Article in Journal

    Ernsting, S., & Kuchen, H. (2014). A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming. International Journal of Parallel Programming, 42(6), 968–987.
    More details BibTeX Full text DOI

  • 2013

    Article in Journal

    Ernsting, S., & Kuchen, H. (2013). A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming. International Journal of Parallel Programming, Special Issue.
    More details BibTeX Full text DOI

    Conference Paper

    Ernsting, S., & Kuchen, H. (2013). A Scalable Farm Skeleton for Heterogeneous Parallel Programming. In Proceedings of the PARCO 2013, München, 72–81.
    More details BibTeX DOI

    Heitkötter, H., Majchrzak, T., & Kuchen, H. (2013). MD²-DSL — eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen. In Wagner, S., & Lichter, H. (Eds.), Software Engineering 2013 — Workshopband (pp. 91–106). Lecture Notes in Informatics (LNI): Vol. 215. Bonn, Deutschland: Gesellschaft für Informatik.
    More details BibTeX Full text

    Heitkötter, H., Majchrzak, T., & Kuchen, H. (2013). Cross-Platform Model-Driven Development of Mobile Applications with MD². In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), Coimbra, Portugal, 526–533.
    More details BibTeX Full text DOI

  • 2012

    Article in Journal

    Ernsting, S., & Kuchen, H. (2012). Data Parallel Skeletons in Java. Procedia Computer Science, 9, 1817–1826.
    More details BibTeX DOI

    Ernsting, S., & Kuchen, H. (2012). Algorithmic skeletons for multi-core, multi-GPU systems and clusters. International Journal of High Performance Computing and Networking, 7(2), 129–138.
    More details BibTeX DOI

    Usener, C. A., Majchrzak, T. A., & Kuchen, H. (2012). E-assessment and software testing. Interactive Technology and Smart Education, 9(1), 45–54.
    More details BibTeX Full text DOI

    Conference Paper

    Ernsting, M., Majchrzak, T. A., & Kuchen, H. (2012). Dynamic Solution of Linear Constraints for Test Case Generation. In Margaria, T., Qiu, Z., & Yang, H. (Eds.), 2012 Sixth International Conference on Theoretical Aspects of Software Engineering (pp. 271–274). IEEE.
    More details BibTeX

    Ernsting, M., Majchrzak, , Tim, A., & Kuchen, H. (2012). Test Case Generation and Dynamic Mixed-Integer Linear Arithmetic Constraint Solving. In Proceedings of the 21st International Workshop on Functional and (Constraint) Logic Programming, Nagoya, Japan.
    More details BibTeX

    Ernsting, S., & Kuchen, H. (2012). Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems. In Proceedings of the Parallel Conference 2011 (ParCo11), Gent, Belgien.
    More details BibTeX

    Book (Monography)

    Heitkötter, H., Majchrzak, T., Wolffgang, U., & Kuchen, H. (2012). Business Apps: Grundlagen und Status quo. Working paper des Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V.: Vol. 4. Münster: Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V.
    More details BibTeX Full text

  • 2011

    Conference Paper

    Hermanns, C., & Kuchen, H. (2011). Jhyde — The java hybrid debugger. In Escalona-Cuaresma, M. J., Shishkov, B., & Cordeiro, J. (Eds.), Proceedings of the 6th International Conference on Software and Data Technologies (pp. 25–35). SciTePress.
    More details BibTeX Full text

    Majchrzak, T., Jansen, T., & Kuchen, H. (2011). Efficiency evaluation of open source ETL tools. In Chu, W. C. &. W. W. E., Palakal, M. J., & Hung, C.-C. (Eds.), Proceedings of the 2011 ACM Symposium on Applied Computing (pp. 287–294). ACM.
    More details BibTeX Full text DOI

    Majchrzak, T. A., & Kuchen, H. (2011). Logic Java: Combining Object-Oriented and Logic Programming. In Kuchen, H. (Ed.), Functional and Constraint Logic Programming — 20th International Workshop (pp. 122–137). Lecture Notes in Computer Science: Vol. 6816. Heidelberg: Springer.
    More details BibTeX Full text DOI

    Usener, C. A., Majchrzak, T. A., & Kuchen, H. (2011). Combining State of the Art Software Engineering and E-Assessment. In Proceedings of the IADIS Int. Conf. e-Learning 2011 (eL2011), Rome, 377–385.
    More details BibTeX

    Collection (Editor)

    Kuchen, H. (Ed.) (2011). Functional and Constraint Logic Programming. Lecture Notes in Computer Science: Vol. 6816. Heidelberg: Springer.
    More details BibTeX DOI

  • 2010

    Article in Journal

    Gruttmann, S., & Kuchen, H. (2010). Computerunterstützter Übungsbetrieb im Informatikstudium — Prozessoptimierung durch E-Assessment-Systeme. Zeitschrift für e-Learning, 23–35.
    More details BibTeX

    Gruttmann, S., & Kuchen, H. (2010). Computerunterstützter Übungsbetrieb im Informatikstudium — Prozessoptimierung durch E-Assessment-Systeme.
    More details BibTeX Full text

    Conference Paper

    Ciechanowicz, P., & Kuchen, H. (2010). Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures. In Proceedings of the 12th IEEE International Conference on High Performance Computing and Communications (HPCC-2010), Melbourne, Australia, 108–113.
    More details BibTeX Full text DOI

    Gruttmann, S., Usener, C., Majchrzak, T., & Kuchen, H. (2010). Formative E-Assessment of Software Verification Skills in Higher Education. In Proceedings of the IADIS e-Learning Conference 2010 (EL 2010).
    More details BibTeX Full text

    Kuchen, H., & Hermanns, C. (2010). Implementation and Evaluation of a Declarative Debugger for Java. In Proceedings of the WFLP 2010, Madrid, Spain, 157–171.
    More details BibTeX Full text

    Usener, C. A., Gruttmann, S., Majchrzak, T. A., & Kuchen, H. (2010). Computer-Supported Assessment of Software Verification Proofs — Towards High-Quality E-Assessments in Computer Science Education. In Proceedings of the Int. Conf. on Educational and Information Technology (ICEIT), Chongqing.
    More details BibTeX

    Article in Newspaper

    Gruttmann, S., Usener, C., & Kuchen, H. (2010). Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium. Tübingen: IMW Tübingen.
    More details BibTeX Full text

    Report

    Majchrzak, T. A., & Kuchen, H. (2010). Handlungsempfehlungen für erfolgreiches Testen von Software in Unternehmen. In Becker, J., Grob, H., Hellingrath, B., Klein, S., Kuchen, H., Müller-Funk, U., & Vossen, G. (Eds.), Arbeitsberichte des Instituts für Wirtschaftsinformatik. Institut für Wirtschaftsinformatik, WWU Münster.
    More details BibTeX

    Other

    Ciechanowicz, P., Poldner, M., & Kuchen, H. (2010). Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures.
    More details BibTeX

  • 2009

    Conference Paper

    Ciechanowicz, P., Kegel, P., Schellmann, M., Gorlatch, S., & Kuchen, H. (2009). Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters. In Proceedings of the International Conference ParCo, Lyon, France.
    More details BibTeX

    Majchrzak, T., & Kuchen, H. (2009). Automated Test Case Generation based on Coverage Analysis. In Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, 259–266.
    More details BibTeX

    Majchrzak, , A, T., & Kuchen, H. (2009). Automatische Testfallerzeugung auf Basis der Überdeckungsanalyse. In Proceedings of the 26th Workshop of the GI Woking Group Programmng Languages and Computing Concepts, Bad Honnef.
    More details BibTeX Full text

    Report

    Arndt, C., Hermanns, C., Kuchen, H., & Poldner, M. (2009). Best Practices in der Softwareentwicklung. In Arbeitsberichte des Förderkreis der Angewandten Informatik an der WWU Münster: Vol. 1.
    More details BibTeX Full text

    Ciechanowicz, P., Poldner, M., & Kuchen, H. (2009). The Münster Skeleton Library Muesli — A Comprehensive Overview. In Becker, J., Backhaus, K., Grob, H., Hoeren, T., Klein, S., Kuchen, H., Müller-Funk, U., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 7. ERCIS — European Research Center for Information Systems, Münster: ERCIS — European Research Center for Information Systems.
    More details BibTeX Full text

  • 2008

    Article in Journal

    Polder, M., & Kuchen, H. (2008). On Implementing the Farm Skeleton. Parallel Processing Letters, 18, 117–131.
    More details BibTeX

    Poldner, M., Kuchen, , & Herbert, (2008). On Implementing the Farm Skeleton. Parallel Processing Letters, 18(1), 117–131.
    More details BibTeX Full text DOI

    Conference Paper

    Buddendick, C., Gruttmann, S., Düppe, I., Grob, H., & Kuchen, H. (2008). E-Learning in kollaborativen Softwareentwicklungsprojekten — Potenziale und Fallstricke auf Basis eines Action Research Projekts. In Proceedings of the GML^2 2008 — Grundfragen Multimedialen Lehrens und Lernens.
    More details BibTeX

    Ciechanowicz, P., Dlugosz, S., Kuchen, H., & Müller-Funk, U. (2008). Exploiting Training Example Parallelism with a Batch Variant of the ART2 Classification Algorithm. In Proceedings of the 7th IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN), Innsbruck, Austria, 195–201.
    More details BibTeX Full text

    Fischer, S., & Kuchen, H. (2008). Data-Flow Testing of Declarative Programs. In Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP), 201–212.
    More details BibTeX

    Grob, H., Kuchen, H., Buddendick, C., Gruttmann, S., & Düppe, I. (2008). Kollaborative Entwicklung von E-Learning Plattformen in Projektseminaren — Neue Potenziale für das E-Learning?. In Proceedings of the logOS, Osnabrück, Germay.
    More details BibTeX Full text

    Gruttmann, S., Böhm, D., & Kuchen, H. (2008). E-Assessment of Mathematical Proofs — Chances and Challenges for Students and Tutors. In Proceedings of the 2008 International Conference on Information Technology in Education.
    More details BibTeX

    Gruttmann, S., Böhm, D., & Kuchen, H. (2008). Conceptual Design, Implementation and Evaluation of an E-Assessment System for Mathematical Proofs. In Proceedings of the 11th IASTED International Conference on Computers and Advanced Technology in Education (CATE 2008), Crete, Greece.
    More details BibTeX Full text

    Gruttmann, S., Böhm, D., & Kuchen, H. (2008). E-Assessment of Mathematical Proofs — Chances and Challenges for Students and Tutors. In Proceedings of the 2008 International Conference on Information Technology in Education, Wuhan,China.
    More details BibTeX Full text

    Gruttmann, S., & Kuchen, H. (2008). A Framework for Formative E-Assessments of Mathematical Proofs. In Proceedings of the 2008 Symposium on e-Assessment in Practice, Shrivenham.
    More details BibTeX

    Poldner, M., & Kuchen, H. (2008). Optimizing Skeletal Stream Processing for Divide and Conquer. In Proceedings of the 3rd International Conference on Software and Data Technology (ICSOFT), 181–189.
    More details BibTeX Full text

    Poldner, M., & Kuchen, H. (2008). Task Parallel Skeletons for Divide and Conquer. In Proceedings of the Workshop of the Working Group Programming Languages and Computing Concepts of the German Computer Science Association GI, Bad Honnef.
    More details BibTeX Full text

    Poldner, M., & Kuchen, H. (2008). Skeletons for Divide and Conquer Algorithms. In Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2008), Innsbruck,Austria.
    More details BibTeX Full text

    Chapter in Book

    Eilers, B., Gruttmann, S., & Kuchen, H. (2008). Konzeption eines integrierbaren Systems zur computergestützten Lernfortschrittskontrolle. In Grob, H., vom Brocke, J., & Buddendick, C. (Eds.), E-Learning-Management (pp. 213–232). München: Vahlen Verlag.
    More details BibTeX

    Report

    Wolffgang, U., & Kuchen, H. (2008). Web Application Modeling Language.
    More details BibTeX Full text

  • 2007

    Conference Paper

    Fischer, S., & Kuchen, H. (2007). Glass-Box Testing of Functional Logic Programs. In Proceedings of the 24th Workshop of GI Working Group ""Programming Languages and Computing Concepts"", Bad Honnef.
    More details BibTeX Full text

    Fischer, S., & Kuchen, H. (2007). Systematic Generation of Glass-Box Test Cases for Functional Logic Programs. In Proceedings of the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming.
    More details BibTeX

    Kuchen, H., Hermanns, C., & Poldner, M. (2007). Technische Filter. In Proceedings of the AKIT-Tagung ""Geistiges Eigentum im virtuellen Raum"".
    More details BibTeX Full text

  • 2006

    Conference Paper

    Caballero, R., Hermanns, C., & Kuchen, H. (2006). Algorithmic Debugging of Java Programs. In Proceedings of the 15th International Workshop on Functional and Logic Programming (WFLP), Madrid, 75–89.
    More details BibTeX Full text

    Müller, R., Eilers, B., Janiesch, C., Kuchen, H., & Becker, J. (2006). XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects. 3686–3697.
    More details BibTeX

    Poldner, M., & Kuchen, H. (2006). Algorithmic Skeletons for Branch — Bound. In Proceedings of the 1st International Conference on Software and Data Technology (ICSOFT), Sebtual,Portugal, 291–300.
    More details BibTeX Full text

  • 2005

    Article in Journal

    Kuchen, H., & Striegnitz, J. (2005). Features from functional programming for a C++ skeleton library. Concurrency and Computation: Practice and Experience, 17(7-8), 739–756.
    More details BibTeX DOI

    Conference Paper

    Poldner, M., & Kuchen, H. (2005). Scalable Farms. In Proceedings of the Parallel Computing (ParCo), Malaga.
    More details BibTeX Full text

  • 2004

    Conference Paper

    Lembeck, C., Caballero, R., Müller, R., & Kuchen, H. (2004). Constraint Solving for Generating Glass-Box Test Cases. In Proceedings of the International Workshop on Functional and (Constraint) Logic Programming (WFLP), Aachen, 19–32.
    More details BibTeX Full text

    Lembeck, C., Müller, R., & Kuchen, H. (2004). Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern. In Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, Ulm, 418–427.
    More details BibTeX Full text

    Müller, R., Lembeck, C., & Kuchen, H. (2004). A Symbolic Java Vitual Machine for Test-Case Generation. In Proceedings of the IASTED, 365–371.
    More details BibTeX Full text

    Chapter in Book

    Kuchen, H. (2004). Optimizing Sequences of Skeleton Calls. In Domain-Specific Program Generation (pp. 254–273). Springer Verlag.
    More details BibTeX Full text

    Report

    Becker, J., Backhaus, K., Grob, H. L., Hoeren, T., Klein, S., Kuchen, H., Müller-Funk, U., Thonemann, U. W., & Vossen, G. (2004). European Research Center for Information Systems (ERCIS) — Gründungsveranstaltung — Münster 12. Oktober 2004. In European, R. C. f. I. S. (. (Ed.), Working Paper: Vol. 1. Münster: ERCIS — European Research Center for Information Systems.
    More details BibTeX Full text

  • 2003

    Chapter in Book

    Lechtenbörger, J., Vossen, G., & Kuchen, H. (2003). Sichten-Wartung in Datenlagern — Controlling aus datenbanktechnischer Sicht. In Physica-Verlag, (Ed.), Trendberichte zum Controlling (pp. 495–510). Heidelberg: Physica-Verlag.
    More details BibTeX

    Report

    Müller, R. A., Lembeck, C., & Kuchen, H. (2003). GlassTT — A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation. In Becker, J., Grob, H.-L., Klein, S., Kuchen, H., Müller-Funk, U., & Vossen, G. (Eds.), Arbeitsberichte des Instituts für Wirtschaftsinformatik: Vol. 102. Münster: Institut für Wirtschaftsinformatik, WWU Münster.
    More details BibTeX

  • 2002

    Article in Journal

    Kuchen, H., & Cole, M. (2002). The Integration of Task and Data Parallel Skeletons. Parallel Processing Letters, 12(2), 141–155.
    More details BibTeX DOI

    Conference Paper

    Kuchen, H. (2002). A Skeleton Library. In Proceedings of the Euro-Par, 620–629.
    More details BibTeX Full text

    Kuchen, H., & Striegnitz, J. (2002). Higher-Order Functions and Partial Applications for a C++ Skeleton Library. In Proceedings of the ISCOPE, ACM.
    More details BibTeX Full text

    Report

    Kuchen, H. (2002). A Skeleton Library. In Arbeitsberichte Angewandte Mathematik und Informatik: Vol. 6/02-I.
    More details BibTeX Full text

  • 2001

    Collection (Editor)

    Kuchen, H., & Ueda, K. (Eds.) (2001). Functional and Logic Programming. Lecture Notes in Computer Science: Vol. 2024. Springer.
    More details BibTeX Full text

  • 2000

    Conference Paper

    Kuchen, H. (2000). Implementing an Object Oriented Design in Curry. In Proceedings of the 9th International Workshop on Functional and Logic Programming, Valencia, 499–501.
    More details BibTeX Full text

  • 1999

    Article in Journal

    Kuchen, H., & Nietsch, M. (1999). Die Softwaretechnik-Ausbildung in der Wirtschaftsinformatik an der WWU Münster. 19(2).
    More details BibTeX Full text

    Conference Paper

    Lux, W., & Kuchen, H. (1999). An Efficient Abstract Machine for Curry. In Proceedings of the Arbeitstagung Programmiersprachen, Paderborn.
    More details BibTeX Full text

  • 1998

    Article in Journal

    Botorog, H. G., & Kuchen, H. (1998). Efficient High-Level Parallel Programming. 196, 71–107.
    More details BibTeX Full text

    Report

    Kuchen, H. (1998). Workshop on Functional and Logic Programming, Proceedings. In Becker, J., Grob, H.-L., Klein, S., Kuchen, H., Müller-Funk, U., & Vossen, G. (Eds.), Arbeitsberichte des Instituts für Wirtschaftsinformatik: Vol. 63. Münster: Institut für Wirtschaftsinformatik, WWU Münster.
    More details BibTeX

  • 1997

    Collection (Editor)

    Glaser, H., Hartel, P., & Kuchen, H. (Eds.) (1997). Programming Languages: Implementations, Logics, and Programs. Lecture Notes in Computer Science: Vol. 1292. Springer.
    More details BibTeX Full text

    Report

    Kuchen, H. (1997). Arbeitstagung Programmiersprachen, Tagungsband. In Becker, J., Grob, H.-L., Klein, S., Kuchen, H., Müller-Funk, U., & Vossen, G. (Eds.), Arbeitsberichte des Instituts für Wirtschaftsinformatik: Vol. 58. Münster: Institut für Wirtschaftsinformatik, WWU Münster.
    More details BibTeX

  • 1996

    Article in Journal

    Dimov, I., Karaivanova, A., Kuchen, H., & Stoltze, H. (1996). Monte Carlo Algorithms for Elliptic Differential Equations — a Data Parallel Functional Approach. 9, 39–65.
    More details BibTeX Full text

    Gladitz, K., & Kuchen, H. (1996). Shared Memory Implementation of the Gamma-Operation. 577–591.
    More details BibTeX Full text

    Hanus, M., & Kuchen, H. (1996). Integration of Functional and Logic Programming. 2, 306–308.
    More details BibTeX Full text

    Kuchen, H., Loogen, R., Moreno-Navarro, J., & Rodriguez-Artalejo, M. (1996). The Functional Logic Language BABEL and its Implementation on a Graph Machine. 391–427.
    More details BibTeX Full text

    Conference Paper

    Botorog, H. G., & Kuchen, H. (1996). Efficient Parallel Programming with Algorithmic Skeletons. In Proceedings of the EuroPar '96, 718–731.
    More details BibTeX Full text

    Botorog, H. G., & Kuchen, H. (1996). Using Algorithmic Skeletons with Dynamic Data Structures. In Proceedings of the Irregular '96, 263–267.
    More details BibTeX Full text

    Botorog, H. G., & Kuchen, H. (1996). Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming. In Proceedings of the Fifth International Symposium on High Performance Distributed Computing (HPDC-5), 243–252.
    More details BibTeX Full text

    Brüll, A., & Kuchen, H. (1996). TPASCAL — A Language for Task Parallel Programming. In Proceedings of the EuroPar'96, 646–654.
    More details BibTeX Full text

    Kuchen, H. (1996). A Functional Logic Language Based on Higher Order Narrowing. In Proceedings of the Glasgow Functional Programming Workshop 1995, Glasgow.
    More details BibTeX Full text

    Kuchen, H., & Anastasiadis, J. (1996). Higher Order Babel — Language and Implementation. In Proceedings of the Extensions of Logic Programming, 193–207.
    More details BibTeX Full text

    Collection (Editor)

    Kuchen, H., & Swierstra, S. D. (Eds.) (1996). Programming Languages: Implementations, Logics, and Programs. Lecture Notes in Computer Science: Vol. 1140. Springer.
    More details BibTeX Full text DOI

    Chapter in Book

    Kuchen, H. (1996). Eine datenparallele funktionale Sprache für Rechner mit verteiltem Speicher. In Software-Engineering im Scietific Computing (pp. 142–149). Vieweg Verlag.
    More details BibTeX Full text

    Abstract / Poster

    Botorog, H. G., & Kuchen, H. (1996). Translation by Instantiation: Integrating Functional Features into an Imperative Language. Poster session presented at the Poster Session of CC '96, Technical Report LiTH-IDA-R-96-12, University of Linköping.
    More details BibTeX Full text

  • 1995

    Conference Paper

    Botorog, H. G., & Kuchen, H. (1995). Algorithmic Skeletons for Adaptive Multigrid Methods. In Proceedings of the Irregular '95, 27–41.
    More details BibTeX Full text

    Hanus, M., Kuchen, H., & Moreno-Navarro, J. (1995). Curry: A Truly Functional Logic Language. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland,USA, 95–107.
    More details BibTeX Full text

    Kuchen, H. (1995). Skeletons versus C — A Case Study. In Proceedings of the International Workshop on the Implementation of Functional Languages, Baastad,Sweden.
    More details BibTeX Full text

    Kuchen, H., Stoltze, H., Dimov, I., & Karaivanova, A. (1995). Distributed Memory Implementation of Elliptic Partial Differential Equations in a Dataparallel Functional Langugage. In Proceedings of the Programming Models for Massively Parallel Computers (MPPM'95), 142–150.
    More details BibTeX Full text

    Report

    Botorog, G., & Kuchen, H. (1995). Algorithmic Skeletons in an Imperative Language for Distributed Programming. In Technical Reports of the University of Giessen: Vol. 9504.
    More details BibTeX Full text

  • 1994

    Article in Journal

    Kuchen, H., & Stoltze, H. (1994). Candela — A Topology Description Language. 557–676.
    More details BibTeX Full text

    Conference Paper

    Gladitz, K., & Kuchen, H. (1994). Parallel Implementation of the Gamma-Operation. In Proceedings of the Conference on Parallel Symbolic Computation (PaSCo), 154–163.
    More details BibTeX Full text

    Kuchen, H., & Stoltze, H. (1994). A Data Parallel Functional Language for Distributed Memory Machines. In Proceedings of the Conference on Numerical Methods and Applications, 245–254.
    More details BibTeX

    Kuchen, H., & Stoltze, H. (1994). Eine datenparallele funktionale Sprache für Multicomputer. In Proceedings of the TAT'94.
    More details BibTeX

    Kuchen, H., Plasmeijer, R., & Stoltze, H. (1994). Distributed Implementation of a Data Parallel Functional Language. In Proceedings of the 6th International Conference on Parallel Architectures and Languages Europe (PARLE'94), 464–477.
    More details BibTeX Full text

  • 1993

    Conference Paper

    Kuchen, H., & Gladitz, K. (1993). Parallel Implementation of Bags. In Proceedings of the Conference on Functional Languages and Computer Architecture, Kopenhagen, 299–307.
    More details BibTeX Full text

    Moreno-Navarro, J., Kuchen, H., Mariño-Carballo, J., Winkler, S., & Hans, W. (1993). Efficient Lazy Narrowing using Demandedness Analysis. In Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP'93), 167–183.
    More details BibTeX

    Stoltze, H., & Kuchen, H. (1993). Parallel Functional Programming using Algorithmic Skeletons. In Proceedings of the Int. Conf. on Parallel Computing (ParCo), Grenoble, North-Holland.
    More details BibTeX

    Report

    Hans, W., Kuchen, H., & Winkler, S. (1993). Full Indexing for Lazy Narrowing. In Aachener Informatik-Berichte (AIB). Aachen.
    More details BibTeX Full text

    Kuchen, H. (1993). Distributed Memory Implementation of a Data Parallel Functional Language. In PMG Report of the Chalmers University of Technology: Vol. 76.
    More details BibTeX

  • 1992

    Conference Paper

    Kuchen, H., Lopez-Fraguas, F., Moreno-Navarro, J., & Rodriguez-Artalejo, M. (1992). Implementing a Lazy Functional Logic Language with Disequality Constraints. In Proceedings of the Joint International Conference and Symposium on Logic Programming, 207–224.
    More details BibTeX Full text

    Kuchen, H., Moreno-Navarro, J., & Hermenegildo, M. (1992). Independent And-Parallel Implementation of Narrowing. In Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP), 24–38.
    More details BibTeX

    Kuchen, H., Stoltze, H., & Lücking, F. (1992). Candela — Eine Sprache zur Beschreibung von Topologien. In Proceedings of the Transputer-Anwender-Treffen, Aachen.
    More details BibTeX

    Report

    Kuchen, H., Loogen, R., Moreno-Navarro, J., & Rodriguez-Artalejo, M. (1992). Graph Narrowing to Implement a Functional Logic Language. In Reports of the Universidad Politecnica de Madrid. Madrid.
    More details BibTeX

    Kuchen, H., & Lopez-Fraguas, F. (1992). Result Directed Computing in a Functional Logic Language. In Aachener Informatik-Berichte (AIB). Aachen.
    More details BibTeX Full text

    Kuchen, H., Lopez-Fraguas, F., Moreno-Navarro, J., & Rodriguez-Artalejo, M. (1992). Implementing Disequality in a Lazy Functional Logic Language. In Aachener Informatik-Berichte (AIB). Aachen.
    More details BibTeX Full text

    Kuchen, H., Moreno-Navarro, J., & Hermenegildo, M. (1992). Independent And-Parallel Narrowing. In Aachener Informatik-Berichte (AIB). Aachen.
    More details BibTeX Full text

  • 1991

    Report

    Kuchen, H., & Geiler, G. (1991). Distributed Applicative Arrays. In Aachener Informatik-Berichte (AIB): Vol. 91-5.
    More details BibTeX Full text

    Kuchen, H., Stoltze, H., & Lücking, F. (1991). The Topology Description Language TDL. In Aachener Informatik-Berichte (AIB). Aachen.
    More details BibTeX Full text

  • 1990

    Report

    Kuchen, H., & Wagener, A. (1990). Comparison of Dynamic Load Balancing Strategies. In Aachener Informatik-Berichte (AIB): Vol. 90-5.
    More details BibTeX Full text

    Moreno-Navarro, J., Kuchen, H., Loogen, R., & Rodriguez-Artalejo, M. (1990). Lazy Narrowing in a Graph Machine. In Aachener Informatik-Berichte (AIB). Aachen.
    More details BibTeX Full text

  • 1989

    Report

    Kuchen, H., Loogen, R., Moreno-Navarro, J., & Rodriguez-Artalejo, M. (1989). Graph-Based Implementation of a Functional Logic Language. In Aachener Informatik-Berichte (AIB). Aachen.
    More details BibTeX Full text