Publikationen

2013

• Visualization of Defect Inflow and Resolution Cycles: Before, During and After Transfer

  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.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Petersen, Kai

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  Filter Tags

  • 2013
  • Conference Paper
  • • Ronald Jabangwe
    • Kai Petersen
    • Darja vSmite

• Bio-mining the microbial treasures of the ocean: Early drug discovery and models for entering pharmaceutical pipelines

  Labes, A. (2013). Bio-mining the microbial treasures of the ocean: Early drug discovery and models for entering pharmaceutical pipelines. In SUBMARINER. Abgerufen von http://oceanrep.geomar.de/23002/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2013
  • Conference Paper
  • • Antje Labes

• Random mutagenesis in filamentous fungi for higher yields of secondary metabolites

  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/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2013
  • Conference Paper
  • • Linda Paun
    • Annemarie Kramer
    • Antje Labes
    • Johannes Imhoff
    • Frank Kempken

• Improving software security with static automated code analysis in an industry setting

  Baca, D., Carlsson, B., Petersen, K., & Lundberg, L. (2013). Improving software security with static automated code analysis in an industry setting. Software: Practice and Experience, 43, 259–279.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Petersen, Kai

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  Filter Tags

  • 2013
  • Journal Article
  • • Dejan Baca
    • Bengt Carlsson
    • Kai Petersen
    • Lars Lundberg

• Genome based methods for the exploration of natural products from marine fungi for the treatment of cancer

  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/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2013
  • Conference Paper
  • • Antje Labes

• A Semantics for Weakly Encapsulated Search in Functional Logic Programs

  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

  anzeigen ▸

  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.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2013
  • Conference Paper
  • • Jan Christiansen
    • Michael Hanus
    • Fabian Reck
    • Daniel Seidel