Publikationen

2010

• Free Theorems for Functional Logic Programs

  Christiansen, J., Seidel, D., & Voigtländer, J. (2010). Free Theorems for Functional Logic Programs. In Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification (S. 39–48). http://doi.org/10.1145/1707790.1707797

  • 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

  • 2010
  • Conference Paper
  • • Jan Christiansen
    • Daniel Seidel
    • Janis Voigtländer

• Treasures of the ocean: Sustainable exploitation of the biotechnological potential of marine fungi

  Labes, A., Klotz, H., Schneemann, I., & Imhoff, J. F. (2010). Treasures of the ocean: Sustainable exploitation of the biotechnological potential of marine fungi. In IMC9: The Biology of Fungi. Abgerufen von http://oceanrep.geomar.de/10247/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2010
  • Conference Paper
  • • Antje Labes
    • H. Klotz
    • Imke Schneemann
    • Johannes Imhoff
  • • Microbiology
    • biotechnology
    • marine fungi

• Über die Konstruktion algebraischer Kurven mittels komplexer Multiplikation

  Uzunkol, O. (2010). Über die Konstruktion algebraischer Kurven mittels komplexer Multiplikation. Technische Universität Berlin, Berlin. http://doi.org/10.14279/depositonce-2511

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Uzunkol, Osmanbey

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2010
  • Thesis
  • • Osmanbey Uzunkol
  • • Algebraische Kurven
    • Elliptische Kurven vorgegebener Ordnung
    • Hyperelliptische Kurven vom Geschlecht zwei
    • Komplexe Multiplikation
    • Algebraic curves
    • Complex multiplication
    • Elliptic curves with known order
    • Genus two hyperelliptic curves

• Interactions between macroalgae and bacteria: Bacterial communities associated to two baltic macroalgae

  Goecke, F. R., Wiese, J., Labes, A., & Imhoff, J. F. (2010). Interactions between macroalgae and bacteria: Bacterial communities associated to two baltic macroalgae. In 5. International Student Conference: Biodiversity and functioning of aquatic ecosystems in the Baltic Sea region. Abgerufen von http://oceanrep.geomar.de/10231/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2010
  • Conference Paper
  • • Franz Goecke
    • Jutta Wiese
    • Antje Labes
    • Johannes Imhoff
  • • Microbiology
    • Macroalgae
    • BACTERIA

• The effect of moving from a plan-driven to an incremental software development approach with agile practices

  Petersen, K., & Wohlin, C. (2010). The effect of moving from a plan-driven to an incremental software development approach with agile practices. Empirical Software Engineering, 15, 654–693.

  • 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

  • 2010
  • Journal Article
  • • Kai Petersen
    • Claes Wohlin

• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

  Christiansen, J., Seidel, D., & Voigtländer, J. (2010). An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. In International Workshop on Functional and Constraint Logic Programming (S. 119–136). http://doi.org/10.1007/978-3-642-20775-4_7

  • 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

  • 2010
  • Conference Paper
  • • Jan Christiansen
    • Daniel Seidel
    • Janis Voigtländer

• Patents as an information source for product forecasting: Insights from a longitudinal study in the automotive industry

  Gerken, J. M., Moehrle, M. G., & Walter, L. (2010). Patents as an information source for product forecasting: Insights from a longitudinal study in the automotive industry. In The R\&D management conference (Bd. 3).

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Gerken, Jan

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  • Forschungsfeld

    • Innovation und Wachstum, Nachhaltigkeit
    • Data Science und Künstliche Intelligenz

  • Fachbereich

    • Fachbereich 4: Wirtschaft

  Filter Tags

  • 2010
  • Conference Paper
  • • Jan Gerken
    • Martin Moehrle
    • Lothar Walter

• Marine Biotechnology: Sustainable uses of marine bacteria and fungi

  Wiese, J., Baumann, H. I., Kajahn, I., Labes, A., Ohlendorf, B., Schmaljohann, R., … Imhoff, J. F. (2010). Marine Biotechnology: Sustainable uses of marine bacteria and fungi. In ESF-COST High Level Research Conference. Abgerufen von http://oceanrep.geomar.de/10246/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2010
  • Conference Paper
  • • Jutta Wiese
    • Heike Baumann
    • Inga Kajahn
    • Antje Labes
    • Birgit Ohlendorf
    • Rolf Schmaljohann
    • Dirk Schulz
    • Rüdiger Stöhr
    • Heidi Zinecker
    • Johannes Imhoff
  • • Microbiology
    • biotechnology
    • marine fungi
    • Marine bacteria

• Software process improvement through the Lean Measurement (SPI-LEAM) method

  Petersen, K., & Wohlin, C. (2010). Software process improvement through the Lean Measurement (SPI-LEAM) method. Journal of systems and software, 83, 1275–1287.

  • 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

  • 2010
  • Journal Article
  • • Kai Petersen
    • Claes Wohlin