@inproceedings{TroostWK2024AnIntegrated,
  author = {L. Troost and H. Winkelmann and H. Kuchen},
  title = {An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution},
  booktitle = {Proceedings of the 19$^{th}$ International Conference on Evaluation of Novel Approaches to Software Engineering},
  pages = {39--50},
  editor = { SciTePress},
  year = {2024},
  publisher = {SciTePress},
  address = {Angers, France},
  doi = {10.5220/0012586200003687},
  note = {Publication status: Published}
}

@techreport{Winkelmann2024AnEfficient,
  author = {H. Winkelmann},
  title = {An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming},
  institution = {European Research Center for Information Systems},
  series = {Working Papers},
  number = {39},
  volume = {39},
  editor = {J. Becker and J. {vom Brocke} and T. Brandt and F. Gieseke and B. Hellingrath and T. Hoeren and S. Klein and H. Kuchen and J. Varghese},
  year = {2024},
  address = {Münster, Germany},
  url = {https://www.ercis.org/sites/ercis/files/structure/network/research/ercis-working-papers/ercis_wp_39.pdf},
  note = {Publication status: Published}
}

@inproceedings{GrimmePWSG2023LostInTransformation,
  author = {Britta Grimme and Janina Pohl and Hendrik Winkelmann and Lucas Stampe and Christian Grimme},
  title = {Lost in Transformation: Rediscovering LLM-Generated Campaigns in Social Media},
  booktitle = {Disinformation in Open Online Media},
  pages = {72--87},
  series = {Lecture Notes in Computer Science},
  volume = {14397},
  editor = {Davide Ceolin and Tommaso Caselli and Marina Tulin},
  year = {2023},
  publisher = {Springer},
  address = {Amsterdam, Niederlande},
  isbn = {978-3-031-47895-6},
  doi = {10.1007/978-3-031-47896-3_6},
  note = {Publication status: Published}
}

@inproceedings{WinkelmannK2023ConstraintLogic,
  author = {Hendrik Winkelmann and Herbert Kuchen},
  title = {Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing},
  booktitle = {Proceedings of the 18$^{th}$ International Conference on Evaluation of Novel Approaches to Software Engineering --- ENASE},
  pages = {412--419},
  editor = {Hermann Mannion Kaindl and Maciaszek Leszek Mike},
  year = {2023},
  publisher = {SciTePress},
  address = {Prague, Czech Republic},
  isbn = {978-989-758-647-7},
  issn = {2184-4895},
  doi = {10.5220/0011849200003464},
  note = {Publication status: Published}
}

@inproceedings{WinkelmannK2022ConstraintLogic,
  author = {Hendrik Winkelmann and Herbert Kuchen},
  title = {Constraint-Logic Object-Oriented Programming on the Java Virtual Machine},
  booktitle = {37$^{th}$ ACM/SIGAPP Symposium On Applied Computing},
  pages = {1258--1267},
  editor = {for Computing Machinery Association},
  year = {2022},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  isbn = {978-1-4503-8713-2/22/04},
  doi = {10.1145/3477314.3507058},
  url = {https://dl.acm.org/doi/10.1145/3477314.3507058},
  note = {Publication status: Published}
}

@inproceedings{WinkelmannTK2022ConstraintLogic,
  author = {Hendrik Winkelmann and Laura Troost and Herbert Kuchen},
  title = {Constraint-Logic Object-Oriented Programming for Test Case Generation},
  booktitle = {37$^{th}$ ACM/SIGAPP Symposium On Applied Computing},
  pages = {1499--1508},
  editor = {for Computing Machinery Association},
  year = {2022},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  isbn = {978-1-4503-8713-2/22/04},
  doi = {10.1145/3477314.3507015},
  url = {https://dl.acm.org/doi/10.1145/3477314.3507015},
  note = {Publication status: Published}
}

@inproceedings{DagefoerdeWK2021FreeObjects,
  author = {Jan Dageförde and Hendrik Winkelmann and Herbert Kuchen},
  title = {Free Objects in Constraint-logic Object-oriented Programming},
  booktitle = {23$^{rd}$ International Symposium on Principles and Practice of Declarative Programming},
  pages = {14:1-14:13},
  editor = {Niccolò Veltri and Nick Benton and Silvia Ghilezan},
  year = {2021},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-8689-0},
  doi = {10.1145/3479394.3479409},
  note = {Publication status: Published}
}

@inproceedings{Winkelmann2021ConstraintLogische,
  author = {Hendrik Winkelmann},
  title = {Constraint-Logische Objektorientierte Programmierung mit Muli},
  booktitle = {Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung},
  pages = {115--125},
  series = {Kiel Computer Science Series},
  volume = {2021/7},
  editor = {Michael Hanus and Kai-Oliver Prott},
  year = {2021},
  publisher = {Department of Computer Science, Kiel University},
  address = {Kiel},
  issn = {2194-6639},
  note = {Publication status: Published}
}

@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}
}

@inproceedings{WinkelmannK2021SymbolicExecution,
  author = {Hendrik Winkelmann and Herbert Kuchen},
  title = {Symbolic execution of NoSQL applications using versioned schemas},
  booktitle = {Proceedings of the 36$^{th}$ Annual ACM Symposium on Applied Computing},
  pages = {1778--1787},
  editor = {for Computing Machinery Association},
  year = {2021},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  isbn = {978-1-4503-8104-8},
  doi = {10.1145/3412841.3442050},
  note = {Publication status: Published}
}