2023

 

Forschungsartikel in Sammelband (Konferenz)

Neugebauer, J., Hochstrat, J., Schneid, K., Sigge, D., & Kuchen, H. (2023). A Model-Driven Approach to SAP S/4HANA Development. In Proceedings of the International Enterprise Distributed Object Computing Conference (EDOC) 2023, Groningen. (accepted / in press (not yet published))
Mehr Details BibTeX

Neugebauer, M. (2023). Nagare Media Engine: Towards an Open-Source Cloud- and Edge-Native NBMP Implementation. In Fill, H.-G., Domínguez, M. F. J., van Sinderen, M., & Maciaszek, L. (Eds.), Proceedings of the 18th International Conference on Software Technologies — ICSOFT (pp. 404–411). Rome, Italy: SciTePress.
Mehr 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))
Mehr 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.
Mehr 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.
Mehr Details BibTeX DOI

2022

 

Forschungsartikel in Sammelband (Konferenz)

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: IEEE Press.
Mehr 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.
Mehr 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.
Mehr Details BibTeX Gesamter Text DOI

Neugebauer, M. (2022). Nagare Media Ingest: A Server for Live CMAF Ingest Workflows. In Association, f. C. M. (Ed.), Proceedings of the 13th ACM Multimedia Systems Conference (pp. 210–215). Athlone, Ireland: Association for Computing Machinery.
Mehr Details BibTeX 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)
Mehr 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.
Mehr Details BibTeX Gesamter 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.
Mehr Details BibTeX Gesamter Text DOI

 

Forschungsartikel (Zeitschrift)

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

 

Abstract in Fachzeitschrift (Konferenz)

Dubbeldam, R., Neugebauer, J., & Kuchen, H. (2022). A-146: Digitale Applikation für individuellen Rehabilitation nach Sprunggelenksinversionstrauma.
Mehr Details Gesamter Text DOI

 

Übersichtsartikel (Zeitschrift)

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

2021

 

Forschungsartikel (Buchbeitrag)

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

 

Forschungsartikel in Sammelband (Konferenz)

Dageförde, J., Winkelmann, H., & Kuchen, H. (2021). Free Objects in Constraint-logic Object-oriented Programming. In Veltri, N., Benton, N., & Ghilezan, S. (Eds.), 23rd International Symposium on Principles and Practice of Declarative Programming (pp. 14:1-14:13). New York, NY, USA: ACM.
Mehr Details BibTeX DOI

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

Winkelmann, H. (2021). Constraint-Logische Objektorientierte Programmierung mit Muli. In Hanus, M., & Prott, K.-O. (Eds.), Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 115–125). Kiel Computer Science Series: Vol. 2021/7. Kiel: Department of Computer Science, Kiel University.
Mehr Details BibTeX

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

 

Abstract in Online-Sammlung (Konferenz)

Nahardani, A., Leistikow, S., Krämer, M., Herrmann, K., Zhao, W., Güllmar, D., Linsen, L., Reichenbach, J., & Hoerr, V. (2021). The impact of compressed sensing L1- ESPIRiT reconstruction on the velocity vector fields acquired by 4D-flow MRI: A comparison to L2-ESPIRiT. Poster session presented at the Proc. Intl. Soc. Mag. Reson. Med. 29, Virtual.
Mehr Details BibTeX

 

Forschungsartikel (Zeitschrift)

Herrmann, N., Kuchen, H., & Menezes, B. A. d. M. (2021). Stencil Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments. International Journal of Parallel Programming, 50(5-6), 433–453.
Mehr Details BibTeX Gesamter Text DOI

Menezes, B., Herrmann, N., Kuchen, H., & Neto, F. B. d. L. (2021). High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons. International Journal of Parallel Programming, 49, 776–801.
Mehr Details BibTeX Gesamter Text DOI

Reischmann, T., Klein, T., & Giegerich, S. (2021). A deferred acceptance mechanism for decentralized fast, and fair childcare assignmen. Journal of Mechanism and Institution Design, 2021(6), 59–100.
Mehr Details BibTeX DOI

Reischmann, T., Klein, T., & Giegerich, S. (2021). An iterative deferred acceptance mechanism for decentralized, fast, and fair childcare assignment. Journal of Mechanism and Institution Design, 2021. (accepted / in press (not yet published))
Mehr Details BibTeX

 

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

2020

 

Fachbuch (Herausgegebenes Buch)

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

 

Forschungsartikel (Buchbeitrag)

Dageförde, J. C., & Teegen, F. (2020). Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming. In Hofstedt, P., Abreu, S., John, U., Kuchen, H., & Seipel, D. (Eds.), Declarative Programming and Knowledge Management (pp. 199–214). Lecture Notes in Artificial Intelligence: Vol. 12057. Springer.
Mehr 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., & Dumas, M. (Eds.), Business Process Management Forum (pp. 35–50). Springer Nature Switzerland AG.
Mehr Details BibTeX

 

Forschungsartikel in Sammelband (Konferenz)

Dageförde, J. C., & Kuchen, H. (2020). Constraint-Logic Object-Oriented Programming with Free Arrays. In Proceedings of the WFLP 2020, Bologna, Italy.
Mehr Details BibTeX Gesamter 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.
Mehr 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.
Mehr 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.
Mehr 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.
Mehr Details BibTeX

 

Abstract in Online-Sammlung (Konferenz)

Nahardani, A., Leistikow, S., Grün, K., Krämer, M., Herrmann, K., Schrepper, A., Bauer, R., Jung, C., Berndt, A., Schulze, P., Linsen, L., Reichenbach, J., Franz, M., & and, H. V. (2020). Evaluation of potential hemodynamic biomarkers in experimental PAH using center-out stack-of-stars 4D phase contrast velocity mapping. Poster session presented at the ISMRM 2020, Virtual.
Mehr Details BibTeX

 

Forschungsartikel (Zeitschrift)

Biørn-Hansen, A., Rieger, C., Grønli, T., Majchrzak, T., & Ghinea, G. (2020). An empirical investigation of performance overhead in cross-platform mobile development frameworks. Empirical Software Engineering, 25(4), 2997–3040.
Mehr Details BibTeX Gesamter Text DOI

Coulon, T., Bourdeau, S., Vieru, D. a. B., & É., (2020). Évolution des Infrastructures TI — Trois Défis — Surmonter. Gestion, 45(4), 80–83.
Mehr Details BibTeX

Sandfort, F., Strieth-Kalthoff, F., Kühnemund, M., Beecks, C., & Glorius, F. (2020). A Structure-Based Platform for Predicting Chemical Reactivity. Chem, 0.
Mehr Details BibTeX Gesamter Text DOI

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

 

Qualifikationsschrift (Dissertation, Habilitationsschrift)

Dageförde, J. C. (2020). An Integrated Constraint-Logic and Object-Oriented Programming Language. at the WWU Münster. Münster.
Mehr Details BibTeX Gesamter Text

Reischmann, T. (2020). Applied matching algorithms — Selected problems from the domains of computer science education and market design. at the Westfälische Wilhelms-Universität Münster.
Mehr Details BibTeX

 

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

2019

 

Forschungsartikel (Buchbeitrag)

Dageförde, J. C. (2019). Reference Type Logic Variables in Constraint-logic Object-oriented Programming. In Silva, J. (Ed.), Functional and Constraint Logic Programming (pp. 131–144). Lecture Notes in Computer Science: Vol. 11285. Springer.
Mehr Details BibTeX DOI

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

 

Forschungsartikel in Sammelband (Konferenz)

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

Bünder, H. (2019). Decoupling Language and Editor — The Impact of the Language Server Protocol on Textual Domain-Specific Languages. In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prag, 131–142.
Mehr Details BibTeX DOI

Dageförde, J. C., & Teegen, F. (2019). Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming. In Proceedings of the Declare 2019, Cottbus, Germany.
Mehr Details BibTeX Gesamter Text

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

Reischmann, T., & Menezes, B. (2019). Application of Swarm-intelligent Methods to Optimize Error-tolerant Graph Matching for Automatic E-Assessment. In Proceedings of the 6th IEEE Latin American Conference on Computational Intelligence LA-CCI, Guayaquil, Ecuador.
Mehr Details BibTeX

Rieger, C., & Kuchen, H. (2019). A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes. In Proceedings of the 52nd Hawaii International Conference on System Sciences, Maui, Hawaii, USA, 7431–7440.
Mehr Details BibTeX Gesamter 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.
Mehr 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.
Mehr Details BibTeX DOI

 

Forschungsartikel (Zeitschrift)

Bünder, H. (2019). Generating User Interface Documentation Based on Imported Service Models. Softwaretechnik-Trends, 39(2), 37–38.
Mehr Details BibTeX

Bünder, H. (2019). A Model-Driven Approach for Graphical User Interface Modernizing Reusing Legacy Services. Working Papers, European Center for Information Systems, 30.
Mehr Details BibTeX DOI

Bünder, H., & Kuchen, H. (2019). Towards behavior-driven graphical user interface testing. ACM SIGAPP Applied Computing Review, 19(2), 5–17.
Mehr Details BibTeX

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

Rieger, C., & Majchrzak, T. (2019). Towards the definitive evaluation framework for cross-platform app development approaches. Journal of Systems and Software, 153, 175–199.
Mehr Details BibTeX Gesamter Text DOI

Sandfort, F., Strieth-Kalthoff, F., Kühnemund, M., Beecks, C., & Glorius, F. (2019). A Structure-Based Platform for Predicting Chemical Reactivity. ChemRxiv, 2019.
Mehr Details BibTeX Gesamter Text DOI

 

Qualifikationsschrift (Dissertation, Habilitationsschrift)

Rieger, C. (2019). Model-Driven Software Development — Cross-Platform App Development and Further Applications of Domain-Specific Languages. at the Universität Münster.
Mehr Details BibTeX Gesamter Text DOI

 

Arbeitspapier / Working Paper

Dageförde, J., Dylus, S., Christiansen, J., Teegen, F., & Tikovsky, J. (2019). Strukturierte Traversierung des Ausführungsbaums von Muli-Programmen. In Knoop, J., Steffen, M., & Trancón, y. W. B. (Eds.). Oslo, Norway: Institutt for Informatikk.
Mehr Details BibTeX Gesamter Text

2018

 

Forschungsartikel (Buchbeitrag)

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

 

Forschungsartikel in Sammelband (Konferenz)

Dageförde, J. C. (2018). Reference Type Logic Variables in Constraint-logic Object-oriented Programming. In Proceedings of the 26th International Workshop on Functional and Logic Programming, Frankfurt, Deutschland.
Mehr Details BibTeX Gesamter Text

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

Fuchs, A. (2018). Automated Test Case Generation for Java EE based Web Applications. In Proceedings of the 12th International Conference on Tests & Proofs, Toulouse, France.
Mehr Details BibTeX

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

Fuchs, A., & von Hof, V. (2018). Improving Integration Testing of Web Service by Propagating Symbolic Constraint Test Artifacts Spanning Multiple Software Projects. In Proceedings of the The 30th International Conference on Software Engineering & Knowledge Engineering, Redwood City, San Francisco Bay, California, USA.
Mehr Details BibTeX

Fuchs, A., von Hof, V., & Neugebauer, M. (2018). Leveraging Distributed Unit Test Case Execution for Java for Improving the Testing Process. In Proceedings of the The 17th International Conference on Intelligent Software Methodologies, Tools, and Techniques, Granada, Spain.
Mehr 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.
Mehr Details BibTeX Gesamter 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.
Mehr Details BibTeX Gesamter Text DOI

Rieger, C. (2018). Evaluating a Graphical Model-Driven Approach to Codeless Business App Development. In Proceedings of the 51st Hawaii International Conference on System Sciences, Waikoloa, Hawaii, USA, 5725–5734.
Mehr Details BibTeX Gesamter Text

Rieger, C. (2018). Interoperability of BPMN and MAML for Model-Driven Development of Business Apps. In Shishkov, B. (Ed.), Business Modeling and Software Design (pp. 149–166). Cham: Springer International Publishing.
Mehr Details BibTeX 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.
Mehr Details BibTeX DOI

Rieger, C., & Majchrzak, T. A. (2018). A Taxonomy for App-Enabled Devices: Mastering the Mobile Device Jungle. In Majchrzak, T., Traverso, P., Krempels, K., & Monfort, V. (Eds.), Web Information Systems and Technologies (pp. 202–220). Cham: Springer International Publishing.
Mehr 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.
Mehr Details BibTeX DOI

von Hof, V., & Fuchs, A. (2018). Automatic scalable distributed test case execution. Introducing the Muenster DiStributed Test Case Runner for Java (MiDSTR). In Proceedings of the The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France.
Mehr Details BibTeX

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

 

Forschungsartikel (Zeitschrift)

Bünder, H. (2018). Anti-Corruption Layer Modeling Introducing a Model-Driven Approach to Integrate Legacy Software. Softwaretechnik-Trends, 38(2), 65–66.
Mehr Details BibTeX

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

Menezes, B., Wrede, F., Kuchen, H., & Buarque, F. (2018). Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS. International Journal of Swarm Intelligence Research, Volume 9, 9.
Mehr 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.
Mehr Details BibTeX DOI

Wrede, F., & Ernsting, S. (2018). Simultaneous CPU–GPU Execution of Data Parallel Algorithmic Skeletons. International Journal of Parallel Programming, 46(1), 42–61.
Mehr Details BibTeX Gesamter Text DOI

Wrede, F., Menezes, B., & Kuchen, H. (2018). Fish School Search with Algorithmic Skeletons. International Journal of Parallel Programming, -(-), 1–19.
Mehr Details BibTeX Gesamter Text DOI

 

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

2017

 

Forschungsartikel (Buchbeitrag)

Majchrzak, T. A., Dageförde, J. C., Ernsting, J., Rieger, C., & Reischmann, T. (2017). How Cross-Platform Technology Can Facilitate Easier Creation of Business Apps. In Rezaei, S. (Ed.), Apps Management and E-Commerce Transactions in Real-Time (pp. 104–140). Hershey PA: IGI Global.
Mehr Details BibTeX DOI

Runschke, F., Dageförde, J., Scholta, H., & Bräuer, S. (2017). Management von Informationsobjekten in hybriden Wertschöpfungsnetzwerken. In Becker, J., Bernhold, T., Knackstedt, R., & Matzner, M. (Eds.), Planung koordinierter Wertschöpfungspartnerschaften (pp. 179–202). Berlin, Heidelberg: Springer Gabler.
Mehr Details BibTeX Gesamter Text DOI

 

Forschungsartikel in Sammelband (Konferenz)

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

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

Dageförde, J. C., & Kuchen, H. (2017). An Operational Semantics for Constraint-logic Imperative Programming. In Proceedings of the Declare 2017, Würzburg.
Mehr Details BibTeX Gesamter 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.
Mehr 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.
Mehr Details BibTeX

Rieger, C. (2017). Business Apps with MAML: A Model-Driven Approach to Process-Oriented Mobile App Development. In Proceedings of the 32nd Annual ACM Symposium on Applied Computing, Marrakesh, Marokko, 1599–1606.
Mehr Details BibTeX DOI

Rieger, C., & Majchrzak, T. (2017). Conquering the Mobile Device Jungle: Towards a Taxonomy for App-Enabled Devices. In Proceedings of the 13th International Conference on Web Information Systems and Technologies (WEBIST 2017), Porto, Portugal, 332–339.
Mehr Details BibTeX DOI

Schneid, K. (2017). Branching Strategies for Developing New Features within the Context of Continuous Delivery. In Proceedings of the 2nd Workshop on Continuous Software Engineering co-located with Software Engineering (SE 2017), Hannover, Deutschland, 28–35.
Mehr Details BibTeX Gesamter Text

Von, H. V. (2017). Leveraging Test Case Generation in the Testing Process — An Integration of Human Oracles with Derived Oracles. In Fujita, H., Selamat, A., & Omatu, S. (Eds.), New Trends in Intelligent Software Methodologies, Tools and Techniques (pp. 480–489). Frontiers in Artificial Intelligence and Applications: Vol. 297. Amsterdam, Niederlande: IOS Press.
Mehr Details BibTeX Gesamter Text DOI

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

Wrede, F., & von Hof, V. (2017). Enabling Efficient Use of Algorithmic Skeletons in Cloud Environments: Container-based Virtualization for Hybrid CPU-GPU Execution of Data-parallel Skeletons. In Shin, S. Y., Shin, D., & Lencastre, M. (Eds.), SAC '17 Proceedings of the Symposium on Applied Computing (pp. 1593–1596). New York, NY, USA: ACM.
Mehr Details BibTeX Gesamter Text DOI

 

Forschungsartikel (Zeitschrift)

Bünder, H. (2017). A Model-Driven Approach for Configurable Evaluation of Traceability Information. International Journal on Advances in Software, 10(3 and 4), 324–334.
Mehr Details BibTeX

Bünder, H. (2017). A UML-Agnostic Migration Approach From UML to DSL. Softwaretechnik-Trends, 37(2), 36–37.
Mehr Details BibTeX

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

2016

 

Forschungsartikel in Sammelband (Konferenz)

Dageförde, J. C., Reischmann, T., Majchrzak, T. A., & Ernsting, J. (2016). Generating App Product Lines in a Model-Driven Cross-Platform Development Approach. In Proceedings of the 49th Hawaii International Conference on System Sciences, Kauai, Hawaii, 5803–5812.
Mehr Details BibTeX DOI

Ernsting, J., Rieger, C., Wrede, F., & Majchrzak, T. A. (2016). Refining a Reference Architecture for Model-Driven Business Apps. In Majchrzak, T. A., Traverso, P., Monfort, V., & Krempels, K.-H. (Eds.), Proceedings of the 12th International Conference on Web Information Systems and Technologies (WEBIST 2016) (pp. 307–316). SCITEPRESS — Science and Technology Publications, Lda.
Mehr Details BibTeX DOI

Evers, S., Ernsting, J., & Majchrzak, T. A. (2016). Towards a Reference Architecture for Model-Driven Business Apps. In Proceedings of the 49th Hawaii International Conference on System Sciences, Kauai, Hawaii, 5731–5740.
Mehr Details BibTeX DOI

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

Rieger, C., & Majchrzak, T. (2016). Weighted evaluation framework for cross-platform app development approaches. In Wrycza, S. (Ed.), Information Systems: Development, Research, Applications, Education: 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016, Proceedings (pp. 18–39). Lecture Notes in Business Information Processing: Vol. 264. Springer Verlag.
Mehr Details BibTeX Gesamter Text DOI

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

 

Forschungsartikel (Zeitschrift)

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

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

 

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

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

Rieger, C. (2016). A Data Model Inference Algorithm for Schemaless Process Modelling. In Becker, J., Backhaus, K., Dugas, M., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Trautmann, H., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 29. Münster: European Research Center for Information Systems.
Mehr Details BibTeX

2015

 

Forschungsartikel in Sammelband (Konferenz)

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

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

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

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

Majchrzak, T., & Ernsting, J. (2015). Reengineering an Approach to Model-Driven Development of Business Apps. In Proceedings of the 8th SIGSAND/PLAIS EuroSymposium 2015, Danzig, Polen, 15–31.
Mehr Details BibTeX Gesamter Text DOI

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

Usener, C. A. (2015). EASy-DSBuilder: Automated Assessment of Tree Data Structures in Computer Science Teaching. In Proceedings of the 30th ACM Symposium On Applied Computing (SAC 2015), Salamanca, Spain, 220–226.
Mehr Details BibTeX DOI

 

Forschungsartikel (Zeitschrift)

Heitkötter, H., Kuchen, H., & Majchrzak, T. A. (2015). Extending a model-driven cross-platform development approach for business apps. Science of Computer Programming (Sci. Comput. Programming), 97(1), 31–36.
Mehr Details BibTeX Gesamter Text DOI

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

 

Qualifikationsschrift (Dissertation, Habilitationsschrift)

Usener, C. A. (2015). Formatives E-Assessment in der Hochschullehre — Elektronisches Prüfen komplexer Aufgabentypen in der Informatiklehre. at the Universität Münster.
Mehr Details BibTeX

2014

 

Forschungsartikel in Sammelband (Konferenz)

Becker, J., Ortbach, K., Köffer, S., Dageförde, J., & Niehaves, B. (2014). Old Dogs and New Tricks — Exploring the Benefits and Drawbacks of IT Consumerization in the Context of Aging Workforces. In Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI), Paderborn, 1860–1872.
Mehr Details BibTeX

 

Forschungsartikel (Zeitschrift)

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

2013

 

Forschungsartikel (Buchbeitrag)

Heitkötter, H., Hanschke, S., & Majchrzak, T. (2013). Evaluating Cross-Platform Development Approaches for Mobile Applications. In Cordeiro, J., & Krempels, K. (Eds.), Web Information Systems and Technologies. 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers (pp. 120–138). Lecture Notes in Business Information Processing (LNBIP): Vol. 140. Berlin Heidelberg: Springer.
Mehr Details BibTeX Gesamter Text DOI

 

Forschungsartikel in Sammelband (Konferenz)

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

Heitkötter, H., & Majchrzak, T. (2013). Cross-platform Development of Business Apps with MD². In vom Brocke, J., Hekkala, R., Ram, S., & Rossi, M. (Eds.), Design Science at the Intersection of Physical and Virtual Design (pp. 405–411). Lecture Notes in Computer Science (LNCS): Vol. 7939. Berlin Heidelberg: Springer.
Mehr Details BibTeX Gesamter Text DOI

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

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

Heitkötter, H., Majchrzak, T., Ruland, B., & Weber, T. (2013). Evaluating Frameworks for Creating Mobile Web Apps. In Proceedings of the 9th International Conference on Web Information Systems and Technologies (WEBIST), Aachen, Deutschland, 209–221.
Mehr Details BibTeX Gesamter Text DOI

Majchrzak, T., & Heitkötter, H. (2013). Development of Mobile Applications in Regional Companies: Status Quo and Best Practices. In Proceedings of the 9th International Conference on Web Information Systems and Technologies (WEBIST), Aachen, Deutschland, 335–346.
Mehr Details BibTeX Gesamter Text DOI

 

Forschungsartikel (Zeitschrift)

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

2012

 

Fachbuch (Monographie)

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

 

Forschungsartikel (Buchbeitrag)

Marek, M., Müller-Böhm, C., & Usener, C. A. (2012). Learnweb — Das zentrale e-Learning-Angebot der Universität Münster. In Vogl, R., Tröger, B., & Schwartze, S. (Eds.), Fortschritte des integrierten Informationsmanagements an Hochschulen: Integrierte Bereitstellung, einheitlicher Zugang und individuelle Verteilung (pp. 285–298). Wissenschaftliche Schriften der WWU Münster — Reihe XIX: Vol. 2. Münster: Monsenstein und Vannerdat.
Mehr Details BibTeX

 

Forschungsartikel in Sammelband (Konferenz)

Bergener, K., & Majchrzak, T. A. (2012). Media Choice — Influencing Factor in Virtual Team Innovation Processes. In Proceedings of the XXIII ISPIM Conference, ISPIM, Barcelona.
Mehr Details BibTeX

Dyck, S., & Majchrzak, T. A. (2012). Identifying Common Characteristics in Fundamental, Integrated, and Agile Software Development Methodologies. In Proceedings of the 45th Annual Hawaii International Conference on System Sciences (HICSS-45).
Mehr Details BibTeX

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

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

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

Heitkötter, H. (2012). A Framework for Creating Domain-specific Process Modeling Languages. In Proceedings of the 7th International Conference on Software Paradigm Trends (ICSOFT), Rom, Italien, 127–136.
Mehr Details BibTeX Gesamter Text DOI

Heitkötter, H., Hanschke, S., & Majchrzak, T. (2012). Comparing Cross-platform Development Approaches for Mobile Applications. In Proceedings of the 8th International Conference on Web Information Systems and Technologies (WEBIST), Porto, Portugal, 299–311.
Mehr Details BibTeX Gesamter Text DOI

Heitkötter, H., Hildebrand, K. F., & Usener, C. A. (2012). Mobile Platforms as Two-sided Markets. In Proceedings of the 18th Americas Conference on Information Systems (AMCIS), Seattle, Washington, USA, 1–9.
Mehr Details BibTeX Gesamter Text

Majchrzak, T. A., & Chakravorty, A. (2012). Improving the Compliance of Transplantation Medicine Patients with an Integrated Mobile System. In Proceedings of the 45th Annual Hawaii International Conference on System Sciences (HICSS-45).
Mehr Details BibTeX

Majchrzak, T. A., & Simon, A. (2012). Using Spring Roo for the Test-Driven Development of Web Applications. In Proceedings of the 2012 ACM Symposium on Applied Computing (SAC).
Mehr Details BibTeX

Majchrzak, T. A., & Usener, C. A. (2012). Evaluating E-Assessment for Exercises That Require Higher-Order Cognitive Skills. In Proceedings of the 45th Annual Hawaii International Conference on System Sciences (HICSS-45), Hawaii, USA, 48–57.
Mehr Details BibTeX DOI

 

Forschungsartikel (Zeitschrift)

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

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

Usener, C. A., Majchrzak, T. A., & Kuchen, H. (2012). E-assessment and software testing. Interactive Technology and Smart Education, 9(1), 45–54.
Mehr Details BibTeX Gesamter Text DOI

 

Qualifikationsschrift (Dissertation, Habilitationsschrift)

Wolffgang, U. (2012). Modellgetriebene Entwicklung daten- und prozessbasierter Webapplikationen. at the Universität Münster.
Mehr Details BibTeX Gesamter Text

2011

 

Fachbuch (Herausgegebenes Buch)

Kuchen, H., Majchrzak, T., & Müller-Olm, M. (Eds.) (2011). Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11). Arbeitsberichte des Instituts für Wirtschaftsinformatik: Vol. 132. Münster: Institut für Wirtschaftsinformatik, WWU Münster.
Mehr Details BibTeX Gesamter Text

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

 

Forschungsartikel (Buchbeitrag)

Gruttmann, S., & Usener, C. A. (2011). Prüfen mit Computer und Internet — Didaktik, Methodik und Organisation von E-Assessment. In Ebner, M., Schön, , & S., (Eds.), Lehrbuch für Lernen und Lehren mit Technologien (pp. 1–9). epubli GmbH.
Mehr Details BibTeX

 

Forschungsartikel in Sammelband (Konferenz)

Heitkötter, H. (2011). Transforming PICTURE to BPMN 2.0 as Part of the Model-Driven Development of Electronic Government Systems. In Proceedings of the 44th Hawaii International Conference on System Sciences (HICSS), Kauai, Hawaii, USA, 1–10.
Mehr Details BibTeX Gesamter Text DOI

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

Majchrzak, T. A., & Hildebrand, K. F. (2011). Game Vendors' Influence on the Monetary Value of Virtual Goods. In Proceedings of the 2011 ACM Symposium on Applied Computing (SAC).
Mehr Details BibTeX DOI

Majchrzak, T. A., Jakubiec, A., Lablans, M., & Ükert, F. (2011). Towards Better Social Integration Through Mobile Web 2.0 Ambient Assisted Living Devices. In Proceedings of the 2011 ACM Symposium on Applied Computing (SAC).
Mehr Details BibTeX DOI

Majchrzak, T. A., Jansen, T., & Kuchen, H. (2011). Efficiency Evaluation of Open Source ETL Tools. In Proceedings of the 2011 ACM Symposium on Applied Computing (SAC).
Mehr Details BibTeX DOI

Majchrzak, T. A., & Kuchen, H. (2011). Logic Java: Combining Object-Oriented and Logic Programming. In Proc. of the 20th Int. Workshop on Functional and (Constraint) Logic Programming (WFLP), 122–137.
Mehr Details BibTeX DOI

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

Majchrzak, T. A., & Hildebrand, K. F. (2011). Game Vendors' Influence on the Monetary Value of Virtual Goods. In Proceedings of the ACM, Taichung, Taiwan.
Mehr Details BibTeX

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

Majchrzak, T. A., & Usener, C. A. (2011). Evaluating the Synergies of Integrating E-Assessment and Software Testing. In Proceedings of the 20th International Conference on Information Systems Development (ISD2011), Edinburgh, 179–193.
Mehr Details BibTeX

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

Wolffgang, U. (2011). Multi-Platform Model-Driven Software Development of Web Applications. In Proceedings of the ICSOFT 2011, Seville, Spain, 162–171.
Mehr Details BibTeX

 

Forschungsartikel (Zeitschrift)

Majchrzak, T. A., Noack, O., Neuhaus, P., & Ückert, F. (2011). Supporting the Allocation of Traumatized Patients with a Decision Support System. International Journal of Information Systems for Crisis Response and Management, 3(3), 36–51.
Mehr Details BibTeX

 

Qualifikationsschrift (Dissertation, Habilitationsschrift)

Majchrzak, T. (2011). Technical and Organizational Aspects of Testing Software. Münster.
Mehr Details BibTeX

 

Arbeitspapier / Working Paper

Majchrzak, T., & Kuchen, H. (2011). Muggl: The Muenster Generator of Glass-box Test Cases. In Becker, J., Backhaus, K., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Müller-Funk, U., & Vossen, G. (Eds.), Working Papers: Vol. 10. Münster: ERCIS — European Research Center for Information Systems.
Mehr Details BibTeX Gesamter Text

2010

 

Fachbuch (Monographie)

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

 

Forschungsartikel in Sammelband (Konferenz)

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

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

Kuchen, H., & Hermanns, C. (2010). Implementation and Evaluation of a Declarative Debugger for Java. In Proceedings of the WFLP 2010, Madrid, Spain, 157–171.
Mehr Details BibTeX Gesamter Text

Majchrzak, T. A. (2010). Best Practices for Technical Aspects of Software Testing in Enterprises. In Proceedings of the International Conference on Information Society (i-Society 2010), 205–212.
Mehr Details BibTeX

Majchrzak, T. A. (2010). Status Quo of Software Testing — Regional Findings and Global Inductions. In Proceedings of the 9th ISOneWorld Conference.
Mehr Details BibTeX

Majchrzak, T. A. (2010). Status Quo of Software Testing — Regional Findings and Global Inductions. In Proceedings 9th ISOneWorld.
Mehr Details BibTeX

Majchrzak, T. A. (2010). Best Practices for the Organizational Implementation of Software Testing. In Proceedings of the 43th Annual Hawaii International Conference on System Sciences (HICSS-43), 1–10.
Mehr Details BibTeX DOI

Majchrzak, T. A., Bergener, K., Jansing, T., Kuchen, H., & Becker, J. (2010). Towards a Web-Based Collaborative Dictionary for Verbalized Body Language. In Proceedings of the 8th Annual Conference on Information Science, Technology and Management (CISTM).
Mehr Details BibTeX

Majchrzak, T. A., Noack, O., Kuchen, H., Neuhaus, P., & Ükert, F. (2010). Towards a Decision Support System for the Allocation of Traumatized Patients.
Mehr Details BibTeX

Usener, C. A., Gruttmann, S., Majchrzak, T. A., & Kuchen, H. (2010). Formative E-Assessment of Software Verification Skills in Higher Education. In Proceedings of the IADIS International Conference e-Learning 2010 (eL2010).
Mehr Details BibTeX

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

 

Forschungsartikel (Zeitschrift)

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

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

Majchrzak, T. A. (2010). Status Quo of Software Testing — Regional Findings and Global Inductions. Journal of Information Science and Technology (JIST), 7(2).
Mehr Details BibTeX

Majchrzak, T. (2010). Improving the Technical Aspects of Software Testing in Enterprises. International Journal of Advanced Computer Science and Applications (IJACSA), 1(4).
Mehr Details BibTeX

Neuhaus, P., Noack, O., Majchrzak, T. A., & Ückert, F. (2010). Using a business rule management system to improve disposition of traumatized patients. Studies in Health Technology and Informatics (Stud Health Technol Inform), 160(1), 759–63.
Mehr Details BibTeX

Wolffgang, U. (2010). Ein Generator-Framework zur modellgetriebenen Entwicklung von Web-Applikationen. WIRTSCHAFTSINFORMATIK & MANAGEMENT, 2010(6), 26–34.
Mehr Details BibTeX Gesamter Text

 

Nicht-wissenschaftlicher Beitrag (Zeitschrift)

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

 

Arbeitspapier / Working Paper

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

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

Majchrzak, T., Jakubiec, A., Lablans, M., & Ükert, F. (2010). Evaluating Mobile Ambient Assisted Living Devices and Web 2.0 Technology for a Better Social Integration. In Becker, J., Backhaus, K., Grob, H., Hoeren, T., Klein, S., Kuchen, H., Müller-Funk, U., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 9. Münster: ERCIS — European Research Center for Information Systems.
Mehr Details BibTeX

 

Sonstige wissenschaftliche Veröffentlichung

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

2009

 

Forschungsartikel in Sammelband (Konferenz)

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

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

Majchrzak, T. A. (2009). Technische Aspekte des erfolgreichen Testens von Software in Unternehmen. In Knoop, J., & Prantl, A. (Eds.), Schriftenreihe des Instituts für Computersprachen, Bericht 2009-X-1: 15. (pp. 193–207). Maria Taferl, Austria: Technische Universität Wien.
Mehr Details BibTeX

Majchrzak, T. A., & Kuchen, H. (2009). Automatische Testfallerzeugung auf Basis der Üerdeckungsanalyse. In Hanus, M., & Brassel, B. (Eds.), Technischer Bericht des Instituts für Informatik Nr. 0915: 26 (pp. 14–25). Bad Honnef, Germany: Christian-Albrechts-Universität Kiel.
Mehr Details BibTeX

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

 

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

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

Wolffgang, U. (2009). Web Application Specification Language (WASL).
Mehr Details BibTeX Gesamter Text

2008

 

Forschungsartikel (Buchbeitrag)

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

 

Forschungsartikel in Sammelband (Konferenz)

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

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

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

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

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

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

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

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

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

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

 

Forschungsartikel (Zeitschrift)

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

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

 

Arbeitspapier / Working Paper

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

2007

 

Forschungsartikel in Sammelband (Konferenz)

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

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

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

2006

 

Forschungsartikel in Sammelband (Konferenz)

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

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

Poldner, M., & Kuchen, H. (2006). Algorithmic Skeletons for Branch & Bound. In Proceedings of the 1st International Conference on Software and Data Technology (ICSOFT), Sebtual,Portugal, 291–300.
Mehr Details BibTeX Gesamter Text

2005

 

Forschungsartikel in Sammelband (Konferenz)

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

 

Forschungsartikel (Zeitschrift)

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

2004

 

Forschungsartikel (Buchbeitrag)

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

 

Forschungsartikel in Sammelband (Konferenz)

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

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

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

 

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

2003

 

Forschungsartikel (Buchbeitrag)

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

 

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

2002

 

Forschungsartikel in Sammelband (Konferenz)

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

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

 

Forschungsartikel (Zeitschrift)

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

 

Arbeitspapier / Working Paper

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

2001

 

Fachbuch (Herausgegebenes Buch)

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

2000

 

Forschungsartikel in Sammelband (Konferenz)

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

1999

 

Forschungsartikel in Sammelband (Konferenz)

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

 

Forschungsartikel (Zeitschrift)

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

1998

 

Forschungsartikel (Zeitschrift)

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

 

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

1997

 

Fachbuch (Herausgegebenes Buch)

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

 

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

1996

 

Fachbuch (Herausgegebenes Buch)

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

 

Forschungsartikel (Buchbeitrag)

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

 

Forschungsartikel in Sammelband (Konferenz)

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

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

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

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

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

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

 

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

 

Forschungsartikel (Zeitschrift)

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

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

Hanus, M., & Kuchen, H. (1996). Integration of Functional and Logic Programming. 2, 306–308.
Mehr Details BibTeX Gesamter Text

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

1995

 

Forschungsartikel in Sammelband (Konferenz)

Botorog, H. G., & Kuchen, H. (1995). Algorithmic Skeletons for Adaptive Multigrid Methods. In Proceedings of the Irregular '95, 27–41.
Mehr Details BibTeX Gesamter Text

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

Kuchen, H. (1995). Skeletons versus C — A Case Study. In Proceedings of the International Workshop on the Implementation of Functional Languages, Baastad,Sweden.
Mehr Details BibTeX Gesamter Text

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

 

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

1994

 

Forschungsartikel in Sammelband (Konferenz)

Gladitz, K., & Kuchen, H. (1994). Parallel Implementation of the Gamma-Operation. In Proceedings of the Conference on Parallel Symbolic Computation (PaSCo), 154–163.
Mehr Details BibTeX Gesamter Text

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

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

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

 

Forschungsartikel (Zeitschrift)

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

1993

 

Forschungsartikel in Sammelband (Konferenz)

Kuchen, H., & Gladitz, K. (1993). Parallel Implementation of Bags. In Proceedings of the Conference on Functional Languages and Computer Architecture, Kopenhagen, 299–307.
Mehr Details BibTeX Gesamter Text

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

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

 

Arbeitspapier / Working Paper

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

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

1992

 

Forschungsartikel in Sammelband (Konferenz)

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

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

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

 

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

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

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

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

1991

 

Arbeitspapier / Working Paper

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

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

1990

 

Arbeitspapier / Working Paper

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

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

1989

 

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