• 2017

    Aufsatz (Zeitschrift)

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

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

    Wrede, F., Menezes, B., & Kuchen, H. (2017). Fish School Search with Algorithmic Skeletons. International Journal of Parallel Programming, -. (Submitted)
    Mehr Details BibTeX

    Aufsatz (Konferenz)

    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.
    Mehr 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.
    Mehr Details BibTeX DOI

    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.
    Mehr Details BibTeX

    Menezes, B., Wrede, F., Kuchen, H., & Buarque, F. (2017). 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. (Accepted)
    Mehr 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.
    Mehr Details BibTeX

    Wrede, F., Menezes, B., Pessoa, L. F., Hellingrath, B., Buarque, F., & Kuchen, H. (2017). High-level Parallel Implementation of Swarm Intelligence-based Optimization Algorithms with Algorithmic Skeletons. In Proceedings of the International Conference on Parallel Computing (ParCo '17), Bologna, Italy. (Submitted)
    Mehr Details BibTeX

  • 2016

    Aufsatz (Zeitschrift)

    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.
    Mehr Details BibTeX

    Ernsting, S., & Kuchen, H. (2016). Data Parallel Algorithmic Skeletons with Accelerator Support. International Journal of Parallel Programming, 2016, 1–17.
    Mehr Details BibTeX Gesamter Text DOI

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    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.
    Mehr 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)
    Mehr Details BibTeX

  • 2015

    Aufsatz (Zeitschrift)

    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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX

    Ernsting, S., & Kuchen, H. (2015). Java Implementation of Data Parallel Skeletons on GPUs. In Proceedings of the ParCo 2015, Edinburgh.
    Mehr 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.
    Mehr 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.
    Mehr Details BibTeX Gesamter Text

  • 2014

    Aufsatz (Zeitschrift)

    Ernsting, S., & Kuchen, H. (2014). A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming. International Journal of Parallel Programming, 42(6), 968–987.
    Mehr Details BibTeX Gesamter Text DOI

  • 2013

    Aufsatz (Zeitschrift)

    Ernsting, S., & Kuchen, H. (2013). A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming. International Journal of Parallel Programming, Special Issue.
    Mehr Details BibTeX Gesamter Text DOI

    Aufsatz (Konferenz)

    Ernsting, S., & Kuchen, H. (2013). A Scalable Farm Skeleton for Heterogeneous Parallel Programming. In Proceedings of the PARCO 2013, München, 72–81.
    Mehr 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text DOI

  • 2012

    Aufsatz (Zeitschrift)

    Ernsting, S., & Kuchen, H. (2012). Data Parallel Skeletons in Java. Procedia Computer Science, 9, 1817–1826.
    Mehr 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.
    Mehr 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.
    Mehr Details BibTeX Gesamter Text DOI

    Aufsatz (Konferenz)

    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.
    Mehr 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.
    Mehr 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.
    Mehr Details BibTeX

    Buch (Monographie)

    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.
    Mehr Details BibTeX Gesamter Text

  • 2011

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX

    Buch (Sammel-, Herausgeberband)

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

  • 2010

    Aufsatz (Zeitschrift)

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

    Gruttmann, S., & Kuchen, H. (2010). Computerunterstützter Übungsbetrieb im Informatikstudium — Prozessoptimierung durch E-Assessment-Systeme.
    Mehr Details BibTeX Gesamter Text

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter 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).
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX

    Aufsatz (Zeitung, nicht-wissenschaftliches Medium)

    Gruttmann, S., Usener, C., & Kuchen, H. (2010). Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium. Tübingen: IMW Tübingen.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    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.
    Mehr Details BibTeX

    Sonstige (technische Spezifikation, informelle Veröffentlichung)

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

  • 2009

    Aufsatz (Konferenz)

    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.
    Mehr 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.
    Mehr 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.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

  • 2008

    Aufsatz (Zeitschrift)

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

    Poldner, M., Kuchen, , & Herbert, (2008). On Implementing the Farm Skeleton. Parallel Processing Letters, 18(1), 117–131.
    Mehr Details BibTeX Gesamter Text DOI

    Aufsatz (Konferenz)

    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.
    Mehr 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Buchbeitrag (Sammel-, Herausgeberband)

    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.
    Mehr Details BibTeX

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    Wolffgang, U., & Kuchen, H. (2008). Web Application Modeling Language.
    Mehr Details BibTeX Gesamter Text

  • 2007

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX

    Kuchen, H., Hermanns, C., & Poldner, M. (2007). Technische Filter. In Proceedings of the AKIT-Tagung ""Geistiges Eigentum im virtuellen Raum"".
    Mehr Details BibTeX Gesamter Text

  • 2006

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter Text

    Müller, R., Eilers, B., Janiesch, C., Kuchen, H., & Becker, J. (2006). XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects. 3686–3697.
    Mehr 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.
    Mehr Details BibTeX Gesamter Text

  • 2005

    Aufsatz (Zeitschrift)

    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.
    Mehr Details BibTeX DOI

    Aufsatz (Konferenz)

    Poldner, M., & Kuchen, H. (2005). Scalable Farms. In Proceedings of the Parallel Computing (ParCo), Malaga.
    Mehr Details BibTeX Gesamter Text

  • 2004

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Buchbeitrag (Sammel-, Herausgeberband)

    Kuchen, H. (2004). Optimizing Sequences of Skeleton Calls. In Domain-Specific Program Generation (pp. 254–273). Springer Verlag.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    Becker, J., Backhaus, K., Grob, H., Hoeren, T., Klein, S., Kuchen, H., Müller-Funk, U., Thonemann, U., & Vossen, G. (2004). European Research Center for Information Systems (ERCIS). Arbeitsbericht zur Gründung des ERCIS. In Becker, J., Backhaus, K., Grob, H., Hoeren, T., Klein, S., Kuchen, H., Müller-Funk, U., Thonemann, U., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 1. ERCIS — European Research Center for Information Systems, Münster: ERCIS — European Research Center for Information Systems.
    Mehr Details BibTeX Gesamter Text

  • 2003

    Buchbeitrag (Sammel-, Herausgeberband)

    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.
    Mehr Details BibTeX

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    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.
    Mehr Details BibTeX

  • 2002

    Aufsatz (Zeitschrift)

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

    Aufsatz (Konferenz)

    Kuchen, H. (2002). A Skeleton Library. In Proceedings of the Euro-Par, 620–629.
    Mehr Details BibTeX Gesamter Text

    Kuchen, H., & Striegnitz, J. (2002). Higher-Order Functions and Partial Applications for a C++ Skeleton Library. In Proceedings of the ISCOPE, ACM.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    Kuchen, H. (2002). A Skeleton Library. In Arbeitsberichte Angewandte Mathematik und Informatik: Vol. 6/02-I.
    Mehr Details BibTeX Gesamter Text

  • 2001

    Buch (Sammel-, Herausgeberband)

    Kuchen, H., & Ueda, K. (Eds.) (2001). Functional and Logic Programming. Lecture Notes in Computer Science: Vol. 2024. Springer.
    Mehr Details BibTeX Gesamter Text

  • 2000

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter Text

  • 1999

    Aufsatz (Zeitschrift)

    Kuchen, H., & Nietsch, M. (1999). Die Softwaretechnik-Ausbildung in der Wirtschaftsinformatik an der WWU Münster. 19(2).
    Mehr Details BibTeX Gesamter Text

    Aufsatz (Konferenz)

    Lux, W., & Kuchen, H. (1999). An Efficient Abstract Machine for Curry. In Proceedings of the Arbeitstagung Programmiersprachen, Paderborn.
    Mehr Details BibTeX Gesamter Text

  • 1998

    Aufsatz (Zeitschrift)

    Botorog, H. G., & Kuchen, H. (1998). Efficient High-Level Parallel Programming. 196, 71–107.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    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.
    Mehr Details BibTeX

  • 1997

    Buch (Sammel-, Herausgeberband)

    Glaser, H., Hartel, P., & Kuchen, H. (Eds.) (1997). Programming Languages: Implementations, Logics, and Programs. Lecture Notes in Computer Science: Vol. 1292. Springer.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    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.
    Mehr Details BibTeX

  • 1996

    Aufsatz (Zeitschrift)

    Dimov, I., Karaivanova, A., Kuchen, H., & Stoltze, H. (1996). Monte Carlo Algorithms for Elliptic Differential Equations — a Data Parallel Functional Approach. 9, 39–65.
    Mehr Details BibTeX Gesamter Text

    Gladitz, K., & Kuchen, H. (1996). Shared Memory Implementation of the Gamma-Operation. 577–591.
    Mehr Details BibTeX Gesamter Text

    Hanus, M., & Kuchen, H. (1996). Integration of Functional and Logic Programming. 2, 306–308.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Aufsatz (Konferenz)

    Botorog, H. G., & Kuchen, H. (1996). Efficient Parallel Programming with Algorithmic Skeletons. In Proceedings of the EuroPar '96, 718–731.
    Mehr Details BibTeX Gesamter Text

    Botorog, H. G., & Kuchen, H. (1996). Using Algorithmic Skeletons with Dynamic Data Structures. In Proceedings of the Irregular '96, 263–267.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Brüll, A., & Kuchen, H. (1996). TPASCAL — A Language for Task Parallel Programming. In Proceedings of the EuroPar'96, 646–654.
    Mehr Details BibTeX Gesamter Text

    Kuchen, H. (1996). A Functional Logic Language Based on Higher Order Narrowing. In Proceedings of the Glasgow Functional Programming Workshop 1995, Glasgow.
    Mehr Details BibTeX Gesamter Text

    Kuchen, H., & Anastasiadis, J. (1996). Higher Order Babel — Language and Implementation. In Proceedings of the Extensions of Logic Programming, 193–207.
    Mehr Details BibTeX Gesamter Text

    Buch (Sammel-, Herausgeberband)

    Kuchen, H., & Swierstra, S. D. (Eds.) (1996). Programming Languages: Implementations, Logics, and Programs. Lecture Notes in Computer Science: Vol. 1140. Springer.
    Mehr Details BibTeX Gesamter Text DOI

    Buchbeitrag (Sammel-, Herausgeberband)

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

    Kurzbeitrag (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.
    Mehr Details BibTeX Gesamter Text

  • 1995

    Aufsatz (Konferenz)

    Botorog, H. G., & Kuchen, H. (1995). Algorithmic Skeletons for Adaptive Multigrid Methods. In Proceedings of the Irregular '95, 27–41.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Kuchen, H. (1995). Skeletons versus C — A Case Study. In Proceedings of the International Workshop on the Implementation of Functional Languages, Baastad,Sweden.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    Botorog, G., & Kuchen, H. (1995). Algorithmic Skeletons in an Imperative Language for Distributed Programming. In Technical Reports of the University of Giessen: Vol. 9504.
    Mehr Details BibTeX Gesamter Text

  • 1994

    Aufsatz (Zeitschrift)

    Kuchen, H., & Stoltze, H. (1994). Candela — A Topology Description Language. 557–676.
    Mehr Details BibTeX Gesamter Text

    Aufsatz (Konferenz)

    Gladitz, K., & Kuchen, H. (1994). Parallel Implementation of the Gamma-Operation. In Proceedings of the Conference on Parallel Symbolic Computation (PaSCo), 154–163.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX

    Kuchen, H., & Stoltze, H. (1994). Eine datenparallele funktionale Sprache für Multicomputer. In Proceedings of the TAT'94.
    Mehr 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.
    Mehr Details BibTeX Gesamter Text

  • 1993

    Aufsatz (Konferenz)

    Kuchen, H., & Gladitz, K. (1993). Parallel Implementation of Bags. In Proceedings of the Conference on Functional Languages and Computer Architecture, Kopenhagen, 299–307.
    Mehr Details BibTeX Gesamter 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.
    Mehr 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.
    Mehr Details BibTeX

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    Hans, W., Kuchen, H., & Winkler, S. (1993). Full Indexing for Lazy Narrowing. In Aachener Informatik-Berichte (AIB). Aachen.
    Mehr Details BibTeX Gesamter Text

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

  • 1992

    Aufsatz (Konferenz)

    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.
    Mehr Details BibTeX Gesamter 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.
    Mehr 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.
    Mehr Details BibTeX

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    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.
    Mehr Details BibTeX

    Kuchen, H., & Lopez-Fraguas, F. (1992). Result Directed Computing in a Functional Logic Language. In Aachener Informatik-Berichte (AIB). Aachen.
    Mehr Details BibTeX Gesamter 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.
    Mehr Details BibTeX Gesamter Text

    Kuchen, H., Moreno-Navarro, J., & Hermenegildo, M. (1992). Independent And-Parallel Narrowing. In Aachener Informatik-Berichte (AIB). Aachen.
    Mehr Details BibTeX Gesamter Text

  • 1991

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    Kuchen, H., & Geiler, G. (1991). Distributed Applicative Arrays. In Aachener Informatik-Berichte (AIB): Vol. 91-5.
    Mehr Details BibTeX Gesamter Text

    Kuchen, H., Stoltze, H., & Lücking, F. (1991). The Topology Description Language TDL. In Aachener Informatik-Berichte (AIB). Aachen.
    Mehr Details BibTeX Gesamter Text

  • 1990

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    Kuchen, H., & Wagener, A. (1990). Comparison of Dynamic Load Balancing Strategies. In Aachener Informatik-Berichte (AIB): Vol. 90-5.
    Mehr Details BibTeX Gesamter Text

    Moreno-Navarro, J., Kuchen, H., Loogen, R., & Rodriguez-Artalejo, M. (1990). Lazy Narrowing in a Graph Machine. In Aachener Informatik-Berichte (AIB). Aachen.
    Mehr Details BibTeX Gesamter Text

  • 1989

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    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.
    Mehr Details BibTeX Gesamter Text