Labes, A. . (2013). Das Meer erforschen und Medizin finden. In Zukunft Meer - Ein Abend über das Erforschen, die Nutzung und den Schutz der Meere. Abgerufen von http://oceanrep.geomar.de/23010/
Christiansen, J. ., Hanus, M. ., Reck, F. ., & Seidel, D. . (2013). A Semantics for Weakly Encapsulated Search in Functional Logic Programs. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP 13 (S. 49–60). ACM Press. http://doi.org/10.1145/2505879.2505896
Abstract
Encapsulated search is a key feature of (functional) logic languages. It allows the programmer to access and process different results of a non-deterministic computation within a program. Unfortunately, due to advanced operational features (lazy evaluation, partial values, infinite structures), there is no straightforward definition of the semantics of encapsulated search in functional logic languages. As a consequence, various proposals and implementations are available but a rigorous definition covering all semantical aspects does not exist. In this paper, we analyze the requirements of encapsulated search in a functional logic language like Curry and provide a comprehensive definition that covers weak encapsulation, a modular form of encapsulation, as well as nested applications of search operators. We set up a denotational semantics that distinguishes non-termination and different levels of failures in a computation. The semantics is also the basis of a practical implementation of search operators in the functional logic language Curry.
Labes, A. . (2013). Marine Biotechnologie in Schleswig-Holstein für die Apotheke aus dem Meer Technologietransfer für die Wirkstoffsuche aus marinen mikrobiellen Ressourcen. In Innovation Camp der FH Kiel. Abgerufen von http://oceanrep.geomar.de/23007/
Jabangwe, R. ., Petersen, K. ., & vSmite, D. \. (2013). Visualization of Defect Inflow and Resolution Cycles: Before, During and After Transfer. In 20th Asia-Pacific Software Engineering Conference.
Labes, A. ., Kaiser, H. ., & Tobin, S. . (2013). Das betörende Blühen der Titanenwurz. In Vorträge des Freundeskreis des Botanischen Gartens Kiel. Abgerufen von http://oceanrep.geomar.de/23008/
Labes, A. ., & Claussen, C. . (2013). Meeresschätze heben ? mit angewandter Forschung aus Norddeutschland. In Kieler Salon. Abgerufen von http://oceanrep.geomar.de/23005/
Petersen, K. ., & Gencel, C. . (2013). Worldviews, Research Methods, and their Relationship to Validity in Empirical Software Engineering Research. In The Joint Conference of the 23nd International Workshop on Software Measurement (IWSM) and the 8th International Conference on Software Process and Product Measurement (Mensura).
Kasoju, A. ., Petersen, K. ., & Mäntylä, M. . , V. (2013). Analyzing an automotive testing process with evidence-based software engineering. Information and Software Technology, 55, 1237–1259.