• Forschungsschwerpunkte

    Modell-getriebene Software-Entwicklung

    Modell-getriebene Techniken werden zur plattformübergreifenden Entwicklung von Apps für mobile Endgeräte genutzt.

    Parallele Programmierung

    Typische parallele Programmiermuster, so genannte algorithmische Skelette, werden als parallel implementierte Funktionen höherer Ordnung zur Verfügung gestellt. Sie ermöglichen die einfache Entwicklung effizienter paralleler Programme und unterstützen mehrere Rechenknoten in einem Cluster mit ggf. mehreren Cores und GPUs pro Knoten.

    Testen

    Durch symbolische Auswertung von Java-Bytecode zu einem System von Java-Klassen werden systematisch Testfälle erzeugt, die eine überdeckung des Kontroll; und Datenflusses sicherstellen können.

    Funktional-logische Programmierung

    Ein Compiler für die funktional-logische Programmiersprache Curry wurde entwickelt. Curry ist eine Erweiterung der funktionalen Sprache Haskell um Features von logischen Sprachen wie logische Variablen und Suchmechanismen.

    Elektronische Prüfungen

    Java-Programme und mathematische Beweise werden automatisch überprüft.

  • Weitere Zugehörigkeit an der Universität Münster

  • Vita

    Akademische Ausbildung

    Habilitation, Erlangung der Venia legendi für Informatik an der RWTH Aachen
    Promotion zum Dr. rer. nat. an der RWTH Aachen, Dissertationsthema: "Parallele Implementierung funktionaler Sprachen", Betreuer: Prof. Dr. Klaus Indermark
    Studium der Informatik an der RWTH Aachen
    Abschluss des Studiums als Diplom-Informatiker an der RWTH Aachen

    Beruflicher Werdegang

    Direktor des European Research Center for Information Systems (ERCIS), WWU Münster
    Professor für Praktische Informatik an der Westfälischen Wilhelms-Universität Münster (zunächst C3, ab 2005 W2)
    Vertretung einer C3-Professur an der Westfälischen Wilhelms-Universität Münster
    Vertretung einer C4-Professur an der RWTH Aachen
    Vertretungsprofessur an der Universität Gießen (C4-Vertretung)
    Akademischer Oberrat an der RWTH Aachen
    Akademischer Rat an der RWTH Aachen
    Forschungsaufenthalt an der Chalmers University of Technology, Göteborg, Schweden
    Lehrauftrag an der Universität Ulm
    Profesor asociado an der Universidad Politécnica de Madrid, Spanien
    Wissenschaftlicher Assistent am Lehrstuhl für Informatik II der RWTH Aachen
    Wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik II (Leitung: Prof. Dr. Klaus Indermark) der RWTH Aachen

    Preise

    Best Paper Award – Association for Computing Machinery (ACM)
    Best Student Paper Award – IEEE EDOC
    Nominiert für: – Hawaii International Conference on System Sciences (HICSS) Committee
    Best Paper Award for the Third International Conference on Advances and Trends in Software Engineering – IARIA
    Best Paper Award for the Seventh International Conference on Advances in System Testing and Validation Lifecycle – IARIA

    Mitgliedschaften und Aktivitäten in Gremien

    15th International Symposium on High-level Parallel Programming and Applications (HLPP 2022), Porto, Portugal. (Mitglied im Programmkomitee der)
    DSAI 2022, Lisbon, Portugal. (Mitglied im Programmkomitee der)
    ACM SAC 2022, SE track, Brno, Czech Republic. (Mitglied im Programmkomitee der)
    28th International European Conference on Parallel and Distributed Computing (Euro-Par 2022), Glasgow, UK. (Mitglied im Programmkomittee,)
    17th International Conference on Software Technologies (ICSOFT 2022), Lisbon, Portugal. (Mitglied im Programmkomitee,)
    SACLA 2022, Cape Town, South Africa. (Mitglied im Programmkomitee,)
    International Conference on Managed Programming Languages & Runtimes (MPLR). (Mitglied im Programmkomitee,)
    International Symposium on High-Level Parallel Programming and Applications (HLPP). (Mitglied im Programmkomitee der)
    Mitglied im Programmkomitee der SOFTENG 2020, Lissabon, Portugal
    Mitglied im Programmkomitee der SOFTENG 2019, Valenzia, Spanien
    Mitglied im Programmkomitee der SBD 2019 (ACM SIGMOD), Amsterdam, Niederlande
    Mitglied im Programmkomitee der INFOCOMP 2019, Nizza, Frankreich
    Mitglied im Programmkomitee der HLPGPU 2019, HiPEAC, Valenzia, Spanien
    Mitglied im Programmkomitee der ScalCom 2019, Leicester, UK
    Mitglied im Programmkomitee der VALID 2019, Valencia, Spanien
    Mitglied im Programmkomitee der 6th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD), 2019, Dublin, Irland
    Mitglied im Programmkomitee der ParCo 2019, Prag, Tschechien
    Mitglied im Programmkomitee der HLPP 2019, Linköping, Schweden
    Mitglied im Programmkomitee der LA-CCI 2019, Guayaquil, Ecuador
    Mitglied im Programmkomitee der LOPSTR 2019, Porto, Portugal
    Mitglied im Programmkomitee der WFLP 2019, Cottbus, Deutschland
    Gastautor "International Journal of Parallel Computation", Special Issue on High-Level Parallel Programming with Algorithmic Skeletons, 2018
    Mitglied der Programmkomitee der VALID 2018, Nizza, Frankreich
    Mitglied im Programmkomitee der SACLA 2018, Cape Town, Südafrika
    Mitglied im Programmkomitee der HLPP 2018, Orléans, Frankreich
    Mitglied im Programmkomitee der ScalCom 2018, Guangzhou, China
    Mitglied im Programmkomitee der WFLP 2018, Frankfurt a.M., Deutschland
    Mitglied im Programmkomitee der SBD 2018, Houston, Texas, USA
    Mitglied im Programmkomitee der INFOCOMP 2018, Barcelona, Spanien
    Mitglied im Programmkomitee der SOFTENG 2018, Athen, Griechenland
    Mitglied im Programmkomitee der SAC 2018, Track PAPP, Pau, Frankreich
    Mitglied im Programmkomitee der SAC 2018, Track SE, Pau, Frankreich
    Mitglied im Programmkomitee der HLPGPU 2018, Manchester, England
    Mitglied im Programmkomitee der SACLA 2017, Magaliesburg, Südafrika
    Gastredakteur der Parallel Processing Letters 27(1), 2017
    Gastredakteur des International Journal of Parallel Computation, Special Issue on High-Level Parallel Programming with Algorithmic Skeletons, 2017
    Mitglied im Programmkomitee der SACLA 2017, Magaliesburg, Südafrika
    Mitglied im Programmkomitee der SOFTENG 2017, Venedig, Italien
    Mitglied im Programmkomitee der SBD 2017, Raleigh, USA
    Mitglied im Programmkomitee der HLPGPU 2017, Stockholm, Schweden
    Mitglied im Programmkomitee der INFOCOMP 2017, Venedig, Italien
    Mitglied im Programmkomitee der PASCO 2017, Kaiserslautern, Deutschland
    Mitglied im Programmkomitee der ParCo 2017, Bologna, Italien
    Mitglied im Programmkomitee der HLPP 2017, Valladolid, Spanien
    Mitglied im Programmkomitee der WFLP 2017, Kiel, Deutschland
    Mitglied im Programmkomitee der LA-CCI 2017, Arequipa, Peru
    HLPP 2016, Münster, Deutschland (Organisator und Mitglied im Programmkomitee)
    Mitglied im Programmkomitee der SOFTENG 2016, Lissabon, Portugal
    Mitglied im Programmkomitee der HLPGPU 2016, Prag, Tschechien
    Mitglied im Programmkomitee der SACLA 2016, Pretoria, Südafrika
    Mitglied im Programmkomitee der SBD 2016, San Francisco, USA
    Mitglied im Programmkomitee der ACM SAC 2016, Track SE, Pisa, Italien
    Mitglied im Programmkomitee der QRS 2016, Wien, Österreich
    Herausgeber von Open Journal of Web Technologies, 2013
    Berufung zum DAAD-Auswahlkommissionsmitglied
    Mitglied des wissenschaftlichen Beirats der IMDEA-Software
    Mitglied des Steering Commitee des International Symposium on Functional and Logic Programming (FLOPS)
    Stellvertretender Vorsitzender der Fachgruppe "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik e.V.
    Mitglied der Jury des Innovationspreises IT 2010 der Initiative Mittelstand
    Mitglied des Vorstands der Regionalgruppe Münsterland der Gesellschaft für Informatik e.V.
    Mitglied im Vorstand der European Association for Programming Languages and Systems (EAPLS)
    Mitglied des Steering Commitee der ACM Conference on Principles and Practice of Declarative Programming (PPDP)

    Rufe

    Ruf an die Universität der Bundeswehr München (abgelehnt)
    – abgelehnt
    Ruf an die Martin Luther Universität Halle-Wittenberg (abgelehnt)
    – abgelehnt
  • Lehre

    Seminare
    Sonstige Lehrveranstaltungen

    Vorlesung
    Seminare
    Sonstige Lehrveranstaltungen

    Seminare
    Sonstige Lehrveranstaltung
  • Projekte

    • Interdisziplinäre Zusammenarbeit mit dem Arbeitskreis Glorius des organisch-chemischen Instituts im Bereich maschinelles Lernen und Datenanalyse ()
      Eigenmittelprojekt
    • Muesli – Algorithmic Skeletons - The Muenster Skeleton Library (Muesli) ()
      Eigenmittelprojekt
    • Digitale Gesundheitsanwendung für die personalisierte Rehabilitation nach einem Knöchelinversionstrauma ()
      Eigenmittelprojekt
    • Autonomic Computing in Cloud-Native Environments (seit )
      Eigenmittelprojekt
    • Spieltheoretische Marktmechanismen zur automatischen Verteilung von Kitaplätzen ()
      Eigenmittelprojekt
    • E-Assessment Tool für UML Klassendiagramme ()
      Eigenmittelprojekt
    • MD² – Model-driven Mobile Development ()
      Eigenmittelprojekt
    • MPLR – International Conference on Managed Programming Languages & Runtimes in Münster 2021 ()
      Wissenschaftliche Veranstaltung: Teilnahmebeiträge/Tagungsgebühren
    • Musket - Muenster Skeleton Tool for High-Performance Code Generation (seit )
      Eigenmittelprojekt
    • EXIST-Gründerstipendium "ProLeap" ()
      Gefördertes Einzelprojekt: BMWK - EXIST-Gründerstipendium | Förderkennzeichen: 03EGSNW489
    • Kunden-Verwaltungs-System ()
      Gefördertes Einzelprojekt: matchInn UG (haftungsbeschränkt)
    • 9th International Symposium on High-Level Parallel Programming and Applications ()
      Wissenschaftliche Veranstaltung: Teilnahmebeiträge/Tagungsgebühren
    • Muli – Muli – The Münster Logic-Imperative Language (seit )
      Eigenmittelprojekt
    • DAAD Austauschprogramm: PPP Spanien - Testfallgenerierung mit kooperierenden Constraint-Solvern ()
      Gefördertes Einzelprojekt: Deutscher Akademischer Austauschdienst | Förderkennzeichen: 57049954
    • Wirtschaftliche und plattformübergreifende Entwicklung von Business Apps ()
      Gefördertes Einzelprojekt: Förderkreis der Angewandten Informatik an der Universität Münster e. V.
    • Testen von Software ()
      Gefördertes Einzelprojekt: Wirtschaft
    • cHL-hybrid – Computergestützte Hochschullehre in hybriden Systemen ()
      Hauptprojekt eines BMBF-Verbundes: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
    • cHL-hybrid - Referenztechnologien ()
      participations in bmbf-joint project: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
    • cHL-hybrid - Integration von Forschungs- und Lehrprozessen ()
      participations in bmbf-joint project: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
    • cHL-hybrid - Integration der Lehr- und Lernprozesse mit administrativen Prozessen ()
      participations in bmbf-joint project: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
    • Muggl – Der Münster-Generator für Glass-box-Testfälle (seit )
      Eigenmittelprojekt
  • Publikationen

    • , , und . . „Dynamic Data-Flow Analysis With Dacite: Evaluating an Integrated Data-Flow Visualization Approach.“ In Evaluation of Novel Approaches to Software Engineering, Bd.2028 aus Communications in Computer and Information Science, herausgegeben von Hermann Kaindl, Mike Mannion und Leszek A. Maciaszek. Berlin: Springer Nature. doi: 10.1007/978-3-031-64182-4_12.
    • , , und . „An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution.“ In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering , herausgegeben von SciTePress. Setúbal: SciTePress. doi: 10.5220/0012586200003687.
    • , , und . . „Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments.International Journal of Parallel Programming, Nr. 52 (4): 274297. doi: 10.1007/s10766-024-00769-w.
    • , , und . im Druck. „Modification-Impact Based Test Prioritization for Process-Driven Applications.“ In Proceedings of 6th International Workshop on the Next Level of Test Automation Dublin, Ireland.
    • , , und . . „Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol.“ In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, herausgegeben von SciTePress. Setúbal: SciTePress. doi: 10.5220/0011743500003464.
    • , , , , und . . „A Model-Driven Approach to SAP S/4HANA Development.“ In Enterprise Design, Operations, and Computing, Bd.14367 aus Lecture Notes in Computer Science, herausgegeben von Henderik A. Proper, Luise Pufahl, Dimka Karastoyanova, Marten van Sinderen und João Moreira. Berlin: Springer Nature. doi: 10.1007/978-3-031-46587-1_6.
    • , und . . „Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing.“ In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, herausgegeben von Hermann Mannion Kaindl und Leszek Mike Maciaszek. Setúbal: SciTePress. doi: 10.5220/0011849200003464.
    • , und . . „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 Setúbal: SciTePress. doi: 10.5220/0000149800003176.
    • , , , , und im Druck. „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, Nr. 2022
    • , und . . „Model-Driven Customizing of ERP Systems: A Case Study.“ In The 37th ACM/SIGAPP Symposium on Applied Computing (SAC '22), April 25--29, 2022, Virtual Event, herausgegeben von Association Machinery. New York, NY: ACM Press. doi: 10.1145/3477314.3507166.
    • , , , , , und . . „Machine Learning for Chemical Reactivity: The Importance of Failed Experiments.Angewandte Chemie International Edition, Nr. 61 (29) e202204647. doi: 10.1002/anie.202204647.
    • , , , , , , und . . „Digital Health System for Individualised Rehabilitation After Ankle Inversion Trauma.“ In 2022 International Conference on Technology Innovations for Healthcare (ICTIH), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/ICTIH57289.2022.10112118.
    • , , und . . „A-146: Digitale Applikation für individuellen Rehabilitation nach Sprunggelenksinversionstrauma.“ Beitrag präsentiert auf der 27. Jahrestagung der Deutschen Assoziation für Fuß und Sprunggelenk e.V. (D.A.F.), Wiesbaden doi: 10.1016/j.fuspru.2022.06.037.
    • , , , , , , und . . „A medical information system for personalized rehabilitation after ankle inversion trauma.“ In Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, herausgegeben von Hans-Georg Fill, Marten van Sinderen und Leszek A. Maciaszek. Setúbal: SciTePress. doi: 10.5220/0011295800003266.
    • , , und . . „Parallelization of Swarm Intelligence Algorithms.International Journal of Parallel Programming, Nr. 2022 doi: 10.1007/s10766-022-00736-3.
    • , und . . „Constraint-Logic Object-Oriented Programming on the Java Virtual Machine.“ In 37th ACM/SIGAPP Symposium On Applied Computing, herausgegeben von Association Machinery. New York, NY: ACM Press. doi: 10.1145/3477314.3507058.
    • , , und . . „Constraint-Logic Object-Oriented Programming for Test Case Generation.“ In 37th ACM/SIGAPP Symposium On Applied Computing, herausgegeben von Association Machinery. New York, NY: ACM Press. doi: 10.1145/3477314.3507015.
    • , , , , und . . „A Systematic Literature Review on General Parameter Control for Evolutionary and Swarm-based Algorithms.“ In Swarm and Evolutionary Computation, herausgegeben von S Das, P N Suganthan und M Ali. doi: 10.1016/j.swevo.2020.100777.
    • , und . . „Symbolic execution of NoSQL applications using versioned schemas.“ In Proceedings of the 36th Annual ACM Symposium on Applied Computing, herausgegeben von Association for Computing Machinery. New York, NY: ACM Press. doi: 10.1145/3412841.3442050.
    • , , , und . . „Uncovering data-flow anomalies in BPMN-based process-driven applications.“ In Proceedings of the 36th Annual ACM Symposium on Applied Computing doi: 10.1145/3412841.3442025.
    • , und . . „Data-Flow Analysis of BPMN-Based Process-Driven Applications: Detecting Anomalies across Model and Code.Nr. 38.
    • , , , und . . „Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications.“ Beitrag präsentiert auf der IEEE EDOC 2021, Gold Coast, Australia doi: 10.1109/EDOC52215.2021.00014.
    • , , und . . „Constraint-Logic Object-Oriented Programming with Free Arrays.“ Beitrag präsentiert auf der 28 th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, Bologna, Italien Heidelberg: Springer. doi: 10.1007/978-3-030-75333-7_8.
    • , und . . „High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons.“ Beitrag präsentiert auf der 13th International Symposium on High-Level Parallel Programming and Applications (HLPP 2020), Porto, Portugal Heidelberg: Springer.
    • , , , , und . . Lecture Notes in Computer Science, Bd.12057, Declarative Programming and Knowledge Management ,, herausgegeben von Hofstedt Petra, Abreu Salvador, John Ulrich, Kuchen Herbert und Seipel Dietmar. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-46714-2.
    • , und . . „Parallelization Strategies for GPU- Based Ant Colony Optimization Applied to TSP.“ In Parallel Computing: Technology Trends, herausgegeben von Ian Foster, Gerhard R. Joubert, Luděk Kučera, Wolfgang E. Nagel und Frans Peters. Bristol: IOP Publishing. doi: 10.3233/APC200057.
    • , , und . . „A Model-Driven Approach to Cross-Platform Development of Accessible Business Apps.“ Beitrag präsentiert auf der The 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), Brno, Czech Republic doi: 10.1145/3341105.3375765.
    • , , und . . „Generation of high-performance code based on a domain-specific language for algorithmic skeletons.The Journal of Supercomputing, Nr. 75: 119. doi: 10.1007/s11227-019-02825-6.
    • , und . . „Constraint-Logic Object-Oriented Programming with Free Arrays.“ Beitrag präsentiert auf der WFLP 2020, Bologna, Italy
    • , , und . . „Feature Development in BPMN-Based Process-Driven Applications.“ In Business Process Management Forum, herausgegeben von Ghidini Chiara Fahland Dirk und Dumas Marlon Becker Joerg. Berlin: Springer Nature.
    • , und . . „Free Objects in Constraint-logic Object-oriented Programming.Working Papers, European Research Center for Information Systems Nr. 32. Münster.
    • , , und . . „Feature Development in BPMN-Based Process-Driven Applications.“ In Business Process Management Forum, herausgegeben von Ghidini Chiara Fahland Dirk und Duma Marlon Becker Jörg. Heidelberg: Springer.
    • , und . . „Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons.International Journal of Parallel Programming, Nr. 48 (4): 713728. doi: 10.1007/s10766-020-00659-x.
    • , , , , und . im Druck. „Pre-proceedings of the International Conference DECLARE.“ In Parallel Programming with Algorithmic Skeletons. The Art of Structuring, herausgegeben von H Kuchen. Heidelberg: Springer.
    • , , , und . . „Parallelization Strategies for GPU-based Ant Colony Optimization Applied to TSP.“ Beitrag präsentiert auf der The International Conference on Parallel Computing ParCo2019, Prag doi: 10.1109/CEC.2019.8790073.
    • , und . . „Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem.“ Beitrag präsentiert auf der 2019 IEEE Congress on Evolutionary Computation (CEC), Wellington, New Zealand doi: 10.1109/CEC.2019.8790073.
    • , , , , und . im Druck. „On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms.“ Beitrag präsentiert auf der 6th IEEE Latin American Conference on Computational Intelligence (LA-CCI '19), Guayaquil, Ecuador
    • , und . . „Muli: Constraint-Logic Object-Oriented Programming mit freien Objekten.“ Beitrag präsentiert auf der 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Baiersbronn-Schwarzenberg , herausgegeben von M Plümicke und Alia F Abu. Düren: Shaker Verlag.
    • , und . . „Towards Pluri-Platform Development: Evaluating a Graphical Model-Driven Approach to App Development Across Device Classes.“ In Towards Integrated Web, Mobile, and IoT Technology, Bd.347 aus Lecture Notes in Business Information Processing, herausgegeben von Mateos Cristian Majchrzak Tim A und Grønli Tor-Morten Poggi Francesco. Basel: Springer International Publishing. doi: 10.1007/978-3-030-28430-5_3.
    • , und . „Automated Data-flow Analysis and Validation in Process Automation Projects.“ In Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, herausgegeben von H Fujita und A Selamat. Bristol: IOP Publishing. doi: 10.3233/FAIA190061.
    • , und . . „A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli.Journal of Computer Languages, Nr. 53: 6378. doi: 10.1016/j.cola.2019.05.001.
    • , , und . . „Musket: A Domain-Specific Language for High-Level Parallel Programming with Algorithmic Skeletons.“ Beitrag präsentiert auf der 34nd Annual ACM Symposium on Applied Computing (SAC), Limassol, Cyprus doi: 10.1145/3297280.3297434.
    • , und . . „A Web-Based E-Assessment Tool for Design Patterns in UML Class Diagrams.“ In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing New York, NY: ACM Press. doi: 10.1145/3297280.3297520.
    • , und . . „A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes.“ Beitrag präsentiert auf der 52nd Hawaii International Conference on System Sciences, Maui, Hawaii, USA
    • , und . . „A Model-Driven Approach for Behavior-Driven GUI Testing.“ In Proceeding SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing doi: 10.1145/3297280.3297450.
    • , und . . „Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space.“ Beitrag präsentiert auf der 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus doi: 10.1145/3297280.3298912.
    • , , und . . „Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol.“ Beitrag präsentiert auf der 7th MODELSWARD 2019: Prague, Czech Republic: Revised Selected Papers, Prag, Czechische Republik
    • , , , , und . . „Static Analysis of BPMN-Based Process-Driven Applications.“ In SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, herausgegeben von Chihcheng Hung und George Angelos. New York, NY: ACM Press. doi: 10.1145/3297280.3297289.
    • , und . . „A process-oriented modeling approach for graphical development of mobile business apps.Computer Languages, Systems & Structures, Nr. 53: 4358. doi: 10.1016/j.cl.2018.01.001.
    • , , und . . „Challenges and Opportunities of Modularizing Textual Domain-Specific Languages.“ Beitrag präsentiert auf der Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, Funchal, Madeira, Portugal doi: 10.5220/0006601903870395.
    • , und . . „Muli: Constraint-Programmierung in Java auf symbolischer JVM.Research report Nr. 482. N/A: Selbstverlag / Eigenverlag.
    • , und . . „Towards Model-Driven Business Apps for Wearables.“ In Bd.10995 aus Lecture Notes in Computer Science, herausgegeben von Awan Irfan Younas Muhammad und Catalan Cid Marisa Ghinea George. Basel: Springer International Publishing. doi: 10.1007/978-3-319-97163-6_1.
    • , und . . „An Operational Semantics for Constraint-logic Imperative Programming.“ In Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017., Bd.10997 aus Lecture Notes in Artificial Intelligence, herausgegeben von D Seipel, M Hanus und S Abreu. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-00801-7_5.
    • , und . . „A Constraint-logic Object-oriented Language.“ Beitrag präsentiert auf der 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, Frankreich New York, NY: ACM Press. doi: 10.1145/3167132.3167260.
    • , , und . . „Generation of High-Performance Code Based on a Domain-Specific Language for Algorithmic Skeletons.“ Beitrag präsentiert auf der High-Level Parallel Programming and Applications (HLPP '18), Orléans, France
    • , und . . „Test-Case Generation for Web-Service Clients.“ Beitrag präsentiert auf der The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France
    • , , , , , und . . „High-level Parallel Implementation of Swarm Intelligence-based Optimization Algorithms with Algorithmic Skeletons.“ In Parallel Computing is Everywhere, Bd.32 aus Advances In Parallel Computing, herausgegeben von Bassini Sanzio, Danelutto Marco, Dazzi Patrizio, Joubert R. und Peters Frans. Bristol: IOP Publishing.
    • , und . . „Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.International Journal of Parallel Programming, Nr. 46: 13. doi: 10.1007/s10766-017-0512-3.
    • , und . . „An Interactive Learning Environment for Software Engineering Design Patterns.“ In Proceedings of the 18th Koli Calling International Conference on Computing Education Research New York, NY: ACM Press. doi: 10.1145/3279720.3279896.
    • , , und . . „Fish School Search with Algorithmic Skeletons.International Journal of Parallel Programming, Nr. - (-): 119. doi: 10.1007/s10766-018-0564-z.
    • , und . . „Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS.“ Beitrag präsentiert auf der 4th IEEE Latin American Conference on Computational Intelligence (LA-CCI '17), Arequipa, Peru doi: 10.1109/LA-CCI.2017.8285694.
    • , und . . „Muli: Constraint-Programmierung in Java auf symbolischer JVM.“ In Bd.Math/Inf/02/2017 aus Jenaer Schriften zur Mathematik und Informatik, herausgegeben von W Amme und TS Heinze.
    • , und . . „An Operational Semantics for Constraint-logic Imperative Programming.“ In Declare 2017 – Conference on Declarative Programming, Bd.499 aus Technical Report, herausgegeben von D Seipel, M Hanus und S Abreu. Würzburg.
    • , und . . „Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications.Parallel Processing Letters, Nr. 27 (1): 12. doi: 10.1142/S0129626417020017.
    • , und . . „Unit Testing of Database-Driven Java Enterprise Edition Applications.“ Beitrag präsentiert auf der 11th International Conference on Tests & Proofs, Marburg, Deutschland
    • , , und . . „A Model-Driven Approach for Evaluating Traceability Information.“ In The Third International Conference on Advances and Trends in Software Engineering (SOFTENG), herausgegeben von Kajko-Mattsson Mira, Ellingsen Pål und Maresca Paolo.
    • , , und . . „A Domain-specific Language for Configurable Traceability Analysis.“ In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), herausgegeben von Ferreira Luis, Hammoudi Slimane und Selic Bran. doi: 10.5220/0006138503740381.
    • , , und . . „Detecting Spring Configurations Errors.“ In SAC '17 Proceedings of the Symposium on Applied Computing, herausgegeben von Shin Y., Shin Dongwan und Lencastre Maria. New York, NY: ACM Press.
    • , , , und . . „Falsification of Java Assertions Using Automatic Test-Case Generators.International Journal On Advances in Systems and Measurements, Nr. 2016 (9): 177187.
    • , und . . „Towards an E-assessment Tool for Advanced Software Engineering Skills.“ In Proceedings of the 16th Koli Calling International Conference on Computing Education Research, Koli Calling '16 New York, NY: ACM Press. doi: 10.1145/2999541.2999550.
    • , , , und . . „A Program Transformation for Converting Java Assertions into Control-flow Statements.ERCIS Working Papers Nr. 25.
    • , , und . . „Attributed Grammars for Detecting Spring Configuration Errors.ERCIS Working Papers Nr. 26. N/A: Selbstverlag / Eigenverlag.
    • , und . . „Data Parallel Algorithmic Skeletons with Accelerator Support.International Journal of Parallel Programming, Nr. 2016: 117. doi: 10.1007/s10766-016-0416-7.
    • , , und . . „Compilezeit-Prüfung von Spring-Konfigurationen.“ In Bd.1559 aus Workshops of the Conference on Software Engineering Aachen: CEUR-WS.
    • , , , und . . „Checking Java Assertions Using Automated Test-Case Generation.“ In Bd.9527 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Heidelberg: Springer. doi: 10.1007/978-3-319-27436-2_13.
    • , und . . „Java Implementation of Data Parallel Skeletons on GPUs.“ Beitrag präsentiert auf der ParCo 2015, Edinburgh
    • , , , und . . „Automatic Falsification of Java Assertions.“ Beitrag präsentiert auf der VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain
    • , , und . . „Model-Driven Cross-Platform Apps: Towards Business Practicability.“ In Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 10th, 2015., Bd.1367 aus CEUR Workshop Proceedings, herausgegeben von Janis Grabis und Kurt Sankuhl. Aachen: CEUR-WS.
    • , , und . . „Extending a model-driven cross-platform development approach for business apps.Science of Computer Programming, Nr. 97 (1): 3136. doi: 10.1016/j.scico.2013.11.013.
    • , , und . . „Integrating Agile Software Development and Enterprise Architecture Management.“ In Proceedings of the 48th Annual Hawaii International Conference on System Sciences (HICSS-48) New York City: Wiley-IEEE Computer Society Press.
    • , , und . . „Achieving Business Practicability of Model-Driven Cross-Platform Apps.Open Journal of Information Systems (OJIS), Nr. 2 (2): 314.
    • , und . . „A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.International Journal of Parallel Programming, Nr. 42 (6): 968987. doi: 10.1007/s10766-013-0269-2.
    • , und . . „A Scalable Farm Skeleton for Heterogeneous Parallel Programming.“ In Parallel Computing: Accelerating Computational Science and Engineering (CSE) , Bd.25 aus Advances in Parallel Computing, herausgegeben von M Bader, A Bode, H-J Bungartz, M Gerndt, G R Joubert und F Peters. doi: 10.3233/978-1-61499-381-0-72.
    • , und . . „A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.International Journal of Parallel Programming, Nr. Special Issue doi: 10.1007/s10766-013-0269-2.
    • , , und . . „MD²-DSL – eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen.“ In Software Engineering 2013 – Workshopband, Bd.215 aus Lecture Notes in Informatics (LNI), herausgegeben von S Wagner und H Lichter. Bonn: Gesellschaft für Informatik.
    • , , und . . „Cross-Platform Model-Driven Development of Mobile Applications with MD².“ Beitrag präsentiert auf der 28th Annual ACM Symposium on Applied Computing (SAC), Coimbra, Portugal New York, NY: ACM Press. doi: 10.1145/2480362.2480464.
    • , , , und . . „Business Apps: Grundlagen und Status quo.Working paper Nr. 4. N/A: Selbstverlag / Eigenverlag.
    • , , , und . . „Test Case Generation and Dynamic Mixed-Integer Linear Arithmetic Constraint Solving.“ In Functional and (Constraint) Logic Programming
    • , , und . . „Dynamic Solution of Linear Constraints for Test Case Generation.“ In 2012 Sixth International Conference on Theoretical Aspects of Software Engineering, herausgegeben von Margaria Tiziana, Qiu Zongyan und Yang Hongli. New York City: Wiley-IEEE Press.
    • , und . . „Algorithmic skeletons for multi-core, multi-GPU systems and clusters.International Journal of Oil, Gas and Coal Technology, Nr. 7 (2): 129138. doi: 10.1504/IJHPCN.2012.046370.
    • , und . . „Data Parallel Skeletons in Java.Procedia Computer Science, Nr. 9: 18171826. doi: 10.1016/j.procs.2012.04.200.
    • , , und . . „E-assessment and software testing.Interactive Technology and Smart Education, Nr. 9 (1): 4554. doi: 10.1108/17415651211228095.
    • , und . . „Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems.“ Beitrag präsentiert auf der Parallel Conference 2011 (ParCo11), Gent, Belgien
    • , , und . . „Efficiency evaluation of open source ETL tools.“ In Proceedings of the 2011 ACM Symposium on Applied Computing, herausgegeben von Wong W. Eric Chu William C. und Hung Chih-Cheng Palakal Mathew J.. New York, NY: ACM Press. doi: 10.1145/1982185.1982251.
    • , und . . „Jhyde - The java hybrid debugger.“ In Proceedings of the 6th International Conference on Software and Data Technologies, herausgegeben von Escalona-Cuaresma José, Shishkov Boris und Cordeiro José. Setúbal: SciTePress.
    • , , und . . „Combining State of the Art Software Engineering and E-Assessment.“ In Proc. of the IADIS Int. Conf. e-Learning 2011 (eL2011) n.a.: IADIS Press.
    • , und . . „Logic Java: Combining Object-Oriented and Logic Programming.“ In Functional and Constraint Logic Programming - 20th International Workshop, Bd.6816 aus Lecture Notes in Computer Science, herausgegeben von Herbert Kuchen. Heidelberg: Springer. doi: 10.1007/978-3-642-22531-4.
    • Kuchen, Herbert, Hrsg. . Lecture Notes in Computer Science, Bd.6816, Functional and Constraint Logic Programming, Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-642-22531-4.
    • , , und . . Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures,
    • , und . . „Computerunterstützter Übungsbetrieb im Informatikstudium - Prozessoptimierung durch E-Assessment-Systeme.Zeitschrift für e-Learning: 2335.
    • , , , und . . „Computer-Supported Assessment of Software Verification Proofs - Towards High-Quality E-Assessments in Computer Science Education.“ In Proc. of the 2010 Int. Conf. on Educational and Information Technology (ICEIT) New York City: Wiley-IEEE Computer Society Press.
    • , und . . „Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures.“ In 12th IEEE International Conference on High Performance Computing and Communications New York City: Wiley-IEEE Press. doi: 10.1109/HPCC.2010.64.
    • , und . . „Handlungsempfehlungen für erfolgreiches Testen von Software in Unternehmen.Arbeitsberichte des Instituts für Wirtschaftsinformatik. Münster: Institut für Wirtschaftsinformatik.
    • , und . „IHK-Projekt Softwaretests: Auswertung.Working Papers Nr. 2. N/A: Selbstverlag / Eigenverlag.
    • , , und . . „Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium.
    • , und . . „Computerunterstützter Übungsbetrieb im Informatikstudium - Prozessoptimierung durch E-Assessment-Systeme.
    • , , , und . . „Formative E-Assessment of Software Verification Skills in Higher Education.“ Beitrag präsentiert auf der IADIS e-Learning Conference 2010 (EL 2010)
    • , und . . „Implementation and Evaluation of a Declarative Debugger for Java.“ Beitrag präsentiert auf der WFLP 2010, Madrid, Spain
    • , , und . . „The Münster Skeleton Library Muesli - A Comprehensive Overview.ERCIS Working Papers Nr. 7. N/A: Selbstverlag / Eigenverlag.
    • , , , , und . . „Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.“ Beitrag präsentiert auf der International Conference ParCo, Lyon, France
    • , und . . „Automated Test Case Generation based on Coverage Analysis.“ Beitrag präsentiert auf der 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering Tianjin, China.
    • , , , und . . „Best Practices in der Softwareentwicklung.Arbeitsberichte des Förderkreis der Angewandten Informatik an der WWU Münster Nr. 1.
    • , , und . . „Automatische Testfallerzeugung auf Basis der Überdeckungsanalyse.“ Beitrag präsentiert auf der 26th Workshop of the GI Woking Group Programmng Languages and Computing Concepts, Bad Honnef
    • , und . . „Skeletons for Divide and Conquer Algorithms.“ Beitrag präsentiert auf der IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2008), Innsbruck,Austria
    • , und . . „Task Parallel Skeletons for Divide and Conquer.“ Beitrag präsentiert auf der Workshop of the Working Group Programming Languages and Computing Concepts of the German Computer Science Association GI, Bad Honnef
    • , und . . „Optimizing Skeletal Stream Processing for Divide and Conquer.“ Beitrag präsentiert auf der 3rd International Conference on Software and Data Technology (ICSOFT)
    • , und . . „On Implementing the Farm Skeleton.Parallel Processing Letters(18): 117131.
    • , und . . „Data-Flow Testing of Declarative Programs.“ Beitrag präsentiert auf der 13th ACM SIGPLAN International Conference on Functional Programming (ICFP) Victoria (BC), Canada.
    • , , und . . „E-Assessment of Mathematical Proofs - Chances and Challenges for Students and Tutors.“ Beitrag präsentiert auf der 2008 International Conference on Information Technology in Education Wuhan, China.
    • , und . . „Web Application Modeling Language.
    • , , und . . „Konzeption eines integrierbaren Systems zur computergestützten Lernfortschrittskontrolle.“ In E-Learning-Management, herausgegeben von HL Grob, Brocke J vom und C Buddendick. München: Verlag Franz Vahlen.
    • , , , , und . . „E-Learning in kollaborativen Softwareentwicklungsprojekten - Potenziale und Fallstricke auf Basis eines Action Research Projekts.“ Beitrag präsentiert auf der GML^2 2008 - Grundfragen Multimedialen Lehrens und Lernens N/A: Selbstverlag / Eigenverlag.
    • , , , , und . . „Kollaborative Entwicklung von E-Learning Plattformen in Projektseminaren - Neue Potenziale für das E-Learning?“ Beitrag präsentiert auf der logOS, Osnabrück, Germay
    • , , und . . „E-Assessment of Mathematical Proofs - Chances and Challenges for Students and Tutors.“ Beitrag präsentiert auf der 2008 International Conference on Information Technology in Education, Wuhan,China
    • , , und . . „Conceptual Design, Implementation and Evaluation of an E-Assessment System for Mathematical Proofs.“ Beitrag präsentiert auf der 11th IASTED International Conference on Computers and Advanced Technology in Education (CATE 2008), Crete, Greece
    • , und . . „A Framework for Formative E-Assessments of Mathematical Proofs.“ Beitrag präsentiert auf der 2008 Symposium on e-Assessment in Practice, Shrivenham
    • , , und . . „On Implementing the Farm Skeleton.Parallel Processing Letters, Nr. 18 (1): 117131. doi: 10.1142/S0129626408003260.
    • , und . . „Systematic Generation of Glass-Box Test Cases for Functional Logic Programs.“ Beitrag präsentiert auf der 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming Wroclaw, Poland.
    • , , und . . „Technische Filter.“ In Recht und Neue Medien, Bd.12 Stuttgart: Richard Boorberg Verlag.
    • , und . . „Glass-Box Testing of Functional Logic Programs.“ Beitrag präsentiert auf der 24th Workshop of GI Working Group ""Programming Languages and Computing Concepts"", Bad Honnef
    • , und . . „Algorithmic Skeletons for Branch & Bound.“ Beitrag präsentiert auf der 1st International Conference on Software and Data Technology (ICSOFT), Sebtual,Portugal
    • , , , , und . . „XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects.
    • , , und . . „Algorithmic Debugging of Java Programs.“ In Bd.177 aus ENTCS
    • , und . . „Scalable Farms.“ Beitrag präsentiert auf der Parallel Computing (ParCo), Malaga
    • , und . . „Features from functional programming for a C++ skeleton library.Concurrency and Computation: Practice and Experience, Nr. 17 (7-8): 739756. doi: 10.1002/cpe.844.
    • . . „Optimizing Sequences of Skeleton Calls.“ In Domain-Specific Program Generation Düsseldorf: Springer VDI Verlag.
    • , , , , , , , , und . . „European Research Center for Information Systems (ERCIS) : Gründungsveranstaltung : Münster 12. Oktober 2004.Working Paper Nr. 1. N/A: Selbstverlag / Eigenverlag.
    • , , und . . „A Symbolic Java Vitual Machine for Test-Case Generation.“ Beitrag präsentiert auf der IASTED
    • , , , und . . „Constraint Solving for Generating Glass-Box Test Cases.“ Beitrag präsentiert auf der International Workshop on Functional and (Constraint) Logic Programming (WFLP), Aachen
    • , , und . . „Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern.“ In Bd.P-51 aus Lecture Notes in Informatics
    • , , und . . „Sichten-Wartung in Datenlagern - Controlling aus datenbanktechnischer Sicht.“ In Trendberichte zum Controlling, herausgegeben von Physica-Verlag. Heidelberg: Physica-Verlag.
    • , , und . . „GlassTT - A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation.Arbeitsberichte des Instituts für Wirtschaftsinformatik Nr. 102. Münster: Institut für Wirtschaftsinformatik.
    • . . „A Skeleton Library.Arbeitsberichte Angewandte Mathematik und Informatik Nr. 6/02-I.
    • . . „A Skeleton Library.“ In Bd.2400 aus LNCS Heidelberg: Springer.
    • , und . . „Higher-Order Functions and Partial Applications for a C++ Skeleton Library.“ Beitrag präsentiert auf der ISCOPE, ACM
    • , und . . „The Integration of Task and Data Parallel Skeletons.Parallel Processing Letters, Nr. 12 (2): 141155. doi: 10.1142/S0129626402000896.
    • Kuchen, Herbert, und Ueda, Kazunori, Hrsg. . Lecture Notes in Computer Science, Bd.2024, Functional and Logic Programming, Düsseldorf: Springer VDI Verlag.
    • . . „Implementing an Object Oriented Design in Curry.“ Beitrag präsentiert auf der 9th International Workshop on Functional and Logic Programming, Valencia
    • , und . . „An Efficient Abstract Machine for Curry.“ Beitrag präsentiert auf der Arbeitstagung Programmiersprachen, Paderborn
    • , und . . „Die Softwaretechnik-Ausbildung in der Wirtschaftsinformatik an der WWU Münster.“ (2)
    • , und . . „Efficient High-Level Parallel Programming.“ (196): 71107.
    • . . „Workshop on Functional and Logic Programming, Proceedings.Arbeitsberichte des Instituts für Wirtschaftsinformatik Nr. 63. Münster: Institut für Wirtschaftsinformatik.
    • . . „Arbeitstagung Programmiersprachen, Tagungsband.Arbeitsberichte des Instituts für Wirtschaftsinformatik Nr. 58. Münster: Institut für Wirtschaftsinformatik.
    • Glaser, Hugh, Hartel, Pieter, und Kuchen, Herbert, Hrsg. . Lecture Notes in Computer Science, Bd.1292, Programming Languages: Implementations, Logics, and Programs, Düsseldorf: Springer VDI Verlag.
    • , und . . „Using Algorithmic Skeletons with Dynamic Data Structures.“ In Bd.1117 aus LNCS Heidelberg: Springer.
    • , und . . „Efficient Parallel Programming with Algorithmic Skeletons.“ In Bd.1123 aus LNCS Heidelberg: Springer.
    • , und . . „TPASCAL - A Language for Task Parallel Programming.“ In Bd.1123 aus LNCS Heidelberg: Springer.
    • , und . . „Translation by Instantiation: Integrating Functional Features into an Imperative Language.“ Beitrag präsentiert auf der Poster Session of CC '96, Technical Report LiTH-IDA-R-96-12, University of Linköping
    • Kuchen, Herbert, und Swierstra S., Doaitse, Hrsg. . Lecture Notes in Computer Science, Bd.1140, Programming Languages: Implementations, Logics, and Programs, Düsseldorf: Springer VDI Verlag. doi: 10.1007/3-540-61756-6.
    • , und . . „Shared Memory Implementation of the Gamma-Operation.“ : 577591.
    • . . „A Functional Logic Language Based on Higher Order Narrowing.“ In Workshops in Computing Heidelberg: Springer.
    • , und . . „Integration of Functional and Logic Programming.“ (2): 306308.
    • , , , und . . „The Functional Logic Language BABEL and its Implementation on a Graph Machine.“ : 391427.
    • , und . . „Higher Order Babel -- Language and Implementation.“ In Bd.1050 aus LNAI Heidelberg: Springer.
    • . . „Eine datenparallele funktionale Sprache für Rechner mit verteiltem Speicher.“ In Software-Engineering im Scietific Computing Wiesbaden: Vieweg Verlag.
    • , , , und . . „Monte Carlo Algorithms for Elliptic Differential Equations - a Data Parallel Functional Approach.“ (9): 3965.
    • , und . . „Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming.“ Beitrag präsentiert auf der Fifth International Symposium on High Performance Distributed Computing (HPDC-5) New York City: Wiley-IEEE Computer Society Press.
    • , , und . . „Curry: A Truly Functional Logic Language.“ Beitrag präsentiert auf der ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland,USA
    • . . „Skeletons versus C - A Case Study.“ Beitrag präsentiert auf der International Workshop on the Implementation of Functional Languages, Baastad,Sweden
    • , , , und . . „Distributed Memory Implementation of Elliptic Partial Differential Equations in a Dataparallel Functional Langugage.“ Beitrag präsentiert auf der Programming Models for Massively Parallel Computers (MPPM'95) New York City: Wiley-IEEE Computer Society Press.
    • , und . . „Algorithmic Skeletons in an Imperative Language for Distributed Programming.Technical Reports of the University of Giessen Nr. 9504.
    • , und . . „Algorithmic Skeletons for Adaptive Multigrid Methods.“ In Bd.980 aus LNCS Heidelberg: Springer.
    • , und . . „Candela -- A Topology Description Language.“ : 557676.
    • , und . . „Parallel Implementation of the Gamma-Operation.“ In Bd.5 aus Lecture Notes Series on Computing Singapore: World Scientific Publishing.
    • , , und . . „Distributed Implementation of a Data Parallel Functional Language.“ In Bd.817 aus LNCS Heidelberg: Springer.
    • , und . . „Eine datenparallele funktionale Sprache für Multicomputer.“ Beitrag präsentiert auf der TAT'94 Bristol: IOP Publishing.
    • , und . . „A Data Parallel Functional Language for Distributed Memory Machines.“ Beitrag präsentiert auf der Conference on Numerical Methods and Applications Singapore: World Scientific Publishing.
    • , und . . „Parallel Implementation of Bags.“ Beitrag präsentiert auf der Conference on Functional Languages and Computer Architecture, Kopenhagen New York, NY: ACM Press.
    • , , , , und . . „Efficient Lazy Narrowing using Demandedness Analysis.“ In Bd.714 aus LNCS Heidelberg: Springer.
    • , , und . . „Full Indexing for Lazy Narrowing.Aachener Informatik-Berichte (AIB). Aachen.
    • . . „Distributed Memory Implementation of a Data Parallel Functional Language.PMG Report of the Chalmers University of Technology Nr. 76.
    • , und . . „Parallel Functional Programming using Algorithmic Skeletons.“ Beitrag präsentiert auf der Int. Conf. on Parallel Computing (ParCo), Grenoble, North-Holland
    • , , und . . „Candela -- Eine Sprache zur Beschreibung von Topologien.“ Beitrag präsentiert auf der Transputer-Anwender-Treffen, Aachen Heidelberg: Springer.
    • , , , und . . „Implementing a Lazy Functional Logic Language with Disequality Constraints.“ Beitrag präsentiert auf der Joint International Conference and Symposium on Logic Programming Cambridge, MA: MIT Press.
    • , , und . . „Independent And-Parallel Implementation of Narrowing.“ In Bd.631 aus LNCS Heidelberg: Springer.
    • , , und . . „Independent And-Parallel Narrowing.Aachener Informatik-Berichte (AIB). Aachen.
    • , und . . „Result Directed Computing in a Functional Logic Language.Aachener Informatik-Berichte (AIB). Aachen.
    • , , , und . . „Implementing Disequality in a Lazy Functional Logic Language.Aachener Informatik-Berichte (AIB). Aachen.
    • , , , und . . „Graph Narrowing to Implement a Functional Logic Language.Reports of the Universidad Politecnica de Madrid. Madrid.
    • , , und . . „The Topology Description Language TDL.Aachener Informatik-Berichte (AIB). Aachen.
    • , und . . „Distributed Applicative Arrays.Aachener Informatik-Berichte (AIB) Nr. 91-5.
    • , , , und . . „Lazy Narrowing in a Graph Machine.Aachener Informatik-Berichte (AIB). Aachen.
    • , und . . „Comparison of Dynamic Load Balancing Strategies.Aachener Informatik-Berichte (AIB) Nr. 90-5.
    • , , , und . . „Graph-Based Implementation of a Functional Logic Language.Aachener Informatik-Berichte (AIB). Aachen.
  • Betreute Arbeiten

    Promotionen

    Hagedorn, BastianHigh-Performance Domain-Specific Compilation without Domain-Specific Compilers
    An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language
    Automated Test-Case Generation with Symbolic Execution
    Humernbrum, TimEnforcing Quality of Service in Real-Time Applications Using Software-Defined Networking
    von Hoffen, MoritzDeveloping Sharing Economy Services - Artifacts for Peer-to-Peer Sharing and Collaborative Consumption Services
    Klör, BenjaminBuilding a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries - Design and Evaluation
    Facilitating Information System Development
    Data Parallel Algorithmic Skeletons with Accelerator Support.
    icebricks. Konstruktion und Anwendung eines Prozessmodellierungswerkzeugs
    Graph-based Conceptual Model Analysis - Design, Implementation, Demonstration and Evaluation of Model Query Languages
    Groß, StephanEin konfiguratives Vorgehensmodell für die Einführung von ERP-Systemen
    Plattformübergreifende Entwicklung mobiler Business Apps
    Konstruktion und Anwendung eines multizweckorientierten hierarchischen Metamodellierungswerkzeugs
    Datenparallele algorithmische Skelette - Erweiterungen und Anwendungen der Münster Skelettbibliothek Muesli
    Entwicklung und Implementierung eines hybriden Debuggers für Java
    Gruttmann, SusanneFormatives E-Assessment in der Hochschullehre - Computerunterstützte Lernfortschrittkontrollen im Informatikstudium
    Poldner, MichaelTask Parallel Algorithmic Skeletons

    Habilitationen

    Analyzing and Predicting Performances of Business Processes
    Interaction Routines in Service Systems: Analysis, Design, Emergence