Publications | Dr. Jan Dageförde | Department of Information Systems

VCard

QR-Code

Dr. Jan Dageförde, M.Sc.
Former Research Assistant

Practical Computer Science Group

Leonardo Campus 3
48149 Münster

External profiles:
ResearchGate
LinkedIn
Xing

ShortURL: ERC.IS ShortURL

erc.is/p/j.d

2021

Research article in proceedings (conference)

Winkelmann, H., Dagefoerde, J. C., & Kuchen, H. (2021). Constraint-Logic Object-Oriented Programming with Free Arrays. In Proceedings of the 28 th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, Bologna, Italien, 129–144.
More details BibTeX DOI

@inproceedings{WinkelmannDK2021ConstraintLogic,
  author = {Hendrik Winkelmann and Jan C. Dagefoerde and Herbert Kuchen},
  title = {Constraint-Logic Object-Oriented Programming with Free Arrays},
  booktitle = {Proceedings of the 28 th International Workshop on Functional and Constraint Logic Programming, WFLP 2020},
  pages = {129--144},
  year = {2021},
  publisher = {Springer},
  address = {Bologna, Italien},
  doi = {10.1007/978-3-030-75333-7_8},
  note = {Publication status: Published}
}

2020

Research article (book contribution)

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

@incollection{DagefoerdeT2020Structured,
  author = {Jan C. Dageförde and Finn Teegen},
  title = {Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming},
  booktitle = {Declarative Programming and Knowledge Management},
  pages = {199--214},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {12057},
  editor = {P Hofstedt and S Abreu and U John and H Kuchen and D Seipel},
  year = {2020},
  publisher = {Springer},
  isbn = {978-3-030-46713-5},
  doi = {10.1007/978-3-030-46714-2_13},
  note = {Publication status: Published}
}

Research article in proceedings (conference)

Dageförde, J. C., & Kuchen, H. (2020). Constraint-Logic Object-Oriented Programming with Free Arrays. In Proceedings of the WFLP 2020, Bologna, Italy.
More details BibTeX Full text

@inproceedings{DagefoerdeK2020ConstraintLogic,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Constraint-Logic Object-Oriented Programming with Free Arrays},
  booktitle = {Proceedings of the WFLP 2020},
  year = {2020},
  address = {Bologna, Italy},
  url = {https://arxiv.org/pdf/2008.13460.pdf},
  note = {Publication status: Published}
}

Thesis (doctoral or post-doctoral)

Dageförde, J. C. (2020). An Integrated Constraint-Logic and Object-Oriented Programming Language. at the WWU Münster. Münster.
More details BibTeX Full text

@phdthesis{Dagefoerde2020AnIntegrated,
  author = {Jan C. Dageförde},
  title = {An Integrated Constraint-Logic and Object-Oriented Programming Language},
  school = {WWU Münster},
  year = {2020},
  address = {Münster},
  url = {http://nbn-resolving.de/urn:nbn:de:hbz:6-89089640681},
  note = {Publication status: Published}
}

Working paper

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.
More details BibTeX Full text

@techreport{DagefoerdeK2020FreeObjects,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Free Objects in Constraint-logic Object-oriented Programming},
  institution = {},
  series = {Working Papers, European Research Center for Information Systems},
  number = {32},
  volume = {32},
  year = {2020},
  address = {Münster},
  url = {https://www.ercis.org/sites/ercis/files/structure/network/research/ercis-working-papers/ercis_wp_32.pdf},
  note = {Publication status: Published}
}

2019

Research article (book contribution)

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

@incollection{Dagefoerde2019ReferenceType,
  author = {Jan C. Dageförde},
  title = {Reference Type Logic Variables in Constraint-logic Object-oriented Programming},
  booktitle = {Functional and Constraint Logic Programming},
  pages = {131--144},
  series = {Lecture Notes in Computer Science},
  volume = {11285},
  editor = {J Silva},
  year = {2019},
  publisher = {Springer},
  isbn = {978-3-030-16201-6},
  doi = {10.1007/978-3-030-16202-3_8},
  note = {Publication status: Published}
}

Research article in proceedings (conference)

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

@inproceedings{BeyerDKU2019AutomatedDataFlow,
  author = {Lars Beyer and Jan C. Dageförde and Herbert Kuchen and Claus A. Usener},
  title = {Automated Data-flow Analysis and Validation in Process Automation Projects},
  booktitle = {Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques},
  pages = {333--346},
  editor = {H Fujita and A Selamat},
  year = {2019},
  publisher = {IOS Press},
  address = {Kuching, Malaysia},
  isbn = {978-1-64368-012-5},
  doi = {10.3233/FAIA190061},
  note = {Publication status: Published}
}

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

@inproceedings{DagefoerdeT2019Structured,
  author = {Jan C Dageförde and Finn Teegen},
  title = {Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming},
  booktitle = {Proceedings of the Declare 2019},
  year = {2019},
  address = {Cottbus, Germany},
  url = {https://arxiv.org/pdf/1908.10264.pdf},
  note = {Publication status: Published}
}

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

@inproceedings{DagefoerdeK2019RetrievalOf,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space},
  booktitle = {Proceedings of the 34$^{th}$ ACM/SIGAPP Symposium On Applied Computing},
  pages = {1552--1561},
  year = {2019},
  address = {Limassol, Cyprus},
  isbn = {978-1-4503-5933-7/19/04},
  doi = {10.1145/3297280.3298912},
  note = {Publication status: Published}
}

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

@inproceedings{DagefoerdeK2019MuliConstraintLogic,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Muli: Constraint-Logic Object-Oriented Programming mit freien Objekten},
  booktitle = {Proceedings of the 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)},
  pages = {73},
  editor = {M Plümicke and Alia F Abu},
  year = {2019},
  publisher = {Shaker Verlag},
  address = {Baiersbronn-Schwarzenberg},
  isbn = {978-3-8440-6933-4},
  note = {Publication status: Published}
}

Research article (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

@article{DagefoerdeK2019ACompilerAnd,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli},
  journal = {Journal of Computer Languages},
  year = {2019},
  volume = {53},
  pages = {63--78},
  doi = {10.1016/j.cola.2019.05.001},
  note = {Publication status: Published}
}

Working paper

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

@techreport{DagefoerdeDCTT2019Strukturierte,
  author = {JC Dageförde and S Dylus and J Christiansen and F Teegen and JR Tikovsky},
  title = {Strukturierte Traversierung des Ausführungsbaums von Muli-Programmen},
  institution = {Institutt for Informatikk},
  number = {488},
  volume = {488},
  editor = {J Knoop and M Steffen and y Widemann B Trancón},
  year = {2019},
  address = {Oslo, Norway},
  url = {https://www.duo.uio.no/handle/10852/72477},
  note = {Publication status: Published}
}

2018

Research article (book contribution)

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

@incollection{DagefoerdeK2018AnOperational,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {An Operational Semantics for Constraint-logic Imperative Programming},
  booktitle = {Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017.},
  pages = {64--80},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {10997},
  editor = {D Seipel and M Hanus and S Abreu},
  year = {2018},
  publisher = {Springer},
  address = {Cham},
  isbn = {978-3-030-00801-7},
  doi = {10.1007/978-3-030-00801-7_5},
  note = {Publication status: Published}
}

Research article in proceedings (conference)

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

@inproceedings{Dagefoerde2018ReferenceType,
  author = {Jan C. Dageförde},
  title = {Reference Type Logic Variables in Constraint-logic Object-oriented Programming},
  booktitle = {Proceedings of the 26$^{th}$ International Workshop on Functional and Logic Programming},
  year = {2018},
  address = {Frankfurt, Deutschland},
  url = {https://arxiv.org/pdf/1808.08185},
  note = {Publication status: Published}
}

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

@inproceedings{DagefoerdeK2018AConstraintLogic,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {A Constraint-logic Object-oriented Language},
  booktitle = {Proceedings of the 33$^{rd}$ ACM/SIGAPP Symposium On Applied Computing},
  pages = {1185--1194},
  year = {2018},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/3167132.3167260},
  note = {Publication status: Published}
}

Working paper

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

@techreport{DagefoerdeK2018MuliConstraintProgrammierung,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Muli: Constraint-Programmierung in Java auf symbolischer JVM},
  institution = {Institutt for Informatikk},
  series = {Research report},
  number = {482},
  volume = {482},
  editor = {J Knoop and M Steffen and y Widemann B Trancón},
  year = {2018},
  address = {Oslo, Norway},
  url = {http://urn.nb.no/URN:NBN:no-65294},
  note = {Publication status: Published}
}

2017

Research article (book contribution)

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

@incollection{MajchrzakDERR2017HowCrossPlatform,
  author = {Tim A. Majchrzak and Jan C. Dageförde and Jan Ernsting and Christoph Rieger and Tobias Reischmann},
  title = {How Cross-Platform Technology Can Facilitate Easier Creation of Business Apps},
  booktitle = {Apps Management and E-Commerce Transactions in Real-Time},
  pages = {104--140},
  editor = {Sajad Rezaei},
  year = {2017},
  publisher = {IGI Global},
  address = {Hershey PA},
  isbn = {978-1-5225-2449-6},
  doi = {10.4018/978-1-5225-2449-6.ch005},
  note = {Publication status: Published}
}

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 DOI

@incollection{RunschkeDSB2017Management,
  author = {Florian Runschke and Jan Dageförde and Hendrik Scholta and Sebastian Bräuer},
  title = {Management von Informationsobjekten in hybriden Wertschöpfungsnetzwerken},
  booktitle = {Planung koordinierter Wertschöpfungspartnerschaften},
  pages = {179--202},
  editor = {Jörg Becker and Torben Bernhold and Ralf Knackstedt and Martin Matzner},
  year = {2017},
  publisher = {Springer Gabler},
  address = {Berlin, Heidelberg},
  isbn = {978-3-662-55361-9},
  doi = {10.1007/978-3-662-55362-6_3},
  url = {https://link.springer.com/chapter/10.1007/978-3-662-55362-6_3},
  note = {Publication status: Published}
}

Research article in proceedings (conference)

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

@inproceedings{DagefoerdeK2017AnOperational,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {An Operational Semantics for Constraint-logic Imperative Programming},
  booktitle = {Declare 2017 --- Conference on Declarative Programming},
  series = {Technical Report},
  volume = {499},
  editor = {D Seipel and M Hanus and S Abreu},
  year = {2017},
  address = {Würzburg},
  url = {https://www.uni-wuerzburg.de/fileadmin/10030100/Publications/TR_Declare17.pdf},
  note = {Publication status: Published}
}

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

@inproceedings{DagefoerdeK2017MuliConstraintProgrammierung,
  author = {Jan C. Dageförde and Herbert Kuchen},
  title = {Muli: Constraint-Programmierung in Java auf symbolischer JVM},
  booktitle = {Proceedings of the 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)},
  series = {Jenaer Schriften zur Mathematik und Informatik},
  volume = {Math/Inf/02/2017},
  editor = {W Amme and TS Heinze},
  year = {2017},
  address = {Weimar},
  note = {Publication status: Published}
}

2016

Research article in proceedings (conference)

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

@inproceedings{DagefoerdeRME2016Generating,
  author = {Jan C. Dageförde and Tobias Reischmann and Tim A. Majchrzak and Jan Ernsting},
  title = {Generating App Product Lines in a Model-Driven Cross-Platform Development Approach},
  booktitle = {Proceedings of the 49$^{th}$ Hawaii International Conference on System Sciences},
  pages = {5803--5812},
  year = {2016},
  address = {Kauai, Hawaii},
  doi = {10.1109/HICSS.2016.718},
  note = {Publication status: Published}
}

2014

Research article in proceedings (conference)

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

@inproceedings{BeckerOKDN2014OldDogsAnd,
  author = {J Becker and K Ortbach and S Köffer and J Dageförde and B Niehaves},
  title = {Old Dogs and New Tricks --- Exploring the Benefits and Drawbacks of IT Consumerization in the Context of Aging Workforces},
  booktitle = {Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI)},
  pages = {1860--1872},
  year = {2014},
  address = {Paderborn},
  isbn = {978-3-00-045311-3},
  note = {Publication status: Published}
}