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/
Labes, A. ., & Claussen, C. . (2013). Meeresschätze heben ? mit angewandter Forschung aus Norddeutschland. In Kieler Salon. Abgerufen von http://oceanrep.geomar.de/23005/
Penzenstadler, B. ., Khurum, M. ., & Petersen, K. . (2013). Towards Incorporating Sustainability while Taking Software Product Management Decisions. In 7th International Workshop on Software Product Management (S. 71–58).
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/
Paun, L. ., Kramer, A. ., Labes, A. ., Imhoff, J. F., & Kempken, F. . (2013). Random mutagenesis in filamentous fungi for higher yields of secondary metabolites. In 44. Annual Conference of the German Genetics Society (GfG). Abgerufen von http://oceanrep.geomar.de/22018/
Labes, A. . (2013). Early drug discovery: Models for Entering Pharmaceutical Pipelines. In 2. Deutsch-Russisches Forum Biotechnologie. Abgerufen von http://oceanrep.geomar.de/23001/
Mäntylä, M. . , V, Khomh, F. ., Adams, B. ., Engström, E. ., & Petersen, K. . (2013). On rapid releases and software testing. In 2013 IEEE International Conference on Software Maintenance (S. 20–29).
Kramer, A. ., Paun, L. ., Labes, A. ., Kempken, F. ., & Imhoff, J. F. (2013). Development of a miniaturised screening method for fungal mutants with enhanced production of specific natural compounds. In VAAM Jahrestagung 2013. Abgerufen von http://oceanrep.geomar.de/22029/
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). Genome based methods for the exploration of natural products from marine fungi for the treatment of cancer. In Tagung der Vereinigung für allgemeine und angewandte Mikrobiologie. Abgerufen von http://oceanrep.geomar.de/23000/