Jan C. Dageförde

Publications

In addition, please have a look at my ResearchGate profile.

2023

• Dageförde, J. C., & Kuchen, H. (2023). Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. [doi:10.1007/978-3-031-31476-6_5]

2021

• Winkelmann, H., Dageförde, J. C., & Kuchen, H. (2021). Constraint-Logic Object-Oriented Programming with Free Arrays. In Proceedings of the WFLP 2020, Bologna, Italy. [doi:10.1007/978-3-030-75333-7_8] [preprint]

2020

• Dageförde, J. C. (2020). An Integrated Constraint-Logic and Object-Oriented Programming Language. Dissertation at the University of Münster. Münster.
  [open access]

• 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.
  [doi:10.1007/978-3-030-46714-2_13] [preprint]

• Dageförde, J. C., & Kuchen, H. (2020). Free Objects in Constraint-logic Object-oriented Programming. In Working Papers, European Research Center for Information Systems: Vol. 32. Münster.
  [full-text report]

2019

• 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.
  [doi:10.1016/j.cola.2019.05.001]

• 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.
  [doi:10.3233/FAIA190061]

• 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.
  [preprint] [final publication]

• 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.
  [doi:10.1145/3297280.3298912]

• 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.

• 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.
  [doi:10.1007/978-3-030-16202-3_8] [preprint]

• 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.
  [full-text report]

2018

• 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.
  [preprint] [final publication]

• 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.
  [doi:10.1145/3167132.3167260]

• 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.
  [doi:10.1007/978-3-030-00801-7_5]

• 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.
  [full-text report]

2017

• Dageförde, J. C., & Kuchen, H. (2017). An Operational Semantics for Constraint-logic Imperative Programming. In Proceedings of the Declare 2017, Würzburg.
  [final publication]

• 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.

• 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.
  [doi:10.4018/978-1-5225-2449-6.ch005]

• 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.
  [doi:10.1007/978-3-662-55362-6_3]

2016

• 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.
  [doi:10.1109/HICSS.2016.718]

2014

• 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.