• 2020

    Chapter in Book

    Dageförde, J. C., & Teegen, F. (2020). Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming. In Hofstedt, P., Abreu, S., John, U., Kuchen, H., & Seipel, D. (Eds.), Declarative Programming and Knowledge Management (pp. 199–214). Lecture Notes in Artificial Intelligence: Vol. 12057. Springer.
    More details BibTeX DOI

  • 2019

    Article in Journal

    Dageförde, J. C., & Kuchen, H. (2019). A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli. Journal of Computer Languages, 53, 63–78.
    More details BibTeX DOI

    Conference Paper

    Beyer, L., Dageförde, J. C., Kuchen, H., & Usener, C. A. (2019). Automated Data-flow Analysis and Validation in Process Automation Projects. In Fujita, H., & Selamat, A. (Eds.), Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques (pp. 333–346). IOS Press.
    More details BibTeX DOI

    Dageförde, J. C., & Teegen, F. (2019). Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming. In Proceedings of the Declare 2019, Cottbus, Germany.
    More details BibTeX Full text

    Dageförde, J. C., & Kuchen, H. (2019). Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space. In Proceedings of the 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus, 1552–1561.
    More details BibTeX DOI

    Dageförde, J. C., & Kuchen, H. (2019). Muli: Constraint-Logic Object-Oriented Programming mit freien Objekten. In Proceedings of the 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Baiersbronn-Schwarzenberg, 73.
    More details BibTeX

    Chapter in Book

    Dageförde, J. C. (2019). Reference Type Logic Variables in Constraint-logic Object-oriented Programming. In Silva, J. (Ed.), Functional and Constraint Logic Programming (pp. 131–144). Lecture Notes in Computer Science: Vol. 11285. Springer.
    More details BibTeX DOI

    Report

    Dageförde, J., Dylus, S., Christiansen, J., Teegen, F., & Tikovsky, J. (2019). Strukturierte Traversierung des Ausführungsbaums von Muli-Programmen. In Knoop, J., Steffen, M., & Trancón, y. W. B. (Eds.). Oslo, Norway: Institutt for Informatikk.
    More details BibTeX Full text

  • 2018

    Conference Paper

    Dageförde, J. C. (2018). Reference Type Logic Variables in Constraint-logic Object-oriented Programming. In Proceedings of the 26th International Workshop on Functional and Logic Programming, Frankfurt, Deutschland.
    More details BibTeX Full text

    Dageförde, J. C., & Kuchen, H. (2018). A Constraint-logic Object-oriented Language. In Proceedings of the 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, Frankreich, 1185–1194.
    More details BibTeX DOI

    Chapter in Book

    Dageförde, J. C., & Kuchen, H. (2018). An Operational Semantics for Constraint-logic Imperative Programming. In Seipel, D., Hanus, M., & Abreu, S. (Eds.), Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017. (pp. 64–80). Lecture Notes in Artificial Intelligence: Vol. 10997. Cham: Springer.
    More details BibTeX DOI

    Report

    Dageförde, J. C., & Kuchen, H. (2018). Muli: Constraint-Programmierung in Java auf symbolischer JVM. In Knoop, J., Steffen, M., & Trancón, y. W. B. (Eds.), Research report: Vol. 482. Oslo, Norway: Institutt for Informatikk.
    More details BibTeX Full text

  • 2017

    Conference Paper

    Dageförde, J. C., & Kuchen, H. (2017). An Operational Semantics for Constraint-logic Imperative Programming. In Proceedings of the Declare 2017, Würzburg.
    More details BibTeX Full text

    Dageförde, J. C., & Kuchen, H. (2017). Muli: Constraint-Programmierung in Java auf symbolischer JVM. In Proceedings of the 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Weimar.
    More details BibTeX

    Chapter in Book

    Majchrzak, T. A., Dageförde, J. C., Ernsting, J., Rieger, C., & Reischmann, T. (2017). How Cross-Platform Technology Can Facilitate Easier Creation of Business Apps. In Rezaei, S. (Ed.), Apps Management and E-Commerce Transactions in Real-Time (pp. 104–140). Hershey PA: IGI Global.
    More details BibTeX DOI

    Runschke, F., Dageförde, J., Scholta, H., & Bräuer, S. (2017). Management von Informationsobjekten in hybriden Wertschöpfungsnetzwerken. In Becker, J., Bernhold, T., Knackstedt, R., & Matzner, M. (Eds.), Planung koordinierter Wertschöpfungspartnerschaften (pp. 179–202). Berlin, Heidelberg: Springer Gabler.
    More details BibTeX Full text

  • 2016

    Conference Paper

    Dageförde, J. C., Reischmann, T., Majchrzak, T. A., & Ernsting, J. (2016). Generating App Product Lines in a Model-Driven Cross-Platform Development Approach. In Proceedings of the 49th Hawaii International Conference on System Sciences, Kauai, Hawaii, 5803–5812.
    More details BibTeX DOI

  • 2014

    Conference Paper

    Becker, J., Ortbach, K., Köffer, S., Dageförde, J., & Niehaves, B. (2014). Old Dogs and New Tricks — Exploring the Benefits and Drawbacks of IT Consumerization in the Context of Aging Workforces. In Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI), Paderborn, 1860–1872.
    More details BibTeX