Publikationen

2019

• One Monad to Prove Them All

  Dylus, S., Christiansen, J., & Teegen, F. (2019). One Monad to Prove Them All. The Art, Science, and Engineering of Programming, 3. http://doi.org/10.22152/programming-journal.org/2019/3/8

  Abstract

  anzeigen ▸

  One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventure of proving properties about Haskell programs in the proof assistant Coq. On the one hand, as a PhD student in computer science Mona observes an increasing demand for correct software products. In particular, because of the large amount of existing software, verifying existing software products becomes more important. Verifying programs in the functional programming language Haskell is no exception. On the other hand, Mona is delighted to see that communities in the area of theorem proving are becoming popular. Thus, Mona sets out to learn more about the interactive theorem prover Coq and verifying Haskell programs in Coq.

  • 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

  • 2019
  • Journal Article
  • • Sandra Dylus
    • Jan Christiansen
    • Finn Teegen

• Transforming chemical supply chains toward sustainability—A practice-based view

  Brömer, J., Brandenburg, M., & Gold, S. (2019). Transforming chemical supply chains toward sustainability—A practice-based view. Journal of Cleaner Production, 236, 117701. http://doi.org/10.1016/j.jclepro.2019.117701

  Abstract

  anzeigen ▸

  In today’s business, it is largely acknowledged that sustainability has to be considered in managerial decision making and corporate strategy development. However, many firms still face substantial operational and organizational challenges when striving for a transformation toward sustainability, especially when expanding their efforts toward their supplier base. Framed by the recently emerging theoretical lens of the practice-based view and its extension toward the supply chain practice view, and grounded in recent conceptualizations of sustainable supply chain management, the study at hand elaborates on management practices by which firms can improve the sustainability of their supply chains. Due to its high economic relevance and its exposure to increasing sustainability requirements, the chemical process industry is chosen as the empirical research field. Qualitative case study research identifies intra- and inter-organizational practices that are important to achieve and improve supply chain sustainability. A framework that conceptualizes sustainability practices and their implementation prerequisites and performance impacts is derived from interviews with key informants from German chemical manufacturers. This paper contributes to the state-of-the-art of sustainability diffusion in particular through its distinct focus on imitable practices that are easily transferable between companies and hence may help in transforming entire industry sectors toward sustainability.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Brandenburg, Marcus

  Filter Tags

  • 2019
  • Journal Article
  • • Julia Brömer
    • Marcus Brandenburg
    • Stefan Gold
  • • Sustainable supply chain management
    • Sustainability
    • Supply chain practice view
    • Collaboration
    • Chemical industry
    • Case study research

• Tangible Browsing for E-Books: Design and Evaluation of a Haptic Approach for Digital Reading

  Sietas, J., Hansen, T., Ali, H., Reinhold, S., & Teistler, M. (2019). Tangible Browsing for E-Books: Design and Evaluation of a Haptic Approach for Digital Reading. In Proceedings of Mensch Und Computer 2019 (S. 737–741). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3340764.3344900

  Abstract

  anzeigen ▸

  Sensory perception is an important part of reading. Physical books are experiencedhaptically, for instance when turning pages using one s fingers. When browsing e-bookson current reader devices, this tangibility is missing. Our research investigates if the userexperience of e-book readers can be improved by adding haptic feedback to the act of browsing. For this purpose an e-book reader with applied nylon wires has beendeveloped, with which browsing becomes tangible. The prototype has been tested withusers and compared to an e-book reader with a common touch-controlled scrollbar usingquantitative and qualitative methods. The results show that the scrollbar version enabledparticipants to navigate faster. However, the prototype with haptic feedback receivedbetter ratings in terms of pragmatic and hedonic quality as well as attractiveness.Additionally, tangible browsing enabled users to navigate more precisely. This wouldexplain, why participants appreciated the pragmatic qualities, even though the act of browsing was slower. Therefore haptic feedback can improve the acceptance of e-books.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Teistler, Michael

  • Abteilung/Einrichtung

    • CIVU – Center for Interaction, Visualization and Usability

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2019
  • Conference Paper
  • • Jacob Sietas
    • Torsten Hansen
    • Hajar Ali
    • Sascha Reinhold
    • Michael Teistler
  • • User Experience
    • Browsing
    • Searching
    • Sensory Perception
    • Haptics
    • Scrollbar

• Understanding the order of agile practice introduction: Comparing agile maturity models and practitioners’ experience

  Nurdiani, I., Börstler, J., Fricker, S., Petersen, K., & Chatzipetrou, P. (2019). Understanding the order of agile practice introduction: Comparing agile maturity models and practitioners’ experience. Journal of Systems and Software, 156, 1–20.

  • 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

  • 2019
  • Journal Article
  • • Indira Nurdiani
    • Jürgen Börstler
    • Samuel Fricker
    • Kai Petersen
    • Panagiota Chatzipetrou

• Simulation of neck growth and shrinkage for realistic temperature profiles – Determination of diffusion coefficients in a practical oriented procedure.

  Thomsen, F., Ebel, T., & Willumeit-Römer, R. (2019). Simulation of neck growth and shrinkage for realistic temperature profiles – Determination of diffusion coefficients in a practical oriented procedure. Scripta Materialia, 168, 6. http://doi.org/10.1016/j.scriptamat.2019.04.034

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Thomsen, Fritz

  Filter Tags

  • 2019
  • Journal Article
  • • Fritz Thomsen
    • Thomas Ebel
    • Regine Willumeit-Römer

• Test cases for a coupled powerplant and geostorage model to simulate compressed air energy storage in geological porous media

  Pfeiffer, W. T., Witte, F., Tuschy, I., & Bauer, S. (2019). Test cases for a coupled powerplant and geostorage model to simulate compressed air energy storage in geological porous media. In Proceedings of 11th International Conference on Applied Energy, Part 4 (Bd. 05). Västeras, Sweden.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Witte, Francesco
    • Tuschy, Ilja

  • Fachbereich

    • Fachbereich 2: Energy and Life Science

  Filter Tags

  • 2019
  • Conference Paper
  • • Wolf Pfeiffer
    • Francesco Witte
    • Ilja Tuschy
    • Sebastian Bauer

• Evaluating a Wearable Camera s Social Acceptability In-the-Wild

  Koelle, M., Wallbaum, T., Heuten, W., & Boll, S. C. (2019). Evaluating a Wearable Camera s Social Acceptability In-the-Wild. In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems (S. 1–6).

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Wallbaum, Torben

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2019
  • Conference Paper
  • • Marion Koelle
    • Torben Wallbaum
    • Wilko Heuten
    • Susanne Boll

• Investigation of Laminar–Turbulent Transition on a Rotating Wind-Turbine Blade of MultimegawattClass with Thermography and Microphone Array

  Jauch, C., Reichstein, T., Schaffarczyk, A. P., Dollinger, C., Balaresque, N., Schülein, E., & Fischer, A. (2019). Investigation of Laminar–Turbulent Transition on a Rotating Wind-Turbine Blade of MultimegawattClass with Thermography and Microphone Array . Energies, 12. http://doi.org/10.3390/en12112102

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Jauch, Clemens

  Filter Tags

  • 2019
  • Journal Article
  • • Prof. Dr. Clemens Jauch
    • T. Reichstein
    • A. Schaffarczyk
    • C. Dollinger
    • N. Balaresque
    • E. Schülein
    • A. Fischer
  • • WETI

• Sustainable Supply Chain Management—A Conceptual Framework and Future Research Perspectives

  Brandenburg, M., Gruchmann, T., & Oelze, N. (2019). Sustainable Supply Chain Management—A Conceptual Framework and Future Research Perspectives. Sustainability, 11. http://doi.org/10.3390/su11247239

  Abstract

  anzeigen ▸

  Sustainable operations and sustainable supply chain management (SSCM) have become a highly relevant topic for scientific research and management, as well as policy-making practice. Despite surging growth in extant research, the need for theoretical and conceptual substantiation persists, and large opportunities for further research remain unexploited. This paper responds to the need for a conceptual foundation and, therefore, aims at providing a structured agenda for future research areas in SSCM. Based on an abductive reasoning approach, SSCM constructs and concepts are gathered from existing literature and recombined into a comprehensive conceptual SSCM framework. Areas and directions for future SSCM research, as suggested in earlier studies, are summarized, positioned in the framework, and outlined to stimulate further SSCM research activities. To overcome the lack of holistic research in the field, sophisticated techniques and integrated systems to support decision-making are required to tackle related issues’ complexity. Therefore, this paper’s contribution lies in the synthesis of state-of-the-art literature to provide a more comprehensive view of SSCM. Researchers may find promising recommendations and a suitable foundation for future studies, while practitioners may find helpful orientation and guidance for decision- and policy-making.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Brandenburg, Marcus

  Filter Tags

  • 2019
  • Journal Article
  • • Marcus Brandenburg
    • Tim Gruchmann
    • Nelly Oelze

• Usage, retention, and abandonment of agile practices: a survey and interviews results

  Nurdiani, I., Börstler, J., Fricker, S., & Petersen, K. (2019). Usage, retention, and abandonment of agile practices: a survey and interviews results. e-Informatica Software Engineering Journal, 13.

  • 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

  • 2019
  • Journal Article
  • • Indira Nurdiani
    • Jürgen Börstler
    • Samuel Fricker
    • Kai Petersen