Philip HELTWEG
Philip Heltweg
Department of Computer Science
Professorship for Open Source Software
91058 Erlangen
- Email: philip.heltweg@fau.de
- Website: http://osr.cs.fau.de/
Publications
2023
- , :
A Systematic Analysis of Problems in Open Collaborative Data Engineering
In: ACM Transactions on Social Computing 6 (2023), p. 1-30
ISSN: 2469-7826
DOI: 10.1145/3629040
BibTeX: Download - , :
Challenges to Open Collaborative Data Engineering
Hawaii International Conference on System Sciences 2023 (Hyatt Regency Maui, 2023-01-03 - 2023-01-06)
In: Bui, Tung X (ed.): Proceedings of the 56th Hawaii International Conference on System Sciences 2023
URL: https://hdl.handle.net/10125/102714
BibTeX: Download
2021
- , , :
Certification of Iterated Belief Changes via Model Checking and its Implementation
In: Amgoud L, Booth R (ed.): 19th International Workshop on Non-Monotonic Reasoning NMR} 2021, Hanoi, Vietnam, November 2-5, 2021, Proceedings 2021
URL: https://nmr.cs.tu-dortmund.de/proceedings/NMR2021Proceedings.pdf#page=257
BibTeX: Download - , :
On using model checking for the certification of iterated belief changes
7th Workshop on Formal and Cognitive Reasoning, FCR 2021
Open Access: http://ceur-ws.org/Vol-2961/paper_3.pdf
URL: http://ceur-ws.org/Vol-2961/paper_3.pdf
BibTeX: Download