• 2024

    Research article in proceedings (conference)

    Troost, L., Neugebauer, J., & Kuchen, H. (2024). Dynamic Data-Flow Analysis With Dacite: Evaluating an Integrated Data-Flow Visualization Approach. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering — ENASE, Prag. (accepted / in press (not yet published))
    More details BibTeX

  • 2023

    Research article in proceedings (conference)

    Neugebauer, J., Hochstrat, J., Schneid, K., Sigge, D., & Kuchen, H. (2023). A Model-Driven Approach to SAP S/4HANA Development. In Proper, H. A., Pufahl, L., Karastoyanova, D., van Sinderen, M., & Moreira, J. (Eds.), Enterprise Design, Operations, and Computing (pp. 97–113). Lecture Notes in Computer Science: Vol. 14367. Cham: Springer Nature.
    More details BibTeX DOI

    Schneid, K., Thöne, S., & Kuchen, H. (2023). Modification-Impact Based Test Prioritization for Process-Driven Applications. In Proceedings of the 6th International Workshop on the Next Level of Test Automation (NEXTA 2023), Dublin. (accepted / in press (not yet published))
    More details BibTeX

    Troost, L., Neugebauer, J., & Kuchen, H. (2023). Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol. In SciTePress, (Ed.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering — ENASE (pp. 77–88). Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering — ENASE. Prague, Czech Republic: SciTePress.
    More details BibTeX DOI

    Winkelmann, H., & Kuchen, H. (2023). Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. In Kaindl, H. M., & Mike, M. L. (Eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering — ENASE (pp. 412–419). Prague, Czech Republic: SciTePress.
    More details BibTeX DOI

  • 2022

    Research article in proceedings (conference)

    Dubbeldam, R., Neugebauer, J., Lee, Y. Y., Pham, M. L., Beser, L., Gerlach, L., & Kuchen, H. (2022). Digital Health System for Individualised Rehabilitation After Ankle Inversion Trauma. In IEEE, (Ed.), 2022 International Conference on Technology Innovations for Healthcare (ICTIH) (pp. 78–84). Magdeburg, Germany: Wiley-IEEE Press.
    More details BibTeX DOI

    Neugebauer, J., & Kuchen, H. (2022). Model-Driven Customizing of ERP Systems: A Case Study. In Association, f. C. M. (Ed.), The 37th ACM/SIGAPP Symposium on Applied Computing (SAC '22), April 25--29, 2022, Virtual Event (pp. 1276–1279). New York, NY, USA: Association for Computing Machinery.
    More details BibTeX DOI

    Neugebauer, J., Dubbeldam, R., Pham, M. L., Beser, L., Gerlach, L., Lee, Y. Y., & Kuchen, H. (2022). A medical information system for personalized rehabilitation after ankle inversion trauma. In Fill, H.-G., van Sinderen, M., & Maciaszek, L. A. (Eds.), Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 (17, pp. 319–330). Lisbon: SciTePress.
    More details BibTeX Full text DOI

    Troost, L., & Kuchen, H. (2022). A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs. In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, virtuelle Konferenz, 267–274. (online first)
    More details BibTeX DOI

    Winkelmann, H., & Kuchen, H. (2022). Constraint-Logic Object-Oriented Programming on the Java Virtual Machine. In Association, f. C. M. (Ed.), 37th ACM/SIGAPP Symposium On Applied Computing (pp. 1258–1267). New York, NY, USA: Association for Computing Machinery.
    More details BibTeX Full text DOI

    Winkelmann, H., Troost, L., & Kuchen, H. (2022). Constraint-Logic Object-Oriented Programming for Test Case Generation. In Association, f. C. M. (Ed.), 37th ACM/SIGAPP Symposium On Applied Computing (pp. 1499–1508). New York, NY, USA: Association for Computing Machinery.
    More details BibTeX Full text DOI

    Research article (journal)

    Gomes, P. d. L. M., de Andrade, A. N. H., Ludermir, &. T., Kuchen, H., & Buarque, d. L. N. F. (2022). Towards a Parameterless Out-of-the-box Population Size Control for — Evolutionary and Swarm-based Algorithms for Single Objective Bound — Constrained Real-Parameter Numerical Optimization. Applied Soft Computing Journal, Elsevier, 2022. (accepted / in press (not yet published))
    More details BibTeX

    Strieth-Kalthoff, F., Sandfort, , Frederik, , Kühnemund, , Marius, , Schäfer, , Felix, R., Kuchen, , Herbert, , Glorius, , & Frank, (2022). Machine Learning for Chemical Reactivity: The Importance of Failed Experiments. Angewandte Chemie — International Edition (Angew. Chem. Int. Ed. Engl.). (accepted / in press (not yet published))
    More details BibTeX DOI

    Abstract in journal (conference)

    Dubbeldam, R., Neugebauer, J., & Kuchen, H. (2022). A-146: Digitale Applikation für individuellen Rehabilitation nach Sprunggelenksinversionstrauma.
    More details Full text DOI

    Review article (journal)

    Menezes, B., Kuchen, H., & Buarque, d. L. N. F. (2022). Parallelization of Swarm Intelligence Algorithms.
    More details DOI

  • 2021

    Research article (book contribution)

    de Lacerda, M. G., de Araujo Pessoa, L. F., Buarque, d. L. N. F., Ludermir, T. B., & Kuchen, H. (2021). A Systematic Literature Review on General Parameter Control for Evolutionary and Swarm-based Algorithms. In Das, S., Suganthan, P. N., & Ali, M. (Eds.), Swarm and Evolutionary Computation (p. 100777).
    More details BibTeX DOI

    Research article in proceedings (conference)

    Schneid, K., Kuchen, H., Thöne, S., & Di, B. S. (2021). Uncovering data-flow anomalies in BPMN-based process-driven applications. In Proceedings of the 36th Annual ACM Symposium on Applied Computing, Republic of Korea, 1504–1512.
    More details BibTeX DOI

    Schneid, K., Stapper, L., Thöne, S., & Kuchen, H. (2021). Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications. In Proceedings of the IEEE EDOC 2021, Gold Coast, Australia, 31–40.
    More details BibTeX DOI

    Winkelmann, H., Dagefoerde, J. C., & Kuchen, H. (2021). Constraint-Logic Object-Oriented Programming with Free Arrays. In Proceedings of the 28 th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, Bologna, Italien, 129–144.
    More details BibTeX DOI

    Winkelmann, H., & Kuchen, H. (2021). Symbolic execution of NoSQL applications using versioned schemas. In Association, f. C. M. (Ed.), Proceedings of the 36th Annual ACM Symposium on Applied Computing (pp. 1778–1787). New York, NY, USA: Association for Computing Machinery.
    More details BibTeX DOI

    Working paper

    Schneid, K., Di, B. S., Kuchen, H., & Thöne, S. (2021). Data-Flow Analysis of BPMN-Based Process-Driven Applications: Detecting Anomalies across Model and Code. In Becker, J., Dugas, M., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Trautmann, H., & Vossen, G. (Eds.).
    More details BibTeX

  • 2020

    Book (edited collection)

    Hofstedt, P., Abreu, S., John, U., Kuchen, H., & Seipel, D. (Eds.) (2020). Declarative Programming and Knowledge Management. Declarative Programming and Knowledge Management. Lecture Notes in Computer Science: Vol. 12057. Springer.
    More details BibTeX Full text DOI

    Research article (book contribution)

    Schneid, K., Thöne, S., & Kuchen, H. (2020). Feature Development in BPMN-Based Process-Driven Applications. In Fahland, D., Ghidini, C., Becker, J., & Dumas, M. (Eds.), Business Process Management Forum (pp. 35–50). Springer Nature Switzerland AG.
    More details BibTeX

    Research article in proceedings (conference)

    Dageförde, J. C., & Kuchen, H. (2020). Constraint-Logic Object-Oriented Programming with Free Arrays. In Proceedings of the WFLP 2020, Bologna, Italy.
    More details BibTeX Full text

    Menezes, B., de Araujo Pessoa, L. F., Kuchen, H., & Buarque, d. L. N. F. (2020). Parallelization Strategies for GPU- Based Ant Colony Optimization Applied to TSP. In Ian, F., Gerhard, R. J., Luděk, K., Wolfgang, E. N., & Frans, P. (Eds.), Parallel Computing: Technology Trends (pp. 321–330). IOS Press.
    More details BibTeX DOI

    Menezes, B., Herrmann, N., Kuchen, H., & Neto, F. d. L. (2020). High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons. In Proceedings of the 13th International Symposium on High-Level Parallel Programming and Applications (HLPP 2020), Porto, Portugal, 776–801.
    More details BibTeX

    Rieger, C., Lucrédio, D., Pontin, M. F. R., Kuchen, H., Dias, F., & Duarte, L. (2020). A Model-Driven Approach to Cross-Platform Development of Accessible Business Apps. In Proceedings of the The 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), Brno, Czech Republic, 984–993.
    More details BibTeX DOI

    Schneid, K., Thöne, S., & Kuchen, H. (2020). Feature Development in BPMN-Based Process-Driven Applications. In Fahland, D., Ghidini, C., Becker, J., & Duma, M. (Eds.), Business Process Management Forum (pp. 35–50). Springer.
    More details BibTeX

    Research article (journal)

    Wrede, F., & Kuchen, H. (2020). Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons. International Journal of Parallel Programming, 48(4), 713–728.
    More details BibTeX DOI

    Wrede, F., Rieger, C., & Kuchen, H. (2020). 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

    Working paper

    Dageförde, J. C., & Kuchen, H. (2020). Free Objects in Constraint-logic Object-oriented Programming. In Working Papers, European Research Center for Information Systems: Vol. 32. Münster.
    More details BibTeX Full text

  • 2019

    Research article (book contribution)

    Rieger, C., & Kuchen, H. (2019). Towards Pluri-Platform Development: Evaluating a Graphical Model-Driven Approach to App Development Across Device Classes. In Majchrzak, T. A., Mateos, C., Poggi, F., & Grønli, T.-M. (Eds.), Towards Integrated Web, Mobile, and IoT Technology (pp. 36–66). Lecture Notes in Business Information Processing: Vol. 347. Cham: Springer International Publishing.
    More details BibTeX DOI

    Research article in proceedings (conference)

    Abreu, S., Hofstedt, P., John, U., Kuchen, H., & Seipel, D. (2019). Pre-proceedings of the International Conference DECLARE. In Kuchen, H. (Ed.), Parallel Programming with Algorithmic Skeletons. The Art of Structuring (pp. 527–536). Springer Verlag. (accepted / in press (not yet published))
    More details BibTeX

    Beyer, L., Dageförde, J. C., Kuchen, H., & Usener, C. A. (2019). Automated Data-flow Analysis and Validation in Process Automation Projects. In Fujita, H., & Selamat, A. (Eds.), Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques (pp. 333–346). IOS Press.
    More details BibTeX DOI

    Buender, H., & Kuchen, H. (2019). Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol. In Proceedings of the 7th MODELSWARD 2019: Prague, Czech Republic: Revised Selected Papers, Prag, Czechische Republik, 225–245.
    More details BibTeX

    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, 1742–1751.
    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, 1552–1561.
    More details BibTeX DOI

    Dageförde, J. C., & Kuchen, H. (2019). Muli: Constraint-Logic Object-Oriented Programming mit freien Objekten. In Proceedings of the 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Baiersbronn-Schwarzenberg, 73.
    More details BibTeX

    Lacerda, M., Buarque, d. L. N. F., Amorim, N. H., Kuchen, H., & Ludermir, T. (2019). On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms. In Proceedings of the 6th IEEE Latin American Conference on Computational Intelligence (LA-CCI '19), Guayaquil, Ecuador. (accepted / in press (not yet published))
    More details BibTeX

    Menezes, B., Pessoa, L., Kuchen, H., & Buarque, F. (2019). Parallelization Strategies for GPU-based Ant Colony Optimization Applied to TSP. In Proceedings of the The International Conference on Parallel Computing ParCo2019, Prag.
    More details BibTeX DOI

    Menezes, B., Amorim, H., Kuchen, H., & Buarque, F. (2019). Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem. In Proceedings of the 2019 IEEE Congress on Evolutionary Computation (CEC), Wellington, New Zealand.
    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, Zypern.
    More details BibTeX Full text DOI

    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., Usener, C. A., Thöne, S., Kuchen, H., & Tophinke, C. (2019). Static Analysis of BPMN-Based Process-Driven Applications. In Hung, C., Papadopoulos, , & George, A. (Eds.), SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (pp. 66–74). Limassol Cyprus: Association for Computing Machinery.
    More details BibTeX DOI

    Research article (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

  • 2018

    Research article (book contribution)

    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 Artificial Intelligence: Vol. 10997. Cham: Springer.
    More details BibTeX DOI

    Research article in proceedings (conference)

    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.
    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

    Research article (journal)

    Gorlatch, S., & Kuchen, H. (2018). Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons. International Journal of Parallel Programming, 46, 1–3.
    More details BibTeX DOI

    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

    Working paper

    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. Oslo, Norway: Institutt for Informatikk.
    More details BibTeX Full text

  • 2017

    Research article in proceedings (conference)

    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

    Research article (journal)

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

  • 2016

    Research article in proceedings (conference)

    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

    Research article (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

    Working paper

    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.
    More details BibTeX

  • 2015

    Research article in proceedings (conference)

    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

    Research article (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 (Sci. Comput. 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

  • 2014

    Research article (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

    Research article in proceedings (conference)

    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

    Research article (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

  • 2012

    Research article in proceedings (conference)

    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

    Research article (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

    Working paper

    Heitkötter, H., Majchrzak, T., Wolffgang, U., & Kuchen, H. (2012). Business Apps: Grundlagen und Status quo. In Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V. (Ed.), Working paper: 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

    Book (edited collection)

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

    Research article in proceedings (conference)

    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., Wong, 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

  • 2010

    Research article in proceedings (conference)

    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

    Research article (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

    Non-scientific contribution (journal)

    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

    Working paper

    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

    Majchrzak, T. A., & Kuchen, H. (2010). IHK-Projekt Softwaretests: Auswertung. In Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V. (Ed.), Working Papers: Vol. 2. Münster: Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V.
    More details BibTeX Full text

    Other scientific publication

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

  • 2009

    Research article in proceedings (conference)

    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

    Working paper

    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. Münster: ERCIS — European Research Center for Information Systems.
    More details BibTeX Full text

  • 2008

    Research article (book contribution)

    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

    Research article in proceedings (conference)

    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

    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

    Research article (journal)

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

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

    Working paper

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

  • 2007

    Research article in proceedings (conference)

    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

    Research article in proceedings (conference)

    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

    Research article in proceedings (conference)

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

    Research article (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

  • 2004

    Research article (book contribution)

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

    Research article in proceedings (conference)

    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

    Working paper

    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

    Research article (book contribution)

    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

    Working paper

    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

    Research article in proceedings (conference)

    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

    Research article (journal)

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

    Working paper

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

  • 2001

    Book (edited collection)

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

  • 2000

    Research article in proceedings (conference)

    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

    Research article in proceedings (conference)

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

    Research article (journal)

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

  • 1998

    Research article (journal)

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

    Working paper

    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

    Book (edited collection)

    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

    Working paper

    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

    Book (edited collection)

    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

    Research article (book contribution)

    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

    Research article in proceedings (conference)

    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

    Abstract in Online-Sammlung (Konferenz)

    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

    Research article (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

  • 1995

    Research article in proceedings (conference)

    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

    Working paper

    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

    Research article in proceedings (conference)

    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

    Research article (journal)

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

  • 1993

    Research article in proceedings (conference)

    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

    Working paper

    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

    Research article in proceedings (conference)

    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

    Working paper

    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

    Working paper

    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

    Working paper

    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

    Working paper

    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