Publications

Tobias Schüler, Stephan Mennicke, und Malte Lochau. Abstract domains for database manipulating processes. 2023. [PUMA: Abstract database domains manipulating processes]

Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, und Mei Yang. NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, und Hiroyuki Kido (Hrsg.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):116–127, IOS Press, Amsterdam u. a., Netherlands, 01.09.2022. [PUMA: topic_knowledge FIS_scads abstract argumentation, exploration, solution space visualization]

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, und Johannes P. Wallner. ADF - BDD : An ADF Solver Based on Binary Decision Diagrams. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, und Hiroyuki Kido (Hrsg.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):355–356, IOS Press, Amsterdam u. a., Netherlands, 01.09.2022. [PUMA: topic_knowledge FIS_scads abstract binary decision diagrams, dialectical frameworks, rust-lang]