Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 11 to 20 of 13046.
  1. Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

    Verification Runtime Analysis: Get the Most Out of Partial Verification

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, IEEE, 2020.

  2. Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

    Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

    In: Slimane Hammoudi; Luís Ferreira Pires; Bran Selić (Hrsg.). 8th International Conference on Model-Driven Engineering and Software Development …

  3. Zukünftige Technologien im Ackerbau -- KI und Robotik auf dem Weg zu vollautomatischen Prozessen

    In: KTBL-Tage 2021: Boden gut machen - neue Ackerbausysteme. KTBL-Tage, March 16-17, Virtual Conference, Pages 136-142, KTBL, 3/2021.

  4. Jakob Michael Schönborn; Pascal Reuss; Carsten Wenzel; Klaus-Dieter Althoff

    Towards a Case-Based Decision Support System for Recruiting Processes using T-Shapes

    In: Judith Michael; Dominik Bork; Ulrich Reimer; Peter Fettke; Marina Tropmann-Frick (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo …

  5. Klaus-Dieter Althoff; Kerstin Bach; Ralph Bergmann; Mirjam Minor

    The 27th International Conference on Case-Based Reasoning

    In: AI Magazine, Vol. 41, No. 1, Pages 101-102, AAAI, 4/2020.

  6. Viktor Eisenstadt; Christoph Langenhan; Klaus-Dieter Althoff; Andreas Dengel

    Improved and Visually Enhanced Case-Based Retrieval of Room Configurations for Assistance in Architectural Design Education

    In: Ian Watson; Rosina Weber (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR-2020), …

  7. Jochen Wollschläger; Rüdiger Röttgers; Wilhelm Petersen; Oliver Zielinski

    Stick or Dye: Evaluating a Solid Standard Calibration Approach for Point-Source Integrating Cavity Absorption Meters (PSICAM)

    In: Frontiers in Marine Science (FMarS), Vol. 5, No. 535, Pages 1-13, Frontiers Media SA, Lausanne, 2/2019.

  8. Hannelore Waska; J. Greskowiak; J. Ahrens; M. Beck; S. Ahmerkamp†; P. Böning; H. J. Brumsack; J. Degenhardt; C. Ehlert; B. Engelen; N. Grünenbaum; M. Holtappels; K. Pahnke; H. K. Marchant; G. Massmann; D. Meier; B. Schnetger; K. Schwalfenberg; H. Simon; V. Vandieken; Oliver Zielinski; T. Dittmar

    Spatial and Temporal Patterns of Pore Water Chemistry in the Inter-Tidal Zone of a High Energy Beach

    In: Frontiers in Marine Science (FMarS), Vol. 6, No. 154, Pages 1-16, Lausanne, Schweiz, 4/2019.

  9. Greta Reintjes; Halina E. Tegetmeyer; Miriam Bürgisser; Sandi Orlic; Ivo Tews; Mikhail Zubkov; Daniela Voß; Oliver Zielinski; Christian Quast; Frank Oliver Glöckner; Rudolf Amann; Timothy G. Ferdelman; Bernhard M. Fuchs

    On-Site Analysis of Bacterial Communities of the Ultraoligotrophic South Pacific Gyre

    In: Hideaki Nojiri (Hrsg.). Applied and Environmental Microbiology (AEM), Vol. 85, No. 14, Pages 1-14, American Society for Microbiology Journals, …

  10. Daniel Thewes; Emil V. Stanev; Oliver Zielinski

    Sensitivity of a 3D Shelf Sea Ecosystem Model to Parameterizations of the Underwater Light Field

    In: Frontiers in Marine Science (FMarS), Vol. 6, No. 816, Pages 1-15, Lausanne, Schweiz, 1/2020.