@book{HofstedtAJKS2020Declarative,
  editor = {Petra Hofstedt and Salvador Abreu and Ulrich John and Herbert Kuchen and Dietmar Seipel},
  title = {Declarative Programming and Knowledge Management},
  series = {Lecture Notes in Computer Science},
  volume = {12057},
  year = {2020},
  publisher = {Springer},
  address = {Cottbus, Deutschland},
  isbn = {978-3-030-46713-5},
  doi = {10.1007/978-3-030-46714-2},
  url = {https://doi.org/10.1007/978-3-030-46714-2},
  note = {Publication status: Published}
}

@incollection{DagefoerdeT2020Structured,
  author = {Jan C. Dageförde and Finn Teegen},
  title = {Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming},
  booktitle = {Declarative Programming and Knowledge Management},
  pages = {199--214},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {12057},
  editor = {P Hofstedt and S Abreu and U John and H Kuchen and D Seipel},
  year = {2020},
  publisher = {Springer},
  isbn = {978-3-030-46713-5},
  doi = {10.1007/978-3-030-46714-2_13},
  note = {Publication status: Published}
}

@incollection{SchneidTK2020FeatureDevelopment,
  author = {Konrad Schneid and Sebastian Thöne and Herbert Kuchen},
  title = {Feature Development in BPMN-Based Process-Driven Applications},
  booktitle = {Business Process Management Forum},
  pages = {35--50},
  editor = {Dirk Fahland and Chiara Ghidini and Joerg Becker and Marlon Dumas},
  year = {2020},
  publisher = {Springer Nature Switzerland AG},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeK2020ConstraintLogic,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Constraint-Logic Object-Oriented Programming with Free Arrays},
  booktitle = {Proceedings of the WFLP 2020},
  year = {2020},
  address = {Bologna, Italy},
  url = {https://arxiv.org/pdf/2008.13460.pdf},
  note = {Publication status: Published}
}

@inproceedings{MenezesDAPKB2020Parallelization,
  author = {Breno Menezes and L F {de Araujo Pessoa} and H Kuchen and de Lima Neto F Buarque},
  title = {Parallelization Strategies for GPU- Based Ant Colony Optimization Applied to TSP},
  booktitle = {Parallel Computing: Technology Trends},
  pages = {321--330},
  editor = {Foster Ian and R. Joubert Gerhard and Kučera Luděk and E. Nagel Wolfgang and Peters Frans},
  year = {2020},
  publisher = {IOS Press},
  address = {Prag, Tschechische Republik},
  isbn = {978-1-64368-070-5},
  doi = {10.3233/APC200057},
  note = {Publication status: Published}
}

@inproceedings{MenezesHKN2020HighLevelParallel,
  author = {Breno Menezes and Nina Herrmann and Herbert Kuchen and Fernando
Buarque de Lima Neto},
  title = {High-Level Parallel Ant Colony Optimization with
Algorithmic Skeletons},
  booktitle = {Proceedings of the 13$^{th}$ International Symposium on High-Level Parallel Programming and Applications (HLPP 2020)},
  pages = {776--801},
  year = {2020},
  publisher = {Springer},
  address = {Porto, Portugal},
  note = {Publication status: Published}
}

@inproceedings{RiegerLPKDD2020AModelDriven,
  author = {Christoph Rieger and Daniel Lucrédio and M. Fortes Renata Pontin and Herbert Kuchen and Felipe Dias and Lianna Duarte},
  title = {A Model-Driven Approach to Cross-Platform Development of Accessible Business Apps},
  booktitle = {Proceedings of the The 35$^{th}$ ACM/SIGAPP Symposium On Applied Computing (SAC 2020)},
  pages = {984--993},
  year = {2020},
  address = {Brno, Czech Republic},
  doi = {10.1145/3341105.3375765},
  note = {Publication status: Published}
}

@inproceedings{SchneidTK2020FeatureDevelopment,
  author = {Konrad Schneid and Sebastian Thöne and Herbert Kuchen},
  title = {Feature Development in BPMN-Based Process-Driven Applications},
  booktitle = {Business Process Management Forum},
  pages = {35--50},
  editor = {Dirk Fahland and Chiara Ghidini and Jörg Becker and Marlon Duma},
  year = {2020},
  publisher = {Springer},
  address = {Seville, Spain},
  isbn = {978-3-030-58638-6},
  note = {Publication status: Published}
}

@misc{NahardaniLGKHSBJBSLRFA2020Evaluation,
  author = {A Nahardani and S Leistikow and K Grün and M Krämer and KH Herrmann and A Schrepper and R Bauer and C Jung and A Berndt and PC Schulze and L Linsen and JR Reichenbach and M Franz and Hoerr V and},
  title = {Evaluation of potential hemodynamic biomarkers in experimental PAH using center-out stack-of-stars 4D phase contrast velocity mapping},
  year = {2020},
  note = {Publication status: Published}
}

@article{BiornHansenRGMG2020AnEmpirical,
  author = {A Biørn-Hansen and C Rieger and T Grønli and TA Majchrzak and G Ghinea},
  title = {An empirical investigation of performance overhead in cross-platform mobile development frameworks},
  journal = {Empirical Software Engineering},
  year = {2020},
  volume = {25},
  number = {4},
  pages = {2997--3040},
  doi = {10.1007/s10664-020-09827-6},
  url = {https://doi.org/10.1007/s10664-020-09827-6},
  note = {Publication status: Published}
}

@article{CoulonBVE2020EvolutionDes,
  author = {T. Coulon and S. Bourdeau and D. and Boissieres Vieru and  É.},
  title = {Évolution des Infrastructures TI --- Trois Défis --- Surmonter},
  journal = {Gestion},
  year = {2020},
  volume = {45},
  number = {4},
  pages = {80--83},
  note = {Publication status: Published}
}

@article{SandfortSKKBG2020AStructureBased,
  author = {F Sandfort and F Strieth-Kalthoff and M Kühnemund and C Beecks and F Glorius},
  title = {A Structure-Based Platform for Predicting Chemical Reactivity},
  journal = {Chem},
  year = {2020},
  volume = {0},
  doi = {10.1016/j.chempr.2020.02.017},
  url = {https://doi.org/10.1016/j.chempr.2020.02.017},
  note = {Publication status: Published}
}

@article{WredeK2020TowardsHighPerformance,
  author = {Fabian Wrede and Herbert Kuchen},
  title = {Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons},
  journal = {International Journal of Parallel Programming},
  year = {2020},
  volume = {48},
  number = {4},
  pages = {713--728},
  doi = {10.1007/s10766-020-00659-x},
  note = {Publication status: Published}
}

@article{WredeRK2020Generation,
  author = {Fabian Wrede and Christoph Rieger and Herbert Kuchen},
  title = {Generation of high-performance code based on a domain-specific language for algorithmic skeletons},
  journal = {The Journal of Supercomputing},
  year = {2020},
  volume = {75},
  pages = {1--19},
  doi = {10.1007/s11227-019-02825-6},
  url = {https://doi.org/10.1007/s11227-019-02825-6},
  note = {Publication status: Published}
}

@phdthesis{Dagefoerde2020AnIntegrated,
  author = {Jan C. Dageförde},
  title = {An Integrated Constraint-Logic and Object-Oriented Programming Language},
  school = {WWU Münster},
  year = {2020},
  address = {Münster},
  url = {http://nbn-resolving.de/urn:nbn:de:hbz:6-89089640681},
  note = {Publication status: Published}
}

@phdthesis{Reischmann2020AppliedMatching,
  author = {Tobias Reischmann},
  title = {Applied matching algorithms --- Selected problems from the domains of computer science education and market design},
  school = {Westfälische Wilhelms-Universität Münster},
  year = {2020},
  note = {Publication status: Published}
}

@techreport{DagefoerdeK2020FreeObjects,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Free Objects in Constraint-logic Object-oriented Programming},
  institution = {},
  series = {Working Papers, European Research Center for Information Systems},
  number = {32},
  volume = {32},
  year = {2020},
  address = {Münster},
  url = {https://www.ercis.org/sites/ercis/files/structure/network/research/ercis-working-papers/ercis_wp_32.pdf},
  note = {Publication status: Published}
}

@incollection{Dagefoerde2019ReferenceType,
  author = {Jan C. Dageförde},
  title = {Reference Type Logic Variables in Constraint-logic Object-oriented Programming},
  booktitle = {Functional and Constraint Logic Programming},
  pages = {131--144},
  series = {Lecture Notes in Computer Science},
  volume = {11285},
  editor = {J Silva},
  year = {2019},
  publisher = {Springer},
  isbn = {978-3-030-16201-6},
  doi = {10.1007/978-3-030-16202-3_8},
  note = {Publication status: Published}
}

@incollection{RiegerK2019TowardsPluriPlatform,
  author = {Christoph Rieger and Herbert Kuchen},
  title = {Towards Pluri-Platform Development: Evaluating a Graphical Model-Driven Approach to App Development Across Device Classes},
  booktitle = {Towards Integrated Web, Mobile, and IoT Technology},
  pages = {36--66},
  series = {Lecture Notes in Business Information Processing},
  volume = {347},
  editor = {Tim A Majchrzak and Cristian Mateos and Francesco Poggi and Tor-Morten Grønli},
  year = {2019},
  publisher = {Springer International Publishing},
  address = {Cham},
  isbn = {978-3-030-28430-5},
  issn = {978-3-030-28429-9},
  doi = {10.1007/978-3-030-28430-5_3},
  note = {Publication status: Published}
}

@inproceedings{AbreuHJKS2019PreProceedings,
  author = {S Abreu and P Hofstedt and U John and H Kuchen and D Seipel},
  title = {Pre-proceedings of the International Conference DECLARE},
  booktitle = {Parallel Programming with Algorithmic Skeletons. The Art of Structuring},
  pages = {527--536},
  editor = {H Kuchen},
  year = {2019},
  publisher = {Springer Verlag},
  address = {Cottbus, Deutschland},
  note = {Publication status: accepted / in press (not yet published)}
}

@inproceedings{BeyerDKU2019AutomatedDataFlow,
  author = {Lars Beyer and Jan C. Dageförde and Herbert Kuchen and Claus A. Usener},
  title = {Automated Data-flow Analysis and Validation in Process Automation Projects},
  booktitle = {Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques},
  pages = {333--346},
  editor = {H Fujita and A Selamat},
  year = {2019},
  publisher = {IOS Press},
  address = {Kuching, Malaysia},
  isbn = {978-1-64368-012-5},
  doi = {10.3233/FAIA190061},
  note = {Publication status: Published}
}

@inproceedings{BuenderK2019TowardsMultiEditor,
  author = {Hendrik Buender and Herbert Kuchen},
  title = {Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol.},
  booktitle = {Proceedings of the 7$^{th}$ MODELSWARD 2019: Prague, Czech Republic: Revised Selected Papers},
  pages = {225--245},
  year = {2019},
  address = {Prag, Czechische Republik},
  note = {Publication status: Published}
}

@inproceedings{BuenderK2019AModelDriven,
  author = {Hendrik Buender and Herbert Kuchen},
  title = {A Model-Driven Approach for Behavior-Driven GUI Testing},
  booktitle = {Proceeding SAC '19 Proceedings of the 34$^{th}$ ACM/SIGAPP Symposium on Applied Computing},
  pages = {1742--1751},
  year = {2019},
  address = {Limassol, Cyprus},
  doi = {10.1145/3297280.3297450},
  note = {Publication status: Published}
}

@inproceedings{Buender2019Decoupling,
  author = {Hendrik Bünder},
  title = {Decoupling Language and Editor --- The Impact of the Language Server Protocol on Textual Domain-Specific Languages},
  booktitle = {Proceedings of the 7$^{th}$ International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019)},
  pages = {131--142},
  editor = {Slimane Hammoudi and Pires Luis Ferreira and Bran Selić},
  year = {2019},
  address = {Prag},
  isbn = {978-989-758-358-2},
  doi = {10.5220/0007556301310142},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeT2019Structured,
  author = {Jan C Dageförde and Finn Teegen},
  title = {Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming},
  booktitle = {Proceedings of the Declare 2019},
  year = {2019},
  address = {Cottbus, Germany},
  url = {https://arxiv.org/pdf/1908.10264.pdf},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeK2019RetrievalOf,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space},
  booktitle = {Proceedings of the 34$^{th}$ ACM/SIGAPP Symposium On Applied Computing},
  pages = {1552--1561},
  year = {2019},
  address = {Limassol, Cyprus},
  isbn = {978-1-4503-5933-7/19/04},
  doi = {10.1145/3297280.3298912},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeK2019MuliConstraintLogic,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Muli: Constraint-Logic Object-Oriented Programming mit freien Objekten},
  booktitle = {Proceedings of the 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)},
  pages = {73},
  editor = {M Plümicke and Alia F Abu},
  year = {2019},
  publisher = {Shaker Verlag},
  address = {Baiersbronn-Schwarzenberg},
  isbn = {978-3-8440-6933-4},
  note = {Publication status: Published}
}

@inproceedings{LacerdaBAKL2019OnTheLearning,
  author = {M Lacerda and de Lima Neto F Buarque and Neto H Amorim and H Kuchen and T Ludermir},
  title = {On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms},
  booktitle = {Proceedings of the 6$^{th}$ IEEE Latin American Conference on Computational Intelligence (LA-CCI '19)},
  year = {2019},
  address = {Guayaquil, Ecuador},
  note = {Publication status: accepted / in press (not yet published)}
}

@inproceedings{MenezesPKB2019Parallelization,
  author = {B Menezes and L Pessoa and H Kuchen and F Buarque},
  title = {Parallelization Strategies for GPU-based Ant Colony Optimization Applied to TSP},
  booktitle = {Proceedings of the The International Conference on Parallel Computing ParCo2019},
  year = {2019},
  address = {Prag},
  doi = {10.1109/CEC.2019.8790073},
  note = {Publication status: Published}
}

@inproceedings{MenezesAKB2019Parallelization,
  author = {Breno Menezes and Hugo Amorim and Herbert Kuchen and Fernando Buarque},
  title = {Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem},
  booktitle = {Proceedings of the 2019 IEEE Congress on Evolutionary Computation (CEC)},
  year = {2019},
  address = {Wellington, New Zealand},
  doi = {10.1109/CEC.2019.8790073},
  note = {Publication status: Published}
}

@inproceedings{ReischmannK2019AWebBasedEAssessment,
  author = {Tobias Reischmann and Herbert Kuchen},
  title = {A Web-Based E-Assessment Tool for Design Patterns in UML
Class Diagrams},
  booktitle = {Proceedings of the 34$^{th}$ ACM/SIGAPP Symposium on Applied Computing},
  year = {2019},
  publisher = {ACM},
  address = {ACM New York, NY, USA},
  isbn = {978-1-4503-5933-7},
  doi = {10.1145/3297280.3297520},
  url = {https://dl.acm.org/citation.cfm?doid=3297280.3297520},
  note = {Publication status: Published}
}

@inproceedings{ReischmannM2019Application,
  author = {Tobias Reischmann and Breno Menezes},
  title = {Application of Swarm-intelligent Methods to Optimize Error-tolerant Graph Matching for Automatic E-Assessment},
  booktitle = {Proceedings of the 6$^{th}$ IEEE Latin American Conference on Computational Intelligence LA-CCI},
  year = {2019},
  address = {Guayaquil, Ecuador},
  note = {Publication status: Published}
}

@inproceedings{RiegerK2019AModelDriven,
  author = {Christoph Rieger and Herbert Kuchen},
  title = {A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes},
  booktitle = {Proceedings of the 52$^{nd}$ Hawaii International Conference on System Sciences},
  pages = {7431--7440},
  year = {2019},
  address = {Maui, Hawaii, USA},
  isbn = {978-0-9981331-2-6},
  url = {http://hdl.handle.net/10125/60180},
  note = {Publication status: Published}
}

@inproceedings{RiegerWK2019MusketADomainSpecific,
  author = {Christoph Rieger and Fabian Wrede and Herbert Kuchen},
  title = {Musket: A Domain-Specific Language for High-Level Parallel Programming with Algorithmic Skeletons},
  booktitle = {Proceedings of the 34$^{nd}$ Annual ACM Symposium on Applied Computing (SAC)},
  pages = {1534--1543},
  year = {2019},
  address = {Limassol, Cyprus},
  doi = {10.1145/3297280.3297434},
  note = {Publication status: Published}
}

@inproceedings{SchneidUTKT2019StaticAnalysis,
  author = {Konrad Schneid and Claus A. Usener and Sebastian Thöne and Herbert Kuchen and Christian Tophinke},
  title = {Static Analysis of BPMN-Based Process-Driven Applications},
  booktitle = {SAC '19: Proceedings of the 34$^{th}$ ACM/SIGAPP Symposium on Applied Computing},
  pages = {66--74},
  editor = {Chihcheng Hung and  Papadopoulos and Angelos George},
  year = {2019},
  publisher = {Association for Computing Machinery},
  address = {Limassol Cyprus},
  isbn = {978-1-4503-5933-7},
  doi = {10.1145/3297280.3297289},
  note = {Publication status: Published}
}

@article{Buender2019Generating,
  author = {H Bünder},
  title = {Generating User Interface Documentation Based on Imported Service Models},
  journal = {Softwaretechnik-Trends},
  year = {2019},
  volume = {39},
  number = {2},
  pages = {37--38},
  note = {Publication status: Published}
}

@article{Buender2019AModelDriven,
  author = {H Bünder},
  title = {A Model-Driven Approach for Graphical User Interface Modernizing Reusing Legacy Services},
  journal = {Working Papers, European Center for Information Systems},
  year = {2019},
  volume = {30},
  doi = {10.1109/ACCESS.2017.2733518},
  note = {Publication status: Published}
}

@article{BuenderK2019TowardsBehaviorDriven,
  author = {H Bünder and H Kuchen},
  title = {Towards behavior-driven graphical user interface testing},
  journal = {ACM SIGAPP Applied Computing Review},
  year = {2019},
  volume = {19},
  number = {2},
  pages = {5--17},
  note = {Publication status: Published}
}

@article{DagefoerdeK2019ACompilerAnd,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli},
  journal = {Journal of Computer Languages},
  year = {2019},
  volume = {53},
  pages = {63--78},
  doi = {10.1016/j.cola.2019.05.001},
  note = {Publication status: Published}
}

@article{RiegerM2019TowardsThe,
  author = {C Rieger and TA Majchrzak},
  title = {Towards the definitive evaluation framework for cross-platform app development approaches},
  journal = {Journal of Systems and Software},
  year = {2019},
  volume = {153},
  pages = {175--199},
  doi = {10.1016/j.jss.2019.04.001},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121219300743},
  note = {Publication status: Published}
}

@article{SandfortSKKBG2019AStructureBased,
  author = {F Sandfort and F Strieth-Kalthoff and M Kühnemund and C Beecks and F Glorius},
  title = {A Structure-Based Platform for Predicting Chemical Reactivity},
  journal = {ChemRxiv},
  year = {2019},
  volume = {2019},
  doi = {10.26434/chemrxiv.9981488.v1},
  url = {https://chemrxiv.org/articles/A_Structure-Based_Platform_for_Predicting_Chemical_Reactivity/9981488},
  note = {Publication status: Published}
}

@phdthesis{Rieger2019ModelDriven,
  author = {Christoph Rieger},
  title = {Model-Driven Software Development --- Cross-Platform App Development and Further Applications of Domain-Specific Languages},
  school = {Universität Münster},
  year = {2019},
  doi = {10.17879/31169712586},
  url = {https://repositorium.uni-muenster.de/document/miami/67f368c3-54bc-45df-864c-0797fa657e72/diss_rieger.pdf},
  note = {Publication status: Published}
}

@techreport{DagefoerdeDCTT2019Strukturierte,
  author = {JC Dageförde and S Dylus and J Christiansen and F Teegen and JR Tikovsky},
  title = {Strukturierte Traversierung des Ausführungsbaums von Muli-Programmen},
  institution = {Institutt for Informatikk},
  number = {488},
  volume = {488},
  editor = {J Knoop and M Steffen and y Widemann B Trancón},
  year = {2019},
  address = {Oslo, Norway},
  url = {https://www.duo.uio.no/handle/10852/72477},
  note = {Publication status: Published}
}

@incollection{DagefoerdeK2018AnOperational,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {An Operational Semantics for Constraint-logic Imperative Programming},
  booktitle = {Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017.},
  pages = {64--80},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {10997},
  editor = {D Seipel and M Hanus and S Abreu},
  year = {2018},
  publisher = {Springer},
  address = {Cham},
  isbn = {978-3-030-00801-7},
  doi = {10.1007/978-3-030-00801-7_5},
  note = {Publication status: Published}
}

@inproceedings{Dagefoerde2018ReferenceType,
  author = {Jan C. Dageförde},
  title = {Reference Type Logic Variables in Constraint-logic Object-oriented Programming},
  booktitle = {Proceedings of the 26$^{th}$ International Workshop on Functional and Logic Programming},
  year = {2018},
  address = {Frankfurt, Deutschland},
  url = {https://arxiv.org/pdf/1808.08185},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeK2018AConstraintLogic,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {A Constraint-logic Object-oriented Language},
  booktitle = {Proceedings of the 33$^{rd}$ ACM/SIGAPP Symposium On Applied Computing},
  pages = {1185--1194},
  year = {2018},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/3167132.3167260},
  note = {Publication status: Published}
}

@inproceedings{Fuchs2018AutomatedTest,
  author = {Andreas Fuchs},
  title = {Automated Test Case Generation for Java EE based Web Applications},
  booktitle = {Proceedings of the 12$^{th}$ International Conference on Tests & Proofs},
  year = {2018},
  address = {Toulouse, France},
  note = {Publication status: Published}
}

@inproceedings{FuchsK2018TestCaseGeneration,
  author = {Andreas Fuchs and Herbert Kuchen},
  title = {Test-Case Generation for Web-Service Clients},
  booktitle = {Proceedings of the The 33$^{rd}$ ACM/SIGAPP Symposium On Applied Computing},
  year = {2018},
  address = {Pau, France},
  note = {Publication status: Published}
}

@inproceedings{FuchsVH2018ImprovingIntegration,
  author = {Andreas Fuchs and Vincent {von Hof}},
  title = {Improving Integration Testing of Web Service by Propagating Symbolic Constraint Test Artifacts Spanning Multiple Software Projects},
  booktitle = {Proceedings of the The 30$^{th}$ International Conference on Software Engineering & Knowledge Engineering},
  year = {2018},
  address = {Redwood City, San Francisco Bay, California, USA},
  note = {Publication status: Published}
}

@inproceedings{FuchsVHN2018Leveraging,
  author = {Andreas Fuchs and Vincent {von Hof} and Matthias Neugebauer},
  title = {Leveraging Distributed Unit Test Case Execution for Java for Improving the Testing Process},
  booktitle = {Proceedings of the The 17$^{th}$ International Conference on Intelligent Software Methodologies, Tools, and Techniques},
  year = {2018},
  address = {Granada, Spain},
  note = {Publication status: Published}
}

@inproceedings{MenezesWKB2018ParameterSelection,
  author = {Breno Menezes and Fabian Wrede and Herbert Kuchen and Fernando Buarque},
  title = {Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS},
  booktitle = {Proceedings of the 4$^{th}$ IEEE Latin American Conference on Computational Intelligence (LA-CCI '17)},
  year = {2018},
  address = {Arequipa, Peru},
  doi = {10.1109/LA-CCI.2017.8285694},
  url = {http://ieeexplore.ieee.org/document/8285694/},
  note = {Publication status: Published}
}

@inproceedings{ReischmannK2018AnInteractive,
  author = {T Reischmann and H Kuchen},
  title = {An Interactive Learning Environment for Software Engineering Design Patterns},
  booktitle = {Proceedings of the 18$^{th}$ Koli Calling International Conference on Computing Education Research},
  pages = {35:1-35:2},
  year = {2018},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-6535-2},
  doi = {10.1145/3279720.3279896},
  url = {http://doi.acm.org/10.1145/3279720.3279896},
  note = {Publication status: Published}
}

@inproceedings{Rieger2018Evaluating,
  author = {Christoph Rieger},
  title = {Evaluating a Graphical Model-Driven Approach to Codeless Business App Development},
  booktitle = {Proceedings of the 51$^{st}$ Hawaii International Conference on System Sciences},
  pages = {5725--5734},
  year = {2018},
  address = {Waikoloa, Hawaii, USA},
  isbn = {978-0-9981331-2-6},
  url = {http://hdl.handle.net/10125/60180},
  note = {Publication status: Published}
}

@inproceedings{Rieger2018Interoperability,
  author = {Christoph Rieger},
  title = {Interoperability of BPMN and MAML for Model-Driven Development of Business Apps},
  booktitle = {Business Modeling and Software Design},
  pages = {149--166},
  editor = {Boris Shishkov},
  year = {2018},
  publisher = {Springer International Publishing},
  address = {Cham},
  isbn = {978-3-319-94214-8},
  doi = {10.1007/978-3-319-94214-8_10},
  note = {Publication status: Published}
}

@inproceedings{RiegerK2018TowardsModelDriven,
  author = {Christoph Rieger and Herbert Kuchen},
  title = {Towards Model-Driven Business Apps for Wearables},
  booktitle = {Proceedings of the Mobile Web and Intelligent Information Systems (MobiWis)},
  pages = {3--17},
  series = {Lecture Notes in Computer Science},
  volume = {10995},
  editor = {Muhammad Younas and Irfan Awan and George Ghinea and Cid Marisa Catalan},
  year = {2018},
  publisher = {Springer International Publishing},
  address = {Barcelona, Spain},
  issn = {978-3-319-97163-6},
  doi = {10.1007/978-3-319-97163-6_1},
  note = {Publication status: Published}
}

@inproceedings{RiegerM2018ATaxonomyFor,
  author = {Christoph Rieger and Tim A Majchrzak},
  title = {A Taxonomy for App-Enabled Devices: Mastering the Mobile Device Jungle},
  booktitle = {Web Information Systems and Technologies},
  pages = {202--220},
  editor = {TA Majchrzak and P Traverso and K Krempels and V Monfort},
  year = {2018},
  publisher = {Springer International Publishing},
  address = {Cham},
  isbn = {978-3-319-93527-0},
  doi = {10.1007/978-3-319-93527-0_10},
  note = {Publication status: Published}
}

@inproceedings{RiegerWK2018Challenges,
  author = {Christoph Rieger and Martin Westerkamp and Herbert Kuchen},
  title = {Challenges and Opportunities of Modularizing Textual Domain-Specific Languages},
  booktitle = {Proceedings of the 6$^{th}$ International Conference on Model-Driven Engineering and Software Development --- Volume 1: MODELSWARD},
  pages = {387--395},
  year = {2018},
  address = {Funchal, Madeira, Portugal},
  isbn = {978-989-758-283-7},
  doi = {10.5220/0006601903870395},
  note = {Publication status: Published}
}

@inproceedings{VonHofF2018AutomaticScalable,
  author = {Vincent {von Hof} and Andreas Fuchs},
  title = {Automatic scalable distributed test case execution. Introducing the Muenster DiStributed Test Case Runner for Java (MiDSTR)},
  booktitle = {Proceedings of the The 33$^{rd}$ ACM/SIGAPP Symposium On Applied Computing},
  year = {2018},
  address = {Pau, France},
  note = {Publication status: Published}
}

@inproceedings{WredeMPHBK2018HighLevelParallel,
  author = {Fabian Wrede and Breno Menezes and Luis F. Pessoa and Bernd Hellingrath and Fernando Buarque and Herbert Kuchen},
  title = {High-level Parallel Implementation of Swarm Intelligence-based Optimization Algorithms with Algorithmic Skeletons},
  booktitle = {Parallel Computing is Everywhere},
  pages = {573--582},
  series = {Advances In Parallel Computing},
  volume = {32},
  editor = {Sanzio Bassini and Marco Danelutto and Patrizio Dazzi and Gerhard R. Joubert and Frans Peters},
  year = {2018},
  publisher = {IOS Press},
  address = {Amsterdam, Berlin, Washington DC},
  isbn = {978-1-61499-842-6},
  issn = {0927-5452},
  note = {Publication status: Published}
}

@inproceedings{WredeRK2018Generation,
  author = {Fabian Wrede and Christoph Rieger and Herbert Kuchen},
  title = {Generation of High-Performance Code Based on a Domain-Specific Language for Algorithmic Skeletons},
  booktitle = {Proceedings of the High-Level Parallel Programming and Applications (HLPP '18)},
  year = {2018},
  address = {Orléans, France},
  note = {Publication status: Published}
}

@article{Buender2018AntiCorruption,
  author = {Hendrik Bünder},
  title = {Anti-Corruption Layer Modeling Introducing a Model-Driven Approach to Integrate Legacy Software},
  journal = {Softwaretechnik-Trends},
  year = {2018},
  volume = {38},
  number = {2},
  pages = {65--66},
  note = {Publication status: Published}
}

@article{GorlatchK2018GuestEditorial,
  author = {S Gorlatch and H Kuchen},
  title = {Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons},
  journal = {International Journal of Parallel Programming},
  year = {2018},
  volume = {46},
  pages = {1--3},
  doi = {10.1007/s10766-017-0512-3},
  note = {Publication status: Published}
}

@article{MenezesWKB2018ParameterSelection,
  author = {Breno Menezes and Fabian Wrede and Herbert Kuchen and Fernando Buarque},
  title = {Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS.},
  journal = {International Journal of Swarm Intelligence Research, Volume 9},
  year = {2018},
  volume = {9},
  doi = {10.4018/IJSIR.2018100101},
  note = {Publication status: Published}
}

@article{RiegerK2018AProcessOriented,
  author = {Christoph Rieger and Herbert Kuchen},
  title = {A process-oriented modeling approach for graphical development of mobile business apps},
  journal = {Computer Languages, Systems & Structures},
  year = {2018},
  volume = {53},
  pages = {43--58},
  doi = {10.1016/j.cl.2018.01.001},
  note = {Publication status: Published}
}

@article{WredeE2018Simultaneous,
  author = {Fabian Wrede and Steffen Ernsting},
  title = {Simultaneous CPU–GPU Execution of Data Parallel Algorithmic Skeletons},
  journal = {International Journal of Parallel Programming},
  year = {2018},
  volume = {46},
  number = {1},
  pages = {42--61},
  doi = {10.1007/s10766-016-0483-9},
  url = {http://link.springer.com/article/10.1007/s10766-016-0483-9},
  note = {Publication status: Published}
}

@article{WredeMK2018FishSchool,
  author = {Fabian Wrede and Breno Menezes and Herbert Kuchen},
  title = {Fish School Search with Algorithmic Skeletons},
  journal = {International Journal of Parallel Programming},
  year = {2018},
  volume = {-},
  number = {-},
  pages = {1--19},
  doi = {10.1007/s10766-018-0564-z},
  url = {https://link.springer.com/article/10.1007/s10766-018-0564-z},
  note = {Publication status: Published}
}

@techreport{DagefoerdeK2018MuliConstraintProgrammierung,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Muli: Constraint-Programmierung in Java auf symbolischer JVM},
  institution = {Institutt for Informatikk},
  series = {Research report},
  number = {482},
  volume = {482},
  editor = {J Knoop and M Steffen and y Widemann B Trancón},
  year = {2018},
  address = {Oslo, Norway},
  url = {http://urn.nb.no/URN:NBN:no-65294},
  note = {Publication status: Published}
}

@incollection{MajchrzakDERR2017HowCrossPlatform,
  author = {Tim A. Majchrzak and Jan C. Dageförde and Jan Ernsting and Christoph Rieger and Tobias Reischmann},
  title = {How Cross-Platform Technology Can Facilitate Easier Creation of Business Apps},
  booktitle = {Apps Management and E-Commerce Transactions in Real-Time},
  pages = {104--140},
  editor = {Sajad Rezaei},
  year = {2017},
  publisher = {IGI Global},
  address = {Hershey PA},
  isbn = {978-1-5225-2449-6},
  doi = {10.4018/978-1-5225-2449-6.ch005},
  note = {Publication status: Published}
}

@incollection{RunschkeDSB2017Management,
  author = {Florian Runschke and Jan Dageförde and Hendrik Scholta and Sebastian Bräuer},
  title = {Management von Informationsobjekten in hybriden Wertschöpfungsnetzwerken},
  booktitle = {Planung koordinierter Wertschöpfungspartnerschaften},
  pages = {179--202},
  editor = {Jörg Becker and Torben Bernhold and Ralf Knackstedt and Martin Matzner},
  year = {2017},
  publisher = {Springer Gabler},
  address = {Berlin, Heidelberg},
  isbn = {978-3-662-55361-9},
  doi = {10.1007/978-3-662-55362-6_3},
  url = {https://link.springer.com/chapter/10.1007/978-3-662-55362-6_3},
  note = {Publication status: Published}
}

@inproceedings{BuenderRK2017ADomainSpecific,
  author = {Hendrik Bünder and Christoph Rieger and Herbert Kuchen},
  title = {A Domain-specific Language for Configurable Traceability Analysis},
  booktitle = {Proceedings of the 5$^{th}$ International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017)},
  pages = {374--381},
  editor = {Pires Luis Ferreira and Slimane Hammoudi and Bran Selic},
  year = {2017},
  address = {Porto, Portugal},
  isbn = {978-989-758-210-3},
  doi = {10.5220/0006138503740381},
  note = {Publication status: Published}
}

@inproceedings{BuenderRK2017AModelDriven,
  author = {Hendrik Bünder and Christoph Rieger and Herbert Kuchen},
  title = {A Model-Driven Approach for Evaluating Traceability Information},
  booktitle = {The Third International Conference on Advances and Trends in Software Engineering (SOFTENG)},
  pages = {59--65},
  editor = {Mira Kajko-Mattsson and Pål Ellingsen and Paolo Maresca},
  year = {2017},
  address = {Venedig, Italien},
  isbn = {978-1-61208-553-1},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeK2017AnOperational,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {An Operational Semantics for Constraint-logic Imperative Programming},
  booktitle = {Declare 2017 --- Conference on Declarative Programming},
  series = {Technical Report},
  volume = {499},
  editor = {D Seipel and M Hanus and S Abreu},
  year = {2017},
  address = {Würzburg},
  url = {https://www.uni-wuerzburg.de/fileadmin/10030100/Publications/TR_Declare17.pdf},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeK2017MuliConstraintProgrammierung,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Muli: Constraint-Programmierung in Java auf symbolischer JVM},
  booktitle = {Proceedings of the 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)},
  series = {Jenaer Schriften zur Mathematik und Informatik},
  volume = {Math/Inf/02/2017},
  editor = {W Amme and TS Heinze},
  year = {2017},
  address = {Weimar},
  note = {Publication status: Published}
}

@inproceedings{FuchsK2017UnitTesting,
  author = {Andreas Fuchs and Herbert Kuchen},
  title = {Unit Testing of Database-Driven Java Enterprise Edition Applications},
  booktitle = {Proceedings of the 11$^{th}$ International Conference on Tests & Proofs},
  year = {2017},
  address = {Marburg, Deutschland},
  note = {Publication status: Published}
}

@inproceedings{Rieger2017BusinessApps,
  author = {Christoph Rieger},
  title = {Business Apps with MAML: A Model-Driven Approach to Process-Oriented Mobile App Development},
  booktitle = {Proceedings of the 32$^{nd}$ Annual ACM Symposium on Applied Computing},
  pages = {1599--1606},
  series = {SAC '17},
  year = {2017},
  publisher = {ACM},
  address = {Marrakesh, Marokko},
  issn = {978-1-4503-4486-9},
  doi = {10.1145/3019612.3019746},
  note = {Publication status: Published}
}

@inproceedings{RiegerM2017Conquering,
  author = {Christoph Rieger and Tim Majchrzak},
  title = {Conquering the Mobile Device Jungle:
Towards a Taxonomy for App-Enabled Devices},
  booktitle = {Proceedings of the 13$^{th}$ International Conference on Web Information Systems and Technologies (WEBIST 2017)},
  pages = {332--339},
  series = {WEBIST 2017},
  year = {2017},
  address = {Porto, Portugal},
  isbn = {989-758-246-2},
  doi = {10.5220/0006353003320339},
  note = {Publication status: Published}
}

@inproceedings{Schneid2017BranchingStrategies,
  author = {Konrad Schneid},
  title = {Branching Strategies for Developing New Features within the Context of Continuous Delivery},
  booktitle = {Proceedings of the 2$^{nd}$ Workshop on Continuous Software Engineering
co-located with Software Engineering (SE 2017)},
  pages = {28--35},
  series = {CEUR Workshop Proceedings},
  volume = {Vol-1806},
  editor = {Stephan Krusche and Horst Lichter and Riehle Dirk --- and Steffens Andreas ---},
  year = {2017},
  address = {Hannover, Deutschland},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-1806},
  note = {Publication status: Published}
}

@inproceedings{Von2017Leveraging,
  author = {Hof V Von},
  title = {Leveraging Test Case Generation in the Testing Process --- An Integration of Human Oracles with Derived Oracles},
  booktitle = {New Trends in Intelligent Software Methodologies, Tools and Techniques},
  pages = {480--489},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {297},
  editor = {H Fujita and A Selamat and S Omatu},
  year = {2017},
  publisher = {IOS Press},
  address = {Amsterdam, Niederlande},
  isbn = {978-1-61499-799-3},
  doi = {10.3233/978-1-61499-800-6-480},
  url = {http://ebooks.iospress.nl/volume/new-trends-in-intelligent-software-methodologies-tools-and-techniques-proceedings-of-the-16$^{th}$-international-conference-somet-17},
  note = {Publication status: Published}
}

@inproceedings{VonHofFK2017DetectingSpring,
  author = {V {von Hof} and K Fögen and H Kuchen},
  title = {Detecting Spring Configurations Errors},
  booktitle = {SAC '17 Proceedings of the Symposium on Applied Computing},
  editor = {Sung Y. Shin and Dongwan Shin and Maria Lencastre},
  year = {2017},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-4486-9},
  note = {Publication status: Published}
}

@inproceedings{WredeVH2017EnablingEfficient,
  author = {Fabian Wrede and Vincent {von Hof}},
  title = {Enabling Efficient Use of Algorithmic Skeletons in Cloud
Environments: Container-based Virtualization for Hybrid CPU-GPU Execution
of Data-parallel Skeletons},
  booktitle = {SAC '17 Proceedings of the Symposium on Applied Computing},
  pages = {1593--1596},
  editor = {Sung Y. Shin and Dongwan Shin and Maria Lencastre},
  year = {2017},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-4486-9},
  doi = {10.1145/3019612.3019894},
  url = {http://dl.acm.org/citation.cfm?id=3019894},
  note = {Publication status: Published}
}

@article{Buender2017AModelDriven,
  author = {H Bünder},
  title = {A Model-Driven Approach for Configurable Evaluation of Traceability Information},
  journal = {International Journal on Advances in Software},
  year = {2017},
  volume = {10},
  number = {3 and 4},
  pages = {324--334},
  note = {Publication status: Published}
}

@article{Buender2017AUMLAgnostic,
  author = {Hendrik Bünder},
  title = {A UML-Agnostic Migration Approach From UML to DSL},
  journal = {Softwaretechnik-Trends},
  year = {2017},
  volume = {37},
  number = {2},
  pages = {36--37},
  note = {Publication status: Published}
}

@article{GorlatchK2017GuestEditors,
  author = {S Gorlatch and H Kuchen},
  title = {Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications},
  journal = {Parallel Processing Letters (Parallel Process. Lett.)},
  year = {2017},
  volume = {27},
  number = {1},
  pages = {1--2},
  doi = {10.1142/S0129626417020017},
  url = {https://doi.org/10.1142/S0129626417020017},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeRME2016Generating,
  author = {Jan C. Dageförde and Tobias Reischmann and Tim A. Majchrzak and Jan Ernsting},
  title = {Generating App Product Lines in a Model-Driven Cross-Platform Development Approach},
  booktitle = {Proceedings of the 49$^{th}$ Hawaii International Conference on System Sciences},
  pages = {5803--5812},
  year = {2016},
  address = {Kauai, Hawaii},
  doi = {10.1109/HICSS.2016.718},
  note = {Publication status: Published}
}

@inproceedings{ErnstingRWM2016RefiningAReference,
  author = {Jan Ernsting and Christoph Rieger and Fabian Wrede and Tim A Majchrzak},
  title = {Refining a Reference Architecture for Model-Driven Business Apps},
  booktitle = {Proceedings of the 12$^{th}$ International Conference on Web Information Systems and Technologies (WEBIST 2016)},
  pages = {307--316},
  number = {2},
  editor = {Tim A. Majchrzak and Paolo Traverso and Valérie Monfort and Karl-Heinz Krempels},
  year = {2016},
  publisher = {SCITEPRESS --- Science and Technology Publications, Lda.},
  address = {Rome, Italy},
  isbn = {978-989-758-186-1},
  doi = {10.5220/0005862103070316},
  note = {Publication status: Published}
}

@inproceedings{EversEM2016TowardsAReference,
  author = {Sören Evers and Jan Ernsting and Tim A. Majchrzak},
  title = {Towards a Reference Architecture for Model-Driven Business Apps},
  booktitle = {Proceedings of the 49$^{th}$ Hawaii International Conference on System Sciences},
  pages = {5731--5740},
  year = {2016},
  address = {Kauai, Hawaii},
  doi = {10.1109/HICSS.2016.708},
  note = {Publication status: Published}
}

@inproceedings{ReischmannK2016TowardsAnEAssessment,
  author = {T Reischmann and H Kuchen},
  title = {Towards an E-assessment Tool for Advanced Software Engineering Skills},
  booktitle = {Proceedings of the 16$^{th}$ Koli Calling International Conference on Computing Education Research},
  pages = {81--90},
  series = {Koli Calling '16},
  year = {2016},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-4770-9},
  doi = {10.1145/2999541.2999550},
  url = {http://doi.acm.org/10.1145/2999541.2999550},
  note = {Publication status: Published}
}

@inproceedings{RiegerM2016WeightedEvaluation,
  author = {C. Rieger and T. Majchrzak},
  title = {Weighted evaluation framework for cross-platform app development approaches},
  booktitle = {Information Systems: Development, Research, Applications, Education: 9$^{th}$ SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016, Proceedings},
  pages = {18--39},
  series = {Lecture Notes in Business Information Processing},
  volume = {264},
  editor = {S. Wrycza},
  year = {2016},
  publisher = {Springer Verlag},
  address = {Gdansk},
  isbn = {9783319466415},
  issn = {1865-1348},
  doi = {10.1007/978-3-319-46642-2_2},
  url = {ttps://www.researchgate.net/publication/308495821_Weighted_Evaluation_Framework_for_Cross-Platform_App_Development_Approaches},
  note = {Publication status: Published}
}

@inproceedings{VonFK2016CompilezeitPruefung,
  author = {Hof V Von and K Fögen and H Kuchen},
  title = {Compilezeit-Prüfung von Spring-Konfigurationen},
  booktitle = {Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 --- Workshops of the Conference on Software Engineering, SE-WS 2016},
  pages = {96--108},
  series = {Workshops of the Conference on Software Engineering},
  volume = {1559},
  year = {2016},
  publisher = {CEUR-WS},
  address = {Wien, Österreich},
  issn = {1613-0073},
  url = {https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84964200291&origin=inward},
  note = {Publication status: Published}
}

@article{CaballeroMKVH2016Falsification,
  author = {R Caballero and M Montenegro and H Kuchen and V {von Hof}},
  title = {Falsification of Java Assertions Using Automatic Test-Case Generators},
  journal = {International Journal On Advances in Systems and Measurements},
  year = {2016},
  volume = {2016},
  number = {9},
  pages = {177--187},
  note = {Publication status: Published}
}

@article{ErnstingK2016DataParallel,
  author = {S Ernsting and H Kuchen},
  title = {Data Parallel Algorithmic Skeletons with Accelerator Support},
  journal = {International Journal of Parallel Programming},
  year = {2016},
  volume = {2016},
  pages = {1--17},
  doi = {10.1007/s10766-016-0416-7},
  url = {http://dx.doi.org/10.1007/s10766-016-0416-7},
  note = {Publication status: Published}
}

@techreport{CaballeroVMK2016AProgramTransformation,
  author = {R Caballero and Hof V Von and M Montenegro and H Kuchen},
  title = {A Program Transformation for Converting Java Assertions into Control-flow Statements},
  institution = {},
  series = {ERCIS Working Papers},
  number = {25},
  volume = {25},
  editor = {J Becker and K Backhaus and M Dugas and B Hellingrath and T Hoeren and S Klein and H Kuchen and H Trautmann and G Vossen},
  year = {2016},
  note = {Publication status: Published}
}

@techreport{FoegenVK2016Attributed,
  author = {K Fögen and Hof V Von and H Kuchen},
  title = {Attributed Grammars for Detecting Spring Configuration Errors},
  institution = {European Research Center for Information Systems},
  series = {ERCIS Working Papers},
  number = {26},
  volume = {26},
  editor = {J Becker and K Backhaus and M Dugas and B Hellingrath and T Hoeren and S Klein and H Kuchen and H Trautmann and G Vossen},
  year = {2016},
  address = {Münster},
  note = {Publication status: Published}
}

@techreport{Rieger2016ADataModel,
  author = {Christoph Rieger},
  title = {A Data Model Inference Algorithm for Schemaless Process Modelling},
  institution = {European Research Center for Information Systems},
  series = {ERCIS Working Papers},
  number = {29},
  volume = {29},
  editor = {J Becker and K Backhaus and M Dugas and B Hellingrath and T Hoeren and S Klein and H Kuchen and H Trautmann and G Vossen},
  year = {2016},
  address = {Münster},
  note = {Publication status: Published}
}

@inproceedings{CaballeroMKVH2015AutomaticFalsification,
  author = {R Caballero and M Montenegro and H Kuchen and V {von Hof}},
  title = {Automatic Falsification of Java Assertions},
  booktitle = {Proceedings of the VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle},
  year = {2015},
  address = {Barcelona, Spain},
  note = {Publication status: Published}
}

@inproceedings{CaballeroMKVH2015CheckingJava,
  author = {R Caballero and M Montenegro and H Kuchen and V {von Hof}},
  title = {Checking Java Assertions Using Automated Test-Case Generation},
  booktitle = {Proceedings of the 25$^{th}$ International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015},
  pages = {221--226},
  series = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  volume = {9527},
  year = {2015},
  publisher = {Springer Verlag},
  address = {Sienna, Italien},
  isbn = {9783319274355},
  issn = {0302-9743},
  doi = {10.1007/978-3-319-27436-2_13},
  url = {https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84983158566&origin=inward},
  note = {Publication status: Published}
}

@inproceedings{ErnstingK2015JavaImplementation,
  author = {Steffen Ernsting and Herbert Kuchen},
  title = {Java Implementation of Data Parallel Skeletons on GPUs},
  booktitle = {Proceedings of the ParCo 2015},
  year = {2015},
  address = {Edinburgh},
  note = {Publication status: Published}
}

@inproceedings{HanschkeEK2015Integrating,
  author = {S Hanschke and J Ernsting and H Kuchen},
  title = {Integrating Agile Software Development and Enterprise Architecture Management},
  booktitle = {Proceedings of the 48$^{th}$ Annual Hawaii International Conference on System Sciences (HICSS-48)},
  pages = {4099--4108},
  year = {2015},
  publisher = {IEEE Computer Society},
  address = {Hawaii, USA},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakE2015Reengineering,
  author = {TA Majchrzak and J Ernsting},
  title = {Reengineering an Approach to Model-Driven Development of Business Apps},
  booktitle = {8$^{th}$ SIGSAND/PLAIS EuroSymposium 2015, Gdansk, Poland, September 25, 2015, Proceedings},
  pages = {15--31},
  year = {2015},
  address = {Danzig, Polen},
  doi = {10.1007/978-3-319-24366-5_2},
  url = {http://dx.doi.org/10.1007/978-3-319-24366-5_2},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakEK2015ModelDriven,
  author = {TA Majchrzak and J Ernsting and H Kuchen},
  title = {Model-Driven Cross-Platform Apps: Towards Business Practicability},
  booktitle = {Proceedings of the CAiSE 2015 Forum at the 27$^{th}$ International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 10$^{th}$, 2015.},
  pages = {129--136},
  series = {CEUR Workshop Proceedings},
  volume = {1367},
  editor = {Janis Grabis and Kurt Sankuhl},
  year = {2015},
  publisher = {CEUR-WS.org},
  address = {Stockholm, Sweden},
  url = {http://ceur-ws.org/Vol-1367/paper-17.pdf},
  note = {Publication status: Published}
}

@inproceedings{Usener2015EASyDSBuilder,
  author = {Claus A. Usener},
  title = {EASy-DSBuilder: Automated Assessment of
Tree Data Structures in Computer Science Teaching},
  booktitle = {SAC '15 Proceedings of the 30$^{th}$ Annual ACM Symposium on Applied Computing},
  pages = {220--226},
  year = {2015},
  address = {Salamanca, Spain},
  isbn = {978-1-4503-3196-8},
  doi = {10.1145/2695664.2695769},
  note = {Publication status: Published}
}

@article{HeitkoetterKM2015ExtendingA,
  author = {Henning Heitkötter and Herbert Kuchen and Tim A. Majchrzak},
  title = {Extending a model-driven cross-platform development approach for business apps},
  journal = {Science of Computer Programming (Sci. Comput. Programming)},
  year = {2015},
  volume = {97},
  number = {1},
  pages = {31--36},
  doi = {10.1016/j.scico.2013.11.013},
  url = {http://dx.doi.org/10.1016/j.scico.2013.11.013},
  note = {Publication status: Published}
}

@article{MajchrzakEK2015AchievingBusiness,
  author = {Tim A. Majchrzak and Jan Ernsting and Herbert Kuchen},
  title = {Achieving Business Practicability of Model-Driven Cross-Platform Apps},
  journal = {Open Journal of Information Systems (OJIS)},
  year = {2015},
  volume = {2},
  number = {2},
  pages = {3--14},
  url = {http://www.ronpub.com/publications/OJIS_2015v2i2n02_Majchrzak.pdf},
  note = {Publication status: Published}
}

@phdthesis{Usener2015Formatives,
  author = {Claus A. Usener},
  title = {Formatives E-Assessment in der Hochschullehre --- Elektronisches Prüfen komplexer Aufgabentypen in der Informatiklehre},
  school = {Universität Münster},
  year = {2015},
  note = {Publication status: Published}
}

@inproceedings{BeckerOKDN2014OldDogsAnd,
  author = {J Becker and K Ortbach and S Köffer and J Dageförde and B Niehaves},
  title = {Old Dogs and New Tricks --- Exploring the Benefits and Drawbacks of IT Consumerization in the Context of Aging Workforces},
  booktitle = {Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI)},
  pages = {1860--1872},
  year = {2014},
  address = {Paderborn},
  isbn = {978-3-00-045311-3},
  note = {Publication status: Published}
}

@article{ErnstingK2014AScalableFarm,
  author = {Steffen Ernsting and Herbert Kuchen},
  title = {A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming},
  journal = {International Journal of Parallel Programming},
  year = {2014},
  volume = {42},
  number = {6},
  pages = {968--987},
  doi = {10.1007/s10766-013-0269-2},
  url = {http://dx.doi.org/10.1007/s10766-013-0269-2},
  note = {Publication status: Published}
}

@incollection{HeitkoetterHM2013Evaluating,
  author = {H Heitkötter and S Hanschke and TA Majchrzak},
  title = {Evaluating Cross-Platform Development Approaches for Mobile Applications},
  booktitle = {Web Information Systems and Technologies. 8$^{th}$ International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers},
  pages = {120--138},
  series = {Lecture Notes in Business Information Processing (LNBIP)},
  volume = {140},
  editor = {J Cordeiro and KH Krempels},
  year = {2013},
  publisher = {Springer},
  address = {Berlin Heidelberg},
  isbn = {978-3-642-36607-9},
  doi = {10.1007/978-3-642-36608-6_8},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/Evaluating-Cross-Platform-Development-Approaches-for-Mobile-Applications.pdf},
  note = {Publication status: Published}
}

@inproceedings{ErnstingK2013AScalableFarm,
  author = {Steffen Ernsting and Herbert Kuchen},
  title = {A Scalable Farm Skeleton for Heterogeneous Parallel Programming},
  booktitle = {Parallel Computing: Accelerating Computational Science and Engineering (CSE)},
  pages = {72--81},
  series = {Advances in Parallel Computing},
  volume = {25},
  editor = {M Bader and A Bungartz H-J Bode and M Joubert G R Gerndt and F Peters},
  year = {2013},
  address = {München},
  isbn = {978-1-61499-380-3},
  doi = {10.3233/978-1-61499-381-0-72},
  note = {Publication status: Published}
}

@inproceedings{HeitkoetterM2013CrossPlatform,
  author = {H Heitkötter and TA Majchrzak},
  title = {Cross-platform Development of Business Apps with MD²},
  booktitle = {Design Science at the Intersection of Physical and Virtual Design},
  pages = {405--411},
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = {7939},
  editor = {J {vom Brocke} and R Hekkala and S Ram and M Rossi},
  year = {2013},
  publisher = {Springer},
  address = {Berlin Heidelberg},
  isbn = {978-3-642-38826-2},
  issn = {0302-9743},
  doi = {10.1007/978-3-642-38827-9_29},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/Cross-platform-Development-of-Business-Apps-with-MD2.pdf},
  note = {Publication status: Published}
}

@inproceedings{HeitkoetterMK2013CrossPlatform,
  author = {H Heitkötter and TA Majchrzak and H Kuchen},
  title = {Cross-Platform Model-Driven Development of Mobile Applications with MD²},
  booktitle = {Proceedings of the 28$^{th}$ Annual ACM Symposium on Applied Computing (SAC)},
  pages = {526--533},
  year = {2013},
  publisher = {ACM},
  address = {Coimbra, Portugal},
  isbn = {978-1-4503-1656-9},
  doi = {10.1145/2480362.2480464},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/Cross-Platform-Model-Driven-Development-of-Mobile-Applications-with-MD2.pdf},
  note = {Publication status: Published}
}

@inproceedings{HeitkoetterMK2013MD2DSLEine,
  author = {H Heitkötter and TA Majchrzak and H Kuchen},
  title = {MD²-DSL --- eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen},
  booktitle = {Software Engineering 2013 --- Workshopband},
  pages = {91--106},
  series = {Lecture Notes in Informatics (LNI)},
  volume = {215},
  editor = {S Wagner and H Lichter},
  year = {2013},
  publisher = {Gesellschaft für Informatik},
  address = {Bonn, Deutschland},
  isbn = {978-3-88579-609-1},
  issn = {1617-5468},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/MD2-DSL-eine-domaenenspezifische-Sprache-zur-Beschreibung-und-Generierung-mobiler-Anwendungen.pdf},
  note = {Publication status: Published}
}

@inproceedings{HeitkoetterMRW2013Evaluating,
  author = {H Heitkötter and TA Majchrzak and B Ruland and T Weber},
  title = {Evaluating Frameworks for Creating Mobile Web Apps},
  booktitle = {Proceedings of the 9$^{th}$ International Conference on Web Information Systems and Technologies (WEBIST)},
  pages = {209--221},
  year = {2013},
  publisher = {SciTePress},
  address = {Aachen, Deutschland},
  isbn = {978-989-8565-54-9},
  doi = {10.5220/0004356702090221},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/Evaluating-Frameworks-for-Creating-Mobile-Web-Apps.pdf},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakH2013Development,
  author = {TA Majchrzak and H Heitkötter},
  title = {Development of Mobile Applications in Regional Companies: Status Quo and Best Practices},
  booktitle = {Proceedings of the 9$^{th}$ International Conference on Web Information Systems and Technologies (WEBIST)},
  pages = {335--346},
  year = {2013},
  publisher = {SciTePress},
  address = {Aachen, Deutschland},
  isbn = {978-989-8565-54-9},
  doi = {10.5220/0004359303350346},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/Development-of-Mobile-Applications-in-Regional-Companies-Status-Quo-and-Best-Practices.pdf},
  note = {Publication status: Published}
}

@article{ErnstingK2013AScalableFarm,
  author = {S Ernsting and H Kuchen},
  title = {A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming},
  journal = {International Journal of Parallel Programming},
  year = {2013},
  volume = {Special Issue},
  doi = {10.1007/s10766-013-0269-2},
  url = {http://dx.doi.org/10.1007/s10766-013-0269-2},
  note = {Publication status: Published}
}

@incollection{MarekMBU2012Learnweb,
  author = {Markus Marek and Christian Müller-Böhm and Claus A. Usener},
  title = {Learnweb --- Das zentrale e-Learning-Angebot der Universität Münster},
  booktitle = {Fortschritte des integrierten Informationsmanagements an Hochschulen: Integrierte Bereitstellung, einheitlicher Zugang und individuelle Verteilung},
  pages = {285--298},
  series = {Wissenschaftliche Schriften der WWU Münster --- Reihe XIX},
  volume = {2},
  editor = {Raimund Vogl and Beate Tröger and Stefan Schwartze},
  year = {2012},
  publisher = {Monsenstein und Vannerdat},
  address = {Münster},
  isbn = {9783840500527},
  note = {Publication status: Published}
}

@inproceedings{BergenerM2012MediaChoice,
  author = {Katrin Bergener and Tim Alexander Majchrzak},
  title = {Media Choice --- Influencing Factor in Virtual Team Innovation Processes.},
  booktitle = {Proceedings of the XXIII ISPIM Conference, ISPIM (2012)},
  year = {2012},
  address = {Barcelona},
  note = {Publication status: Published}
}

@inproceedings{DyckM2012Identifying,
  author = {S. Dyck and T. A. Majchrzak},
  title = {Identifying Common Characteristics in Fundamental, Integrated, and Agile Software Development Methodologies},
  booktitle = {Proceedings of the 45$^{th}$ Annual Hawaii International Conference on System Sciences (HICSS-45)},
  year = {2012},
  publisher = {IEEE Computer Society},
  note = {Publication status: Published}
}

@inproceedings{ErnstingMK2012DynamicSolution,
  author = {Marko Ernsting and Tim A. Majchrzak and Herbert Kuchen},
  title = {Dynamic Solution of Linear Constraints for Test Case Generation},
  booktitle = {2012 Sixth International Conference on Theoretical Aspects of Software Engineering},
  pages = {271--274},
  editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang},
  year = {2012},
  publisher = {IEEE},
  address = {Beijing, China},
  isbn = {978-0-7695-4751-0},
  note = {Publication status: Published}
}

@inproceedings{ErnstingMTK2012TestCaseGeneration,
  author = {Marko Ernsting and  Majchrzak and A. Tim and Herbert Kuchen},
  title = {Test Case Generation and Dynamic Mixed-Integer Linear Arithmetic Constraint Solving},
  booktitle = {Functional and (Constraint) Logic Programming},
  year = {2012},
  address = {Nagoya, Japan},
  note = {Publication status: Published}
}

@inproceedings{ErnstingK2012DataParallel,
  author = {Steffen Ernsting and Herbert Kuchen},
  title = {Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems},
  booktitle = {Proceedings of the Parallel Conference 2011 (ParCo11)},
  year = {2012},
  address = {Gent, Belgien},
  note = {Publication status: Published}
}

@inproceedings{Heitkoetter2012AFramework,
  author = {H Heitkötter},
  title = {A Framework for Creating Domain-specific Process Modeling Languages},
  booktitle = {Proceedings of the 7$^{th}$ International Conference on Software Paradigm Trends (ICSOFT)},
  pages = {127--136},
  year = {2012},
  publisher = {SciTePress},
  address = {Rom, Italien},
  isbn = {978-989-8565-19-8},
  doi = {10.5220/0004024201270136},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/A-Framework-for-Creating-Domain-specific-Process-Modeling-Languages.pdf},
  note = {Publication status: Published}
}

@inproceedings{HeitkoetterHM2012ComparingCrossPlatform,
  author = {H Heitkötter and S Hanschke and TA Majchrzak},
  title = {Comparing Cross-platform Development Approaches for Mobile Applications},
  booktitle = {Proceedings of the 8$^{th}$ International Conference on Web Information Systems and Technologies (WEBIST)},
  pages = {299--311},
  year = {2012},
  address = {Porto, Portugal},
  isbn = {978-989-8565-08-2},
  doi = {10.5220/0003904502990311},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/Comparing-Cross-Platform-Development-Approaches-for-Mobile-Applications.pdf},
  note = {Publication status: Published}
}

@inproceedings{HeitkoetterHU2012MobilePlatforms,
  author = {Henning Heitkötter and Kay F. Hildebrand and Claus A. Usener},
  title = {Mobile Platforms as Two-sided Markets},
  booktitle = {Proceedings of the 18$^{th}$ Americas Conference on Information Systems (AMCIS)},
  pages = {1--9},
  year = {2012},
  publisher = {AIS},
  address = {Seattle, Washington, USA},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/Mobile-Platforms-as-Two-sided-Markets.pdf},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakC2012ImprovingThe,
  author = {T. A. Majchrzak and A. Chakravorty},
  title = {Improving the Compliance of Transplantation Medicine Patients with an Integrated Mobile System},
  booktitle = {Proceedings of the 45$^{th}$ Annual Hawaii International Conference on System Sciences (HICSS-45)},
  year = {2012},
  publisher = {IEEE Computer Society},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakS2012UsingSpring,
  author = {T. A. Majchrzak and A. Simon},
  title = {Using Spring Roo for the Test-Driven Development of Web Applications},
  booktitle = {Proceedings of the 2012 ACM Symposium on Applied Computing (SAC)},
  year = {2012},
  publisher = {ACM},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakU2012Evaluating,
  author = {Tim A. Majchrzak and Claus A. Usener},
  title = {Evaluating E-Assessment for Exercises That Require Higher-Order Cognitive Skills},
  booktitle = {Proceedings of the 45$^{th}$ Annual Hawaii International Conference on System Sciences (HICSS-45)},
  pages = {48--57},
  year = {2012},
  publisher = {IEEE Computer Society},
  address = {Hawaii, USA},
  doi = {10.1109/HICSS.2012.252},
  note = {Publication status: Published}
}

@article{ErnstingK2012DataParallel,
  author = {Steffen Ernsting and Herbert Kuchen},
  title = {Data Parallel Skeletons in Java},
  journal = {Procedia Computer Science},
  year = {2012},
  volume = {9},
  pages = {1817--1826},
  doi = {10.1016/j.procs.2012.04.200},
  note = {Publication status: Published}
}

@article{ErnstingK2012Algorithmic,
  author = {Steffen Ernsting and Herbert Kuchen},
  title = {Algorithmic skeletons for multi-core, multi-GPU systems and clusters},
  journal = {International Journal of High Performance Computing and Networking},
  year = {2012},
  volume = {7},
  number = {2},
  pages = {129--138},
  doi = {10.1504/IJHPCN.2012.046370},
  note = {Publication status: Published}
}

@article{UsenerMK2012EAssessment,
  author = {Claus A. Usener and Tim A. Majchrzak and Herbert Kuchen},
  title = {E-assessment and software testing},
  journal = {Interactive Technology and Smart Education},
  year = {2012},
  volume = {9},
  number = {1},
  pages = {45--54},
  doi = {10.1108/17415651211228095},
  url = {http://www.emeraldinsight.com/journals.htm?articleid=17026687&ini=aob},
  note = {Publication status: Published}
}

@phdthesis{Wolffgang2012Modellgetriebene,
  author = {Ulrich Wolffgang},
  title = {Modellgetriebene Entwicklung daten- und prozessbasierter Webapplikationen},
  school = {Universität Münster},
  year = {2012},
  url = {http://nbn-resolving.org/resolver?identifier=urn:nbn:de:hbz:6-40459358770},
  note = {Publication status: Published}
}

@techreport{HeitkoetterMWK2012BusinessApps,
  author = {H Heitkötter and TA Majchrzak and U Wolffgang and H Kuchen},
  title = {Business Apps: Grundlagen und Status quo},
  institution = {Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V.},
  series = {Working paper},
  number = {4},
  volume = {4},
  editor = {Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V.},
  year = {2012},
  address = {Münster},
  url = {https://www.uni-muenster.de/imperia/md/content/angewandteinformatik/aktivitaeten/publikationen/business-apps.pdf},
  note = {Publication status: Published}
}

@book{KuchenMMO2011Tagungsband,
  editor = {H Kuchen and TA Majchrzak and M Müller-Olm},
  title = {Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)},
  series = {Arbeitsberichte des Instituts für Wirtschaftsinformatik},
  volume = {132},
  year = {2011},
  publisher = {Institut für Wirtschaftsinformatik, WWU Münster},
  address = {Münster},
  issn = {1438-3985},
  url = {https://www.wi.uni-muenster.de/sites/default/files/publications/arbeitsberichte/ab132.pdf},
  note = {Publication status: Published}
}

@book{Kuchen2011Functional,
  editor = {Herbert Kuchen},
  title = {Functional and Constraint Logic Programming},
  series = {Lecture Notes in Computer Science},
  volume = {6816},
  year = {2011},
  publisher = {Springer},
  address = {Heidelberg},
  isbn = {978-3-642-22530-7},
  issn = {0302-9743},
  doi = {10.1007/978-3-642-22531-4},
  note = {Publication status: Published}
}

@incollection{GruttmannU2011PruefenMit,
  author = {Susanne Gruttmann and Claus A. Usener},
  title = {Prüfen mit Computer und Internet --- Didaktik, Methodik und Organisation von E-Assessment},
  booktitle = {Lehrbuch für Lernen und Lehren mit Technologien},
  pages = {1--9},
  editor = {M. Ebner and  Schön and  S.},
  year = {2011},
  publisher = {epubli GmbH},
  isbn = {978-3844204377},
  note = {Publication status: Published}
}

@inproceedings{Heitkoetter2011Transforming,
  author = {H Heitkötter},
  title = {Transforming PICTURE to BPMN 2.0 as Part of the Model-Driven Development of Electronic Government Systems},
  booktitle = {System Sciences (HICSS), 2011 44$^{th}$ Hawaii International Conference on},
  pages = {1--10},
  year = {2011},
  publisher = {IEEE},
  address = {Kauai, Hawaii, USA},
  isbn = {978-1-4244-9618-1},
  doi = {10.1109/HICSS.2011.457},
  url = {http://www.wi.uni-muenster.de/sites/default/files/public/department/pi/publications/heitkoetter/Transforming-PICTURE-to-BPMN-20-as-Part-of-the-Model-Driven-Development-of-Electronic-Government-Systems.pdf},
  note = {Publication status: Published}
}

@inproceedings{HermannsK2011JhydeThe,
  author = {C Hermanns and H Kuchen},
  title = {Jhyde --- The java hybrid debugger},
  booktitle = {Proceedings of the 6$^{th}$ International Conference on Software and Data Technologies},
  pages = {25--35},
  volume = {2},
  editor = {María José Escalona-Cuaresma and Boris Shishkov and José Cordeiro},
  year = {2011},
  publisher = {SciTePress},
  address = {Seville, Spain},
  isbn = {978-989-8425-77-5},
  url = {http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-80052571610&md5=ae88db8c3d4e1ada7350341ae7f1195b},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakH2011GameVendors,
  author = {T. A. Majchrzak and K. F. Hildebrand},
  title = {Game Vendors' Influence on the Monetary Value of Virtual Goods},
  booktitle = {Proceedings of the 2011 ACM Symposium on Applied Computing (SAC)},
  year = {2011},
  publisher = {ACM},
  doi = {10.1145/1982185.1982351},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakJLU2011TowardsBetter,
  author = {T. A. Majchrzak and A. Jakubiec and M. Lablans and F. Ükert},
  title = {Towards Better Social Integration Through Mobile Web 2.0 Ambient Assisted Living Devices},
  booktitle = {Proceedings of the 2011 ACM Symposium on Applied Computing (SAC)},
  year = {2011},
  publisher = {ACM},
  doi = {10.1145/1982185.1982361},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakJK2011Efficiency,
  author = {T. A. Majchrzak and T. Jansen and H. Kuchen},
  title = {Efficiency Evaluation of Open Source ETL Tools},
  booktitle = {Proceedings of the 2011 ACM Symposium on Applied Computing (SAC)},
  year = {2011},
  publisher = {ACM},
  doi = {10.1145/1982185.1982251},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakK2011LogicJava,
  author = {T. A. Majchrzak and H. Kuchen},
  title = {Logic Java: Combining Object-Oriented and Logic Programming},
  booktitle = {Proc. of the 20$^{th}$ Int. Workshop on Functional and (Constraint) Logic Programming (WFLP)},
  pages = {122--137},
  series = {Lecture Notes in Computer Science},
  number = {6816},
  year = {2011},
  publisher = {Springer},
  doi = {10.1007/978-3-642-22531-4_8},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakJK2011Efficiency,
  author = {TA Majchrzak and T Jansen and H Kuchen},
  title = {Efficiency evaluation of open source ETL tools},
  booktitle = {Proceedings of the 2011 ACM Symposium on Applied Computing},
  pages = {287--294},
  editor = {William C. Chu and W. Eric Wong and Mathew J. Palakal and Chih-Cheng Hung},
  year = {2011},
  publisher = {ACM},
  address = {TaiChung, Taiwan},
  isbn = {978-1-4503-0113-8},
  doi = {10.1145/1982185.1982251},
  url = {http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-79959308907&md5=968bff2a55228aab95b84f70e771983b},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakH2011GameVendors,
  author = {Tim A. Majchrzak and Kay F. Hildebrand},
  title = {Game Vendors' Influence on the Monetary Value of Virtual Goods},
  booktitle = {Proceedings of the ACM},
  year = {2011},
  address = {Taichung, Taiwan},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakK2011LogicJava,
  author = {Tim A. Majchrzak and Herbert Kuchen},
  title = {Logic Java: Combining Object-Oriented and Logic Programming},
  booktitle = {Functional and Constraint Logic Programming --- 20$^{th}$ International Workshop},
  pages = {122--137},
  series = {Lecture Notes in Computer Science},
  volume = {6816},
  editor = {Herbert Kuchen},
  year = {2011},
  publisher = {Springer},
  address = {Heidelberg},
  isbn = {978-3-642-22530-7},
  issn = {0302-9743},
  doi = {10.1007/978-3-642-22531-4},
  url = {http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-22530-7},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakU2011Evaluating,
  author = {Tim A. Majchrzak and Claus A. Usener},
  title = {Evaluating the Synergies of Integrating E-Assessment and Software Testing},
  booktitle = {Proc. of the 20$^{th}$ International Conference on Information Systems Development (ISD2011)},
  pages = {179--193},
  year = {2011},
  publisher = {Springer},
  address = {Edinburgh},
  note = {Publication status: Published}
}

@inproceedings{UsenerMK2011CombiningState,
  author = {Claus A. Usener and Tim A. Majchrzak and Herbert Kuchen},
  title = {Combining State of the Art Software Engineering and E-Assessment},
  booktitle = {Proc. of the IADIS Int. Conf. e-Learning 2011 (eL2011)},
  pages = {377--385},
  year = {2011},
  publisher = {IADIS Press (2011)},
  address = {Rome},
  note = {Publication status: Published}
}

@inproceedings{Wolffgang2011MultiPlatform,
  author = {Ulrich Wolffgang},
  title = {Multi-Platform Model-Driven Software Development of Web Applications},
  booktitle = {Proceedings of the 6$^{th}$ International Conference on Software and Data Technologies (ICSOFT 2011)},
  pages = {162--171},
  year = {2011},
  publisher = {INSTICC Press},
  address = {Seville, Spain},
  note = {Publication status: Published}
}

@article{MajchrzakNNU2011Supporting,
  author = {T. A. Majchrzak and O. Noack and P. Neuhaus and F. Ückert},
  title = {Supporting the Allocation of Traumatized Patients with a Decision Support System},
  journal = {International Journal of Information Systems for Crisis Response and Management},
  year = {2011},
  volume = {3},
  number = {3},
  pages = {36--51},
  note = {Publication status: Published}
}

@phdthesis{Majchrzak2011TechnicalAnd,
  author = {TA Majchrzak},
  title = {Technical and Organizational Aspects of Testing Software},
  school = {},
  year = {2011},
  address = {Münster},
  note = {Publication status: Published}
}

@techreport{MajchrzakK2011MugglTheMuenster,
  author = {TA Majchrzak and H Kuchen},
  title = {Muggl: The Muenster Generator of Glass-box Test Cases},
  institution = {ERCIS --- European Research Center for Information Systems},
  series = {Working Papers},
  number = {10},
  volume = {10},
  editor = {J Becker and K Backhaus and B Hellingrath and T Hoeren and S Klein and H Kuchen and U Müller-Funk and G Vossen},
  year = {2011},
  address = {Münster},
  url = {https://www.ercis.org/sites/www.ercis.org/files/pages/research/ercis-working-papers/ercis_wp_10.pdf},
  note = {Publication status: Published}
}

@inproceedings{CiechanowiczK2010EnhancingMuesliS,
  author = {Philipp Ciechanowicz and Herbert Kuchen},
  title = {Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures},
  booktitle = {12$^{th}$ IEEE International Conference on High Performance Computing and Communications},
  pages = {108--113},
  year = {2010},
  publisher = {IEEE},
  address = {Melbourne, Australia},
  doi = {10.1109/HPCC.2010.64},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5581334},
  note = {Publication status: Published}
}

@inproceedings{GruttmannUMK2010FormativeEAssessment,
  author = {S Gruttmann and C Usener and T Majchrzak and H Kuchen},
  title = {Formative E-Assessment of Software Verification Skills in Higher Education},
  booktitle = {Proceedings of the IADIS e-Learning Conference 2010 (EL 2010)},
  year = {2010},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/IADISabsEL10.pdf},
  note = {Publication status: Published}
}

@inproceedings{KuchenH2010Implementation,
  author = {H Kuchen and C Hermanns},
  title = {Implementation and Evaluation of a Declarative Debugger for Java},
  booktitle = {Proceedings of the WFLP 2010},
  pages = {157--171},
  year = {2010},
  address = {Madrid, Spain},
  url = {http://babel.ls.fi.upm.es/events/wflp2010/wflp2010-preliminary-proc_v1.pdf},
  note = {Publication status: Published}
}

@inproceedings{Majchrzak2010BestPractices,
  author = {T. A. Majchrzak},
  title = {Best Practices for Technical Aspects of Software Testing in Enterprises},
  booktitle = {Proceedings of the International Conference on Information Society (i-Society 2010)},
  pages = {205--212},
  year = {2010},
  publisher = {IEEE Computer Society},
  note = {Publication status: Published}
}

@inproceedings{Majchrzak2010StatusQuoOf,
  author = {T. A. Majchrzak},
  title = {Status Quo of Software Testing --- Regional Findings and Global Inductions},
  booktitle = {Proceedings of the 9$^{th}$ ISOneWorld Conference},
  year = {2010},
  publisher = {The Information Institute},
  address = {Las Vegas},
  note = {Publication status: Published}
}

@inproceedings{Majchrzak2010StatusQuoOf,
  author = {T. A. Majchrzak},
  title = {Status Quo of Software Testing --- Regional Findings and Global Inductions},
  booktitle = {Proceedings 9$^{th}$ ISOneWorld},
  year = {2010},
  publisher = {The Information Institute},
  address = {Las Vegas},
  note = {Publication status: Published}
}

@inproceedings{Majchrzak2010BestPractices,
  author = {T. A. Majchrzak},
  title = {Best Practices for the Organizational Implementation of Software Testing},
  booktitle = {Proceedings of the 43$^{th}$ Annual Hawaii International Conference on System Sciences (HICSS-43)},
  pages = {1--10},
  year = {2010},
  publisher = {IEEE Computer Society},
  doi = {10.1109/HICSS.2010.83},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakBJKB2010TowardsAWebBased,
  author = {T. A. Majchrzak and K. Bergener and T. Jansing and H. Kuchen and J. Becker},
  title = {Towards a Web-Based Collaborative Dictionary for Verbalized Body Language},
  booktitle = {Proceedings of the 8$^{th}$ Annual Conference on Information Science, Technology and Management (CISTM)},
  year = {2010},
  publisher = {The Information Institute},
  address = {Tampere, Finland},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakNKNU2010TowardsADecision,
  author = {T. A. Majchrzak and O. Noack and H. Kuchen and P. Neuhaus and F. Ükert},
  title = {Towards a Decision Support System for the Allocation of Traumatized Patients},
  booktitle = {},
  year = {2010},
  issn = {2411-3387},
  note = {Publication status: Published}
}

@inproceedings{UsenerGMK2010FormativeEAssessment,
  author = {C. A. Usener and S. Gruttmann and T. A. Majchrzak and H. Kuchen},
  title = {Formative E-Assessment of Software Verification Skills in Higher Education},
  booktitle = {Proceedings of the IADIS International Conference e-Learning 2010 (eL2010)},
  year = {2010},
  publisher = {IADIS Press},
  note = {Publication status: Published}
}

@inproceedings{UsenerGMK2010ComputerSupported,
  author = {Claus A. Usener and Susanne Gruttmann and Tim A. Majchrzak and Herbert Kuchen},
  title = {Computer-Supported Assessment of Software Verification Proofs --- Towards High-Quality E-Assessments in Computer Science Education},
  booktitle = {Proc. of the 2010 Int. Conf. on Educational and Information Technology (ICEIT)},
  year = {2010},
  publisher = {IEEE Computer Society},
  address = {Chongqing},
  note = {Publication status: Published}
}

@article{GruttmannK2010Computerunterstuetzter,
  author = {S Gruttmann and H Kuchen},
  title = {Computerunterstützter Übungsbetrieb im Informatikstudium --- Prozessoptimierung durch E-Assessment-Systeme},
  journal = {},
  year = {2010},
  url = {http://www.e-learning-zeitschrift.org/01_2010/},
  note = {Publication status: Published}
}

@article{GruttmannK2010Computerunterstuetzter,
  author = {S Gruttmann and H Kuchen},
  title = {Computerunterstützter Übungsbetrieb im Informatikstudium --- Prozessoptimierung durch E-Assessment-Systeme},
  journal = {Zeitschrift für e-Learning},
  year = {2010},
  pages = {23--35},
  note = {Publication status: Published}
}

@article{Majchrzak2010StatusQuoOf,
  author = {T. A. Majchrzak},
  title = {Status Quo of Software Testing --- Regional Findings and Global Inductions},
  journal = {Journal of Information Science and Technology (JIST)},
  year = {2010},
  volume = {7},
  number = {2},
  note = {Publication status: Published}
}

@article{Majchrzak2010ImprovingThe,
  author = {TA Majchrzak},
  title = {Improving the Technical Aspects of Software Testing in Enterprises},
  journal = {International Journal of Advanced Computer Science and Applications (IJACSA)},
  year = {2010},
  volume = {1},
  number = {4},
  note = {Publication status: Published}
}

@article{NeuhausNMU2010UsingABusiness,
  author = {P Neuhaus and O Noack and T A Majchrzak and F Ückert},
  title = {Using a business rule management system to improve disposition of traumatized patients.},
  journal = {Studies in Health Technology and Informatics (Stud Health Technol Inform)},
  year = {2010},
  volume = {160},
  number = {1},
  pages = {759--63},
  note = {Publication status: Published}
}

@article{Wolffgang2010EinGeneratorFramework,
  author = {Ulrich Wolffgang},
  title = {Ein Generator-Framework zur modellgetriebenen Entwicklung von Web-Applikationen},
  journal = {WIRTSCHAFTSINFORMATIK & MANAGEMENT},
  year = {2010},
  volume = {2010},
  number = {6},
  pages = {26--34},
  url = {http://www.wirtschaftsinformatik.de/index.php;do=show/site=wi/sid=8798772774db56e5c28249946275921/alloc=12/id=2776},
  note = {Publication status: Published}
}

@article{GruttmannUK2010DasEAssessmentSystem,
  author = {S Gruttmann and C Usener and H Kuchen},
  title = {Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium},
  journal = {},
  year = {2010},
  url = {http://www.e-teaching.org/praxis/erfahrungsberichte/eassessmentsystem-easy},
  note = {Publication status: Published}
}

@techreport{GruttmannUK2010DasEAssessmentSystem,
  author = {Susanne Gruttmann and Claus A. Usener and Herbert Kuchen},
  title = {Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium},
  institution = {e-teaching.org},
  number = {2010},
  volume = {2010},
  year = {2010},
  url = {http://www.e-teaching.org/praxis/erfahrungsberichte/eassessmentsystem-easy},
  note = {Publication status: Published}
}

@techreport{MajchrzakK2010Handlungsempfehlungen,
  author = {T A Majchrzak and H Kuchen},
  title = {Handlungsempfehlungen für erfolgreiches Testen von Software in Unternehmen},
  institution = {Institut für Wirtschaftsinformatik, WWU Münster},
  series = {Arbeitsberichte des Instituts für Wirtschaftsinformatik},
  editor = {J Becker and H Grob and B Hellingrath and S Klein and H Kuchen and U Müller-Funk and G Vossen},
  year = {2010},
  note = {Publication status: Published}
}

@techreport{MajchrzakK2010IHKProjekt,
  author = {T. A. Majchrzak and H. Kuchen},
  title = {IHK-Projekt Softwaretests: Auswertung},
  institution = {Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V.},
  series = {Working Papers},
  volume = {2},
  number = {2},
  volume = {2},
  number = {2},
  editor = {Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V.},
  year = {2010},
  address = {Münster},
  url = {https://www.uni-muenster.de/imperia/md/content/angewandteinformatik/aktivitaeten/publikationen/softwaretests.pdf},
  note = {Publication status: Published}
}

@techreport{MajchrzakJLU2010Evaluating,
  author = {TA Majchrzak and A Jakubiec and M Lablans and F Ükert},
  title = {Evaluating Mobile Ambient Assisted Living Devices and Web 2.0 Technology for a Better Social Integration},
  institution = {ERCIS --- European Research Center for Information Systems},
  series = {ERCIS Working Papers},
  number = {9},
  volume = {9},
  editor = {J Becker and K Backhaus and HL Grob and T Hoeren and S Klein and H Kuchen and U Müller-Funk and G Vossen},
  year = {2010},
  address = {Münster},
  note = {Publication status: Published}
}

@techreport{CiechanowiczPK2010EnhancingMuesliS,
  author = {P Ciechanowicz and M Poldner and H Kuchen},
  title = {Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures},
  institution = {},
  year = {2010},
  address = {Melbourne,Australia},
  note = {Publication status: Published}
}

@inproceedings{CiechanowiczKSGK2009Parallelizing,
  author = {Philipp Ciechanowicz and Philipp Kegel and Maraike Schellmann and Sergei Gorlatch and Herbert Kuchen},
  title = {Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters},
  booktitle = {Proceedings of the International Conference ParCo},
  year = {2009},
  address = {Lyon, France},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakK2009AutomatedTest,
  author = {T Majchrzak and H Kuchen},
  title = {Automated Test Case Generation based on Coverage Analysis},
  booktitle = {Proceedings of the 3$^{rd}$ IEEE International Symposium on Theoretical Aspects of Software Engineering},
  pages = {259--266},
  year = {2009},
  address = {Tianjin, China},
  note = {Publication status: Published}
}

@inproceedings{Majchrzak2009Technische,
  author = {T. A. Majchrzak},
  title = {Technische Aspekte des erfolgreichen Testens von Software in Unternehmen},
  booktitle = {Schriftenreihe des Instituts für Computersprachen, Bericht 2009-X-1: 15.},
  pages = {193--207},
  editor = {J Knoop and A Prantl},
  year = {2009},
  publisher = {Technische Universität Wien},
  address = {Maria Taferl, Austria},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakK2009Automatische,
  author = {T. A. Majchrzak and H. Kuchen},
  title = {Automatische Testfallerzeugung auf Basis der Üerdeckungsanalyse},
  booktitle = {Technischer Bericht des Instituts für Informatik Nr. 0915: 26},
  pages = {14--25},
  editor = {M Hanus and B Brassel},
  year = {2009},
  publisher = {Christian-Albrechts-Universität Kiel},
  address = {Bad Honnef, Germany},
  note = {Publication status: Published}
}

@inproceedings{MajchrzakAK2009Automatische,
  author = { Majchrzak and T A and H Kuchen},
  title = {Automatische Testfallerzeugung auf Basis der Überdeckungsanalyse},
  booktitle = {Proceedings of the 26$^{th}$ Workshop of the GI Woking Group Programmng Languages and Computing Concepts},
  year = {2009},
  address = {Bad Honnef},
  url = {http://www.informatik.uni-kiel.de/uploads/tx_publication/tr_0915.pdf},
  note = {Publication status: Published}
}

@techreport{ArndtHKP2009BestPractices,
  author = {C Arndt and C Hermanns and H Kuchen and M Poldner},
  title = {Best Practices in der Softwareentwicklung},
  institution = {},
  series = {Arbeitsberichte des Förderkreis der Angewandten Informatik an der WWU Münster},
  number = {1},
  volume = {1},
  year = {2009},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/IAI1.pdf},
  note = {Publication status: Published}
}

@techreport{CiechanowiczPK2009TheMuenster,
  author = {P Ciechanowicz and M Poldner and H Kuchen},
  title = {The Münster Skeleton Library Muesli --- A Comprehensive Overview},
  institution = {ERCIS --- European Research Center for Information Systems},
  series = {ERCIS Working Papers},
  number = {7},
  volume = {7},
  editor = {J Becker and K Backhaus and HL Grob and T Hoeren and S Klein and H Kuchen and U Müller-Funk and G Vossen},
  year = {2009},
  address = {Münster},
  url = {https://www.ercis.org/sites/www.ercis.org/files/pages/research/ercis-working-papers/ercis_wp_07.pdf},
  note = {Publication status: Published}
}

@techreport{Wolffgang2009WebApplication,
  author = {Ulrich Wolffgang},
  title = {Web Application Specification Language (WASL)},
  institution = {},
  year = {2009},
  url = {http://miami.uni-muenster.de/servlets/DocumentServlet?id=5555&XSL.H_main=S_GLOBAL&XSL.H_searchId=searchId},
  note = {Publication status: Published}
}

@incollection{EilersGK2008Konzeption,
  author = {B Eilers and S Gruttmann and H Kuchen},
  title = {Konzeption eines integrierbaren Systems zur computergestützten Lernfortschrittskontrolle},
  booktitle = {E-Learning-Management},
  pages = {213--232},
  editor = {HL Grob and J {vom Brocke} and C Buddendick},
  year = {2008},
  publisher = {Vahlen Verlag},
  address = {München},
  note = {Publication status: Published}
}

@inproceedings{BuddendickGDGK2008ELearningIn,
  author = {C Buddendick and S Gruttmann and I Düppe and HL Grob and H Kuchen},
  title = {E-Learning in kollaborativen Softwareentwicklungsprojekten --- Potenziale und Fallstricke auf Basis eines Action Research Projekts},
  booktitle = {Proceedings of the GML^2 2008 --- Grundfragen Multimedialen Lehrens und Lernens},
  year = {2008},
  publisher = {Alcatel SEL Stiftung für Kommunikationsforschung},
  note = {Publication status: Published}
}

@inproceedings{FischerK2008DataFlowTesting,
  author = {S Fischer and H Kuchen},
  title = {Data-Flow Testing of Declarative Programs},
  booktitle = {Proceedings of the 13$^{th}$ ACM SIGPLAN International Conference on Functional Programming (ICFP)},
  pages = {201--212},
  year = {2008},
  address = {Victoria (BC), Canada},
  note = {Publication status: Published}
}

@inproceedings{GrobKBGD2008Kollaborative,
  author = {HL Grob and H Kuchen and C Buddendick and S Gruttmann and I Düppe},
  title = {Kollaborative Entwicklung von E-Learning Plattformen in Projektseminaren --- Neue Potenziale für das E-Learning?},
  booktitle = {Proceedings of the logOS},
  year = {2008},
  address = {Osnabrück, Germay},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/Logos08.pdf},
  note = {Publication status: Published}
}

@inproceedings{GruttmannBK2008Conceptual,
  author = {S Gruttmann and D Böhm and H Kuchen},
  title = {Conceptual Design, Implementation and Evaluation of an E-Assessment System for Mathematical Proofs},
  booktitle = {Proceedings of the 11$^{th}$ IASTED International Conference on Computers and Advanced Technology in Education (CATE 2008)},
  year = {2008},
  address = {Crete, Greece},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/CATE08EASyAbs.pdf},
  note = {Publication status: Published}
}

@inproceedings{GruttmannBK2008EAssessment,
  author = {S Gruttmann and D Böhm and H Kuchen},
  title = {E-Assessment of Mathematical Proofs --- Chances and Challenges for Students and Tutors},
  booktitle = {Proceedings of the 2008 International Conference on Information Technology in Education},
  year = {2008},
  address = {Wuhan,China},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/CITE08.pdf},
  note = {Publication status: Published}
}

@inproceedings{GruttmannBK2008EAssessment,
  author = {S Gruttmann and D Böhm and H Kuchen},
  title = {E-Assessment of Mathematical Proofs --- Chances and Challenges for Students and Tutors},
  booktitle = {Proceedings of the 2008 International Conference on Information Technology in Education},
  year = {2008},
  address = {Wuhan, China},
  note = {Publication status: Published}
}

@inproceedings{GruttmannK2008AFramework,
  author = {S Gruttmann and H Kuchen},
  title = {A Framework for Formative E-Assessments of Mathematical Proofs},
  booktitle = {Proceedings of the 2008 Symposium on e-Assessment in Practice},
  year = {2008},
  address = {Shrivenham},
  note = {Publication status: Published}
}

@inproceedings{PoldnerK2008Optimizing,
  author = {M Poldner and H Kuchen},
  title = {Optimizing Skeletal Stream Processing for Divide and Conquer},
  booktitle = {Proceedings of the 3$^{rd}$ International Conference on Software and Data Technology (ICSOFT)},
  pages = {181--189},
  year = {2008},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/icsoft08abs.pdf},
  note = {Publication status: Published}
}

@inproceedings{PoldnerK2008TaskParallel,
  author = {M Poldner and H Kuchen},
  title = {Task Parallel Skeletons for Divide and Conquer},
  booktitle = {Proceedings of the Workshop of the Working Group Programming Languages and Computing Concepts of the German Computer Science Association GI},
  year = {2008},
  address = {Bad Honnef},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/Honnef08.pdf},
  note = {Publication status: Published}
}

@inproceedings{PoldnerK2008SkeletonsFor,
  author = {M Poldner and H Kuchen},
  title = {Skeletons for Divide and Conquer Algorithms},
  booktitle = {Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2008)},
  year = {2008},
  address = {Innsbruck,Austria},
  url = {http://www.actapress.com/Abstract.aspx?paperId=32460},
  note = {Publication status: Published}
}

@article{PolderK2008OnImplementing,
  author = {M Polder and H Kuchen},
  title = {On Implementing the Farm Skeleton},
  journal = {Parallel Processing Letters (Parallel Process. Lett.)},
  year = {2008},
  number = {18},
  pages = {117--131},
  note = {Publication status: Published}
}

@article{PoldnerKH2008OnImplementing,
  author = {Michael Poldner and  Kuchen and  Herbert},
  title = {On Implementing the Farm Skeleton},
  journal = {Parallel Processing Letters (Parallel Process. Lett.)},
  year = {2008},
  volume = {18},
  number = {1},
  pages = {117--131},
  doi = {10.1142/S0129626408003260},
  url = {http://dx.doi.org/10.1142/S0129626408003260},
  note = {Publication status: Published}
}

@techreport{WolffgangK2008WebApplication,
  author = {Ulrich Wolffgang and Herbert Kuchen},
  title = {Web Application Modeling Language},
  institution = {},
  year = {2008},
  url = {http://miami.uni-muenster.de/servlets/DocumentServlet?id=5552&XSL.H_main=S_GLOBAL&XSL.H_searchId=searchId},
  note = {Publication status: Published}
}

@inproceedings{FischerK2007GlassBoxTesting,
  author = {S Fischer and H Kuchen},
  title = {Glass-Box Testing of Functional Logic Programs},
  booktitle = {Proceedings of the 24$^{th}$ Workshop of GI Working Group ""Programming Languages and Computing Concepts""},
  year = {2007},
  address = {Bad Honnef},
  url = {http://www.informatik.uni-kiel.de/uploads/tx_publication/TR_0707.pdf},
  note = {Publication status: Published}
}

@inproceedings{FischerK2007Systematic,
  author = {S Fischer and H Kuchen},
  title = {Systematic Generation of Glass-Box Test Cases for Functional Logic Programs},
  booktitle = {Proceedings of the 9$^{th}$ International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming},
  year = {2007},
  address = {Wroclaw, Poland},
  note = {Publication status: Published}
}

@inproceedings{KuchenHP2007Technische,
  author = {H Kuchen and C Hermanns and M Poldner},
  title = {Technische Filter},
  booktitle = {Recht und Neue Medien},
  volume = {12},
  year = {2007},
  publisher = {Boorberg Verlag},
  address = {Stuttgart},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/akit06.pdf},
  note = {Publication status: Published}
}

@inproceedings{CaballeroHK2006Algorithmic,
  author = {R Caballero and C Hermanns and H Kuchen},
  title = {Algorithmic Debugging of Java Programs},
  booktitle = {Proceedings of the 15$^{th}$ International Workshop on Functional and Logic Programming (WFLP)},
  pages = {75--89},
  series = {ENTCS},
  volume = {177},
  year = {2006},
  address = {Madrid},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/WFLP06abs.pdf},
  note = {Publication status: Published}
}

@inproceedings{MuellerEJKB2006XePtanceSupporting,
  author = {R Müller and B Eilers and C Janiesch and H Kuchen and J Becker},
  title = {XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects},
  booktitle = {},
  pages = {3686--3697},
  year = {2006},
  note = {Publication status: Published}
}

@inproceedings{PoldnerK2006Algorithmic,
  author = {M Poldner and H Kuchen},
  title = {Algorithmic Skeletons for Branch & Bound},
  booktitle = {Proceedings of the 1$^{st}$ International Conference on Software and Data Technology (ICSOFT)},
  pages = {291--300},
  year = {2006},
  address = {Sebtual,Portugal},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/icsoft06abs.pdf},
  note = {Publication status: Published}
}

@inproceedings{PoldnerK2005ScalableFarms,
  author = {M Poldner and H Kuchen},
  title = {Scalable Farms},
  booktitle = {Proceedings of the Parallel Computing (ParCo)},
  year = {2005},
  address = {Malaga},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/ParCo05.pdf},
  note = {Publication status: Published}
}

@article{KuchenS2005FeaturesFrom,
  author = {H Kuchen and J Striegnitz},
  title = {Features from functional programming for a C++ skeleton library},
  journal = {Concurrency and Computation: Practice and Experience},
  year = {2005},
  volume = {17},
  number = {7-8},
  pages = {739--756},
  doi = {10.1002/cpe.844},
  note = {Publication status: Published}
}

@incollection{Kuchen2004Optimizing,
  author = {H Kuchen},
  title = {Optimizing Sequences of Skeleton Calls},
  booktitle = {Domain-Specific Program Generation},
  pages = {254--273},
  year = {2004},
  publisher = {Springer Verlag},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/DSPG05.pdf},
  note = {Publication status: Published}
}

@inproceedings{LembeckCMK2004Constraint,
  author = {C Lembeck and R Caballero and R Müller and H Kuchen},
  title = {Constraint Solving for Generating Glass-Box Test Cases},
  booktitle = {Proceedings of the International Workshop on Functional and (Constraint) Logic Programming (WFLP)},
  pages = {19--32},
  year = {2004},
  address = {Aachen},
  url = {http://www-i2.informatik.rwth-aachen.de/WFLP04/WFLP-proceedings.pdf},
  note = {Publication status: Published}
}

@inproceedings{LembeckMK2004DieErzeugung,
  author = {C Lembeck and R Müller and H Kuchen},
  title = {Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern},
  booktitle = {Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik},
  pages = {418--427},
  series = {Lecture Notes in Informatics},
  volume = {P-51},
  year = {2004},
  address = {Ulm},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/ATPS04.pdf},
  note = {Publication status: Published}
}

@inproceedings{MuellerLK2004ASymbolicJava,
  author = {R Müller and C Lembeck and H Kuchen},
  title = {A Symbolic Java Vitual Machine for Test-Case Generation},
  booktitle = {Proceedings of the IASTED},
  pages = {365--371},
  year = {2004},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/IASTED04.ps.gz},
  note = {Publication status: Published}
}

@techreport{BeckerBGHKKMFTV2004EuropeanResearch,
  author = {Jörg Becker and Klaus Backhaus and Heinz Lothar Grob and Thomas Hoeren and Stefan Klein and Herbert Kuchen and Ulrich Müller-Funk and Ulrich W Thonemann and Gottfied Vossen},
  title = {European Research Center for Information Systems (ERCIS) --- Gründungsveranstaltung --- Münster 12. Oktober 2004},
  institution = {ERCIS --- European Research Center for Information Systems},
  series = {Working Paper},
  number = {1},
  volume = {1},
  editor = {Research Center for Information Systems (ERCIS) European},
  year = {2004},
  address = {Münster},
  url = {https://www.ercis.org/sites/www.ercis.org/files/pages/research/ercis-working-papers/ercis_wp_01.pdf},
  note = {Publication status: Published}
}

@incollection{LechtenboergerVK2003SichtenWartung,
  author = {J Lechtenbörger and G Vossen and H Kuchen},
  title = {Sichten-Wartung in Datenlagern --- Controlling aus datenbanktechnischer Sicht},
  booktitle = {Trendberichte zum Controlling},
  pages = {495--510},
  editor = { Physica-Verlag},
  year = {2003},
  publisher = {Physica-Verlag},
  address = {Heidelberg},
  note = {Publication status: Published}
}

@techreport{MuellerLK2003GlassTTA,
  author = {R A Müller and C Lembeck and H Kuchen},
  title = {GlassTT --- A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation},
  institution = {Institut für Wirtschaftsinformatik, WWU Münster},
  series = {Arbeitsberichte des Instituts für Wirtschaftsinformatik},
  number = {102},
  volume = {102},
  editor = {J Becker and H-L Grob and S Klein and H Kuchen and U Müller-Funk and G Vossen},
  year = {2003},
  address = {Münster},
  note = {Publication status: Published}
}

@inproceedings{Kuchen2002ASkeletonLibrary,
  author = {H Kuchen},
  title = {A Skeleton Library},
  booktitle = {Proceedings of the Euro-Par},
  pages = {620--629},
  series = {LNCS},
  volume = {2400},
  year = {2002},
  publisher = {Springer-Verlag},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/EuroPar02f.ps.gz},
  note = {Publication status: Published}
}

@inproceedings{KuchenS2002HigherOrder,
  author = {H Kuchen and J Striegnitz},
  title = {Higher-Order Functions and Partial Applications for a C++ Skeleton Library},
  booktitle = {Proceedings of the ISCOPE, ACM},
  year = {2002},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/ISCOPE02.ps.gz},
  note = {Publication status: Published}
}

@article{KuchenC2002TheIntegration,
  author = {H Kuchen and M Cole},
  title = {The Integration of Task and Data Parallel Skeletons},
  journal = {Parallel Processing Letters (Parallel Process. Lett.)},
  year = {2002},
  volume = {12},
  number = {2},
  pages = {141--155},
  doi = {10.1142/S0129626402000896},
  note = {Publication status: Published}
}

@techreport{Kuchen2002ASkeletonLibrary,
  author = {H Kuchen},
  title = {A Skeleton Library},
  institution = {},
  series = {Arbeitsberichte Angewandte Mathematik und Informatik},
  number = {6/02-I},
  volume = {6/02-I},
  year = {2002},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/SkbibTR.ps},
  note = {Publication status: Published}
}

@book{KuchenU2001Functional,
  editor = {Herbert Kuchen and Kazunori Ueda},
  title = {Functional and Logic Programming},
  series = {Lecture Notes in Computer Science},
  volume = {2024},
  year = {2001},
  publisher = {Springer},
  isbn = {3-540-41739-7},
  issn = {0302-9743},
  url = {http://www.springerlink.com/content/978-3-540-41739-2/},
  note = {Publication status: Published}
}

@inproceedings{Kuchen2000Implementing,
  author = {H Kuchen},
  title = {Implementing an Object Oriented Design in Curry},
  booktitle = {Proceedings of the 9$^{th}$ International Workshop on Functional and Logic Programming},
  pages = {499--501},
  year = {2000},
  address = {Valencia},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/wflp00.pdf},
  note = {Publication status: Published}
}

@inproceedings{LuxK1999AnEfficient,
  author = {W Lux and H Kuchen},
  title = {An Efficient Abstract Machine for Curry},
  booktitle = {Proceedings of the Arbeitstagung Programmiersprachen},
  year = {1999},
  address = {Paderborn},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/atps99.pdf},
  note = {Publication status: Published}
}

@article{KuchenN1999DieSoftwaretechnikAusbildung,
  author = {H Kuchen and M Nietsch},
  title = {Die Softwaretechnik-Ausbildung in der Wirtschaftsinformatik an der WWU Münster},
  journal = {},
  year = {1999},
  volume = {19},
  number = {2},
  url = {http://pi.informatik.uni-siegen.de/stt/19_2/index.html},
  note = {Publication status: Published}
}

@article{BotorogK1998EfficientHighLevel,
  author = {H G Botorog and H Kuchen},
  title = {Efficient High-Level Parallel Programming},
  journal = {},
  year = {1998},
  number = {196},
  pages = {71--107},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/tcs.ps},
  note = {Publication status: Published}
}

@techreport{Kuchen1998WorkshopOn,
  author = {H Kuchen},
  title = {Workshop on Functional and Logic Programming, Proceedings},
  institution = {Institut für Wirtschaftsinformatik, WWU Münster},
  series = {Arbeitsberichte des Instituts für Wirtschaftsinformatik},
  number = {63},
  volume = {63},
  editor = {J Becker and H-L Grob and S Klein and H Kuchen and U Müller-Funk and G Vossen},
  year = {1998},
  address = {Münster},
  note = {Publication status: Published}
}

@book{GlaserHK1997Programming,
  editor = {Hugh Glaser and Pieter Hartel and Herbert Kuchen},
  title = {Programming Languages: Implementations, Logics, and Programs},
  series = {Lecture Notes in Computer Science},
  volume = {1292},
  year = {1997},
  publisher = {Springer},
  isbn = {3-540-63398-7},
  issn = {0302-9743},
  url = {http://www.springerlink.com/content/n76171w1r357/},
  note = {Publication status: Published}
}

@techreport{Kuchen1997Arbeitstagung,
  author = {H Kuchen},
  title = {Arbeitstagung Programmiersprachen, Tagungsband},
  institution = {Institut für Wirtschaftsinformatik, WWU Münster},
  series = {Arbeitsberichte des Instituts für Wirtschaftsinformatik},
  number = {58},
  volume = {58},
  editor = {J Becker and H-L Grob and S Klein and H Kuchen and U Müller-Funk and G Vossen},
  year = {1997},
  address = {Münster},
  note = {Publication status: Published}
}

@book{KuchenS1996Programming,
  editor = {Herbert Kuchen and S. Doaitse Swierstra},
  title = {Programming Languages: Implementations, Logics, and Programs},
  series = {Lecture Notes in Computer Science},
  volume = {1140},
  year = {1996},
  publisher = {Springer},
  isbn = {3-540-61756-6},
  issn = {0302-9743},
  doi = {10.1007/3-540-61756-6},
  url = {http://www.springerlink.com/content/978-3-540-61756-3/},
  note = {Publication status: Published}
}

@incollection{Kuchen1996EineDatenparallele,
  author = {H Kuchen},
  title = {Eine datenparallele funktionale Sprache für Rechner mit verteiltem Speicher},
  booktitle = {Software-Engineering im Scietific Computing},
  pages = {142--149},
  year = {1996},
  publisher = {Vieweg Verlag},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/sesc96.ps},
  note = {Publication status: Published}
}

@inproceedings{BotorogK1996EfficientParallel,
  author = {H G Botorog and H Kuchen},
  title = {Efficient Parallel Programming with Algorithmic Skeletons},
  booktitle = {Proceedings of the EuroPar '96},
  pages = {718--731},
  series = {LNCS},
  volume = {1123},
  year = {1996},
  publisher = {Springer Verlag},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/europar96.ps},
  note = {Publication status: Published}
}

@inproceedings{BotorogK1996UsingAlgorithmic,
  author = {H G Botorog and H Kuchen},
  title = {Using Algorithmic Skeletons with Dynamic Data Structures},
  booktitle = {Proceedings of the Irregular '96},
  pages = {263--267},
  series = {LNCS},
  volume = {1117},
  year = {1996},
  publisher = {Springer Verlag},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/irregular.ps},
  note = {Publication status: Published}
}

@inproceedings{BotorogK1996SkilAnImperative,
  author = {H G Botorog and H Kuchen},
  title = {Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming},
  booktitle = {Proceedings of the Fifth International Symposium on High Performance Distributed Computing (HPDC-5)},
  pages = {243--252},
  year = {1996},
  publisher = {IEEE Computer Society Press},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/HPDC5.ps},
  note = {Publication status: Published}
}

@inproceedings{BruellK1996TPASCALA,
  author = {A Brüll and H Kuchen},
  title = {TPASCAL --- A Language for Task Parallel Programming},
  booktitle = {Proceedings of the EuroPar'96},
  pages = {646--654},
  series = {LNCS},
  volume = {1123},
  year = {1996},
  publisher = {Springer Verlag},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/TRGiBrKu.ps},
  note = {Publication status: Published}
}

@inproceedings{Kuchen1996AFunctional,
  author = {H Kuchen},
  title = {A Functional Logic Language Based on Higher Order Narrowing},
  booktitle = {Proceedings of the Glasgow Functional Programming Workshop 1995},
  series = {Workshops in Computing},
  year = {1996},
  publisher = {Springer Verlag},
  address = {Glasgow},
  isbn = {3-540-14580-X},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/Glasgow2.ps},
  note = {Publication status: Published}
}

@inproceedings{KuchenA1996HigherOrder,
  author = {H Kuchen and J Anastasiadis},
  title = {Higher Order Babel --- Language and Implementation},
  booktitle = {Proceedings of the Extensions of Logic Programming},
  pages = {193--207},
  series = {LNAI},
  volume = {1050},
  year = {1996},
  publisher = {Springer Verlag},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/ELP96.ps},
  note = {Publication status: Published}
}

@misc{BotorogK1996Translation,
  author = {H G Botorog and H Kuchen},
  title = {Translation by Instantiation: Integrating Functional Features into an Imperative Language},
  year = {1996},
  url = {http://www-i2.informatik.rwth-aachen.de/OldStaff/botorog/PUBLICATIONS/cc96.ps.gz},
  note = {Publication status: Published}
}

@article{DimovKKS1996MonteCarlo,
  author = {I Dimov and A Karaivanova and H Kuchen and H Stoltze},
  title = {Monte Carlo Algorithms for Elliptic Differential Equations --- a Data Parallel Functional Approach},
  journal = {},
  year = {1996},
  number = {9},
  pages = {39--65},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/JPAAfinal.ps.gz},
  note = {Publication status: Published}
}

@article{GladitzK1996SharedMemory,
  author = {K Gladitz and H Kuchen},
  title = {Shared Memory Implementation of the Gamma-Operation},
  journal = {},
  year = {1996},
  pages = {577--591},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/jsc95.ps},
  note = {Publication status: Published}
}

@article{HanusK1996Integration,
  author = {M Hanus and H Kuchen},
  title = {Integration of Functional and Logic Programming},
  journal = {},
  year = {1996},
  number = {2},
  pages = {306--308},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/survey.ps},
  note = {Publication status: Published}
}

@article{KuchenLMNRA1996TheFunctional,
  author = {H Kuchen and R Loogen and JJ Moreno-Navarro and M Rodriguez-Artalejo},
  title = {The Functional Logic Language BABEL and its Implementation on a Graph Machine},
  journal = {},
  year = {1996},
  pages = {391--427},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/ngc.ps},
  note = {Publication status: Published}
}

@inproceedings{BotorogK1995Algorithmic,
  author = {H G Botorog and H Kuchen},
  title = {Algorithmic Skeletons for Adaptive Multigrid Methods},
  booktitle = {Proceedings of the Irregular '95},
  pages = {27--41},
  series = {LNCS},
  volume = {980},
  year = {1995},
  publisher = {Springer Verlag},
  url = {http://www-i2.informatik.rwth-aachen.de/OldStaff/botorog/PUBLICATIONS/irr95.ps.gz},
  note = {Publication status: Published}
}

@inproceedings{HanusKMN1995CurryATruly,
  author = {M Hanus and H Kuchen and JJ Moreno-Navarro},
  title = {Curry: A Truly Functional Logic Language},
  booktitle = {Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming},
  pages = {95--107},
  year = {1995},
  address = {Portland,USA},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/ILPS95.ps},
  note = {Publication status: Published}
}

@inproceedings{Kuchen1995SkeletonsVersus,
  author = {H Kuchen},
  title = {Skeletons versus C --- A Case Study},
  booktitle = {Proceedings of the International Workshop on the Implementation of Functional Languages},
  year = {1995},
  address = {Baastad,Sweden},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/IFL95.ps},
  note = {Publication status: Published}
}

@inproceedings{KuchenSDK1995Distributed,
  author = {H Kuchen and H Stoltze and I Dimov and A Karaivanova},
  title = {Distributed Memory Implementation of Elliptic Partial Differential Equations in a Dataparallel Functional Langugage},
  booktitle = {Proceedings of the Programming Models for Massively Parallel Computers (MPPM'95)},
  pages = {142--150},
  year = {1995},
  publisher = {IEEE Computer Society Press},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/MPPM.ps},
  note = {Publication status: Published}
}

@techreport{BotorogK1995Algorithmic,
  author = {G Botorog and H Kuchen},
  title = {Algorithmic Skeletons in an Imperative Language for Distributed Programming},
  institution = {},
  series = {Technical Reports of the University of Giessen},
  number = {9504},
  volume = {9504},
  year = {1995},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/TRGi.ps},
  note = {Publication status: Published}
}

@inproceedings{GladitzK1994ParallelImplementation,
  author = {K Gladitz and H Kuchen},
  title = {Parallel Implementation of the Gamma-Operation},
  booktitle = {Proceedings of the Conference on Parallel Symbolic Computation (PaSCo)},
  pages = {154--163},
  series = {Lecture Notes Series on Computing},
  volume = {5},
  year = {1994},
  publisher = {World Scientific Publishers},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/pasco94.ps.gz},
  note = {Publication status: Published}
}

@inproceedings{KuchenS1994ADataParallel,
  author = {H Kuchen and H Stoltze},
  title = {A Data Parallel Functional Language for Distributed Memory Machines},
  booktitle = {Proceedings of the Conference on Numerical Methods and Applications},
  pages = {245--254},
  year = {1994},
  publisher = {World Scientific},
  note = {Publication status: Published}
}

@inproceedings{KuchenS1994EineDatenparallele,
  author = {H Kuchen and H Stoltze},
  title = {Eine datenparallele funktionale Sprache für Multicomputer},
  booktitle = {Proceedings of the TAT'94},
  year = {1994},
  publisher = {IOS Press},
  note = {Publication status: Published}
}

@inproceedings{KuchenPS1994Distributed,
  author = {H Kuchen and R Plasmeijer and H Stoltze},
  title = {Distributed Implementation of a Data Parallel Functional Language},
  booktitle = {Proceedings of the 6$^{th}$ International Conference on Parallel Architectures and Languages Europe (PARLE'94)},
  pages = {464--477},
  series = {LNCS},
  volume = {817},
  year = {1994},
  publisher = {Springer Verlag},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/parle94.ps.gz},
  note = {Publication status: Published}
}

@article{KuchenS1994CandelaA,
  author = {H Kuchen and H Stoltze},
  title = {Candela --- A Topology Description Language},
  journal = {},
  year = {1994},
  pages = {557--676},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/CompAI.ps},
  note = {Publication status: Published}
}

@inproceedings{KuchenG1993ParallelImplementation,
  author = {H Kuchen and K Gladitz},
  title = {Parallel Implementation of Bags},
  booktitle = {Proceedings of the Conference on Functional Languages and Computer Architecture},
  pages = {299--307},
  year = {1993},
  publisher = {ACM Press},
  address = {Kopenhagen},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/FPCA93.ps.gz},
  note = {Publication status: Published}
}

@inproceedings{MorenoNavarroKMCWH1993EfficientLazy,
  author = {JJ Moreno-Navarro and H Kuchen and J Mariño-Carballo and S Winkler and W Hans},
  title = {Efficient Lazy Narrowing using Demandedness Analysis},
  booktitle = {Proceedings of the 5$^{th}$ International Symposium on Programming Language Implementation and Logic Programming (PLILP'93)},
  pages = {167--183},
  series = {LNCS},
  volume = {714},
  year = {1993},
  publisher = {Springer Verlag},
  note = {Publication status: Published}
}

@inproceedings{StoltzeK1993ParallelFunctional,
  author = {H Stoltze and H Kuchen},
  title = {Parallel Functional Programming using Algorithmic Skeletons},
  booktitle = {Proceedings of the Int. Conf. on Parallel Computing (ParCo)},
  year = {1993},
  address = {Grenoble, North-Holland},
  note = {Publication status: Published}
}

@techreport{HansKW1993FullIndexing,
  author = {W Hans and H Kuchen and St Winkler},
  title = {Full Indexing for Lazy Narrowing},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  year = {1993},
  address = {Aachen},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1993/93-18.ps.gz},
  note = {Publication status: Published}
}

@techreport{Kuchen1993Distributed,
  author = {H Kuchen},
  title = {Distributed Memory Implementation of a Data Parallel Functional Language},
  institution = {},
  series = {PMG Report of the Chalmers University of Technology},
  number = {76},
  volume = {76},
  year = {1993},
  address = {Göteborg, Schweden},
  note = {Publication status: Published}
}

@inproceedings{KuchenLFMNRA1992Implementing,
  author = {H Kuchen and F Lopez-Fraguas and JJ Moreno-Navarro and M Rodriguez-Artalejo},
  title = {Implementing a Lazy Functional Logic Language with Disequality Constraints},
  booktitle = {Proceedings of the Joint International Conference and Symposium on Logic Programming},
  pages = {207--224},
  year = {1992},
  publisher = {MIT Press},
  url = {http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/icslp92.ps.gz},
  note = {Publication status: Published}
}

@inproceedings{KuchenMNH1992Independent,
  author = {H Kuchen and JJ Moreno-Navarro and M Hermenegildo},
  title = {Independent And-Parallel Implementation of Narrowing},
  booktitle = {Proceedings of the 4$^{th}$ International Symposium on Programming Language Implementation and Logic Programming (PLILP)},
  pages = {24--38},
  series = {LNCS},
  volume = {631},
  year = {1992},
  publisher = {Springer Verlag},
  note = {Publication status: Published}
}

@inproceedings{KuchenSL1992CandelaEine,
  author = {H Kuchen and H Stoltze and F Lücking},
  title = {Candela --- Eine Sprache zur Beschreibung von Topologien},
  booktitle = {Proceedings of the Transputer-Anwender-Treffen},
  year = {1992},
  publisher = {Springer Verlag},
  address = {Aachen},
  note = {Publication status: Published}
}

@techreport{KuchenLMNRA1992GraphNarrowing,
  author = {H Kuchen and R Loogen and JJ Moreno-Navarro and M Rodriguez-Artalejo},
  title = {Graph Narrowing to Implement a Functional Logic Language},
  institution = {},
  series = {Reports of the Universidad Politecnica de Madrid},
  year = {1992},
  address = {Madrid},
  note = {Publication status: Published}
}

@techreport{KuchenLF1992ResultDirected,
  author = {H Kuchen and F Lopez-Fraguas},
  title = {Result Directed Computing in a Functional Logic Language},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  year = {1992},
  address = {Aachen},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1992/92-21.ps.gz},
  note = {Publication status: Published}
}

@techreport{KuchenLFMNRA1992Implementing,
  author = {H Kuchen and F Lopez-Fraguas and JJ Moreno-Navarro and M Rodriguez-Artalejo},
  title = {Implementing Disequality in a Lazy Functional Logic Language},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  year = {1992},
  address = {Aachen},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1992/92-20.ps.gz},
  note = {Publication status: Published}
}

@techreport{KuchenMNH1992Independent,
  author = {H Kuchen and JJ Moreno-Navarro and M Hermenegildo},
  title = {Independent And-Parallel Narrowing},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  year = {1992},
  address = {Aachen},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1992/92-22.ps.gz},
  note = {Publication status: Published}
}

@techreport{KuchenG1991Distributed,
  author = {H Kuchen and G Geiler},
  title = {Distributed Applicative Arrays},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  number = {91-5},
  volume = {91-5},
  year = {1991},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1991/91-05.ps.gz},
  note = {Publication status: Published}
}

@techreport{KuchenSL1991TheTopology,
  author = {H Kuchen and H Stoltze and F Lücking},
  title = {The Topology Description Language TDL},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  year = {1991},
  address = {Aachen},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1991/91-22.ps.gz},
  note = {Publication status: Published}
}

@techreport{KuchenW1990Comparison,
  author = {H Kuchen and A Wagener},
  title = {Comparison of Dynamic Load Balancing Strategies},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  number = {90-5},
  volume = {90-5},
  year = {1990},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1990/90-05.ps.gz},
  note = {Publication status: Published}
}

@techreport{MorenoNavarroKLRA1990LazyNarrowing,
  author = {JJ Moreno-Navarro and H Kuchen and R Loogen and M Rodriguez-Artalejo},
  title = {Lazy Narrowing in a Graph Machine},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  year = {1990},
  address = {Aachen},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1990/90-11.ps.gz},
  note = {Publication status: Published}
}

@techreport{KuchenLMNRA1989GraphBased,
  author = {H Kuchen and R Loogen and JJ Moreno-Navarro and M Rodriguez-Artalejo},
  title = {Graph-Based Implementation of a Functional Logic Language},
  institution = {},
  series = {Aachener Informatik-Berichte (AIB)},
  year = {1989},
  address = {Aachen},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1989/89-20.ps.gz},
  note = {Publication status: Published}
}