2018

 

Aufsatz (Konferenz)

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, Hawaii. (Accepted)
Mehr Details BibTeX

2017

 

Aufsatz (Zeitschrift)

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

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

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

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

 

Aufsatz (Konferenz)

Bünder, H., Rieger, C., & Kuchen, H. (2017). A 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

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

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

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

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

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

 

Buchbeitrag (Sammel-, Herausgeberband)

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

2016

 

Aufsatz (Zeitschrift)

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

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

 

Aufsatz (Konferenz)

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

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

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

 

Aufsatz (Zeitschrift)

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

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

 

Aufsatz (Konferenz)

Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2015). 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. (Accepted)
Mehr Details BibTeX DOI

 

Abschlussarbeit (Dissertation, Habilitation)

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

2014

 

Aufsatz (Zeitschrift)

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

 

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

2013

 

Aufsatz (Zeitschrift)

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

 

Aufsatz (Konferenz)

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

Heitkötter, H., & Majchrzak, T. (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

 

Buchbeitrag (Sammel-, Herausgeberband)

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

2012

 

Aufsatz (Zeitschrift)

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

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

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

 

Aufsatz (Konferenz)

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

 

Buch (Monographie)

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

 

Buchbeitrag (Sammel-, Herausgeberband)

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

 

Abschlussarbeit (Dissertation, Habilitation)

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

2011

 

Aufsatz (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

 

Aufsatz (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. &. W. W. E., Palakal, M. J., & Hung, C.-C. (Eds.), Proceedings of the 2011 ACM Symposium on Applied Computing (pp. 287–294). ACM.
Mehr Details BibTeX Gesamter Text DOI

Majchrzak, T. A., & 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

 

Buch (Sammel-, Herausgeberband)

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

 

Buchbeitrag (Sammel-, Herausgeberband)

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

 

Abschlussarbeit (Dissertation, Habilitation)

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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. ERCIS — European Research Center for Information Systems, Münster: ERCIS — European Research Center for Information Systems.
Mehr Details BibTeX Gesamter Text

2010

 

Aufsatz (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, 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

 

Aufsatz (Konferenz)

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

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

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

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

Neuhaus, P., Noack, O., Majchrzak, T., Ückert, F., & , (2010). Using a Business Rule Management System to Improve Disposition of Traumatized Patients. In Proceedings of the 13th International Congress on Medical Informatics (Medinfo), 12.-15. September Capetown, Southafrica 2010. ()
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

 

Buch (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

 

Aufsatz (Zeitung, nicht-wissenschaftliches Medium)

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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. ERCIS — European Research Center for Information Systems, Münster: ERCIS — European Research Center for Information Systems.
Mehr Details BibTeX

 

Sonstige (technische Spezifikation, informelle Veröffentlichung)

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

2009

 

Aufsatz (Konferenz)

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

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

Majchrzak, 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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

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

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

2008

 

Aufsatz (Zeitschrift)

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

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

 

Aufsatz (Konferenz)

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

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

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

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

Gruttmann, S., Böhm, D., & Kuchen, H. (2008). 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

 

Buchbeitrag (Sammel-, Herausgeberband)

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

2007

 

Aufsatz (Konferenz)

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

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

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

2006

 

Aufsatz (Konferenz)

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

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

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

2005

 

Aufsatz (Zeitschrift)

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

 

Aufsatz (Konferenz)

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

2004

 

Aufsatz (Konferenz)

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

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

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

 

Buchbeitrag (Sammel-, Herausgeberband)

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

2003

 

Buchbeitrag (Sammel-, Herausgeberband)

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

2002

 

Aufsatz (Zeitschrift)

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

 

Aufsatz (Konferenz)

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

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

2001

 

Buch (Sammel-, Herausgeberband)

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

2000

 

Aufsatz (Konferenz)

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

1999

 

Aufsatz (Zeitschrift)

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

 

Aufsatz (Konferenz)

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

1998

 

Aufsatz (Zeitschrift)

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

1997

 

Buch (Sammel-, Herausgeberband)

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

1996

 

Aufsatz (Zeitschrift)

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

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

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

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

 

Aufsatz (Konferenz)

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

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

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

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

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

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

 

Buch (Sammel-, Herausgeberband)

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

 

Buchbeitrag (Sammel-, Herausgeberband)

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

 

Kurzbeitrag (Poster)

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

1995

 

Aufsatz (Konferenz)

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

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

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

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

1994

 

Aufsatz (Zeitschrift)

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

 

Aufsatz (Konferenz)

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

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

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

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

1993

 

Aufsatz (Konferenz)

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

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

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

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

1992

 

Aufsatz (Konferenz)

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

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

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

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

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

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

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

1991

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

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

1990

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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

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

1989

 

Bericht (Arbeits-, Forschungs-, Jahresbericht)

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