Publications

2022

• Transparency for Bystanders in IoT regarding audiovisual RecordingsEscher, S., Etzrodt, K., Weller, B., Kopsell, S. & Strufe, T., 2022, 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops). Pisa: Institute of Electrical and Electronics Engineers Inc., p. 649-654, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up StrategyBöhl, E. & Gaggl, S. A., 2022, Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Springer, p. 89-102, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Uniform and Modular Sequent Systems for Description LogicsLyon, T. & Karge, J., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (eds.).13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Unterstütze den Lernprozess: Externe Steuerung des Ablaufs einer VR-LernanwendungBaberowski, D., Leonhardt, T., Hamann, A., Bergner, N. & Ehlenz, M., 2022, DELFI 2022 - Die 20. Fachtagung Bildungstechnologien der Gesellschaft fur Informatik e.V.. Henning, P. A., Striewe, M. & Wolfel, M. (eds.). Gesellschaft fur Informatik (GI), p. 249-250, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• User-aware Explications of Ontology Consequences: Levelling TechnicalityPeñaloza, R. & Turhan, A., 2022, FCR 2022 Formal and Cognitive Reasoning 2022: Proceedings of the 8th Workshop on Formal and Cognitive Reasoning. Beierle, C., Ragni, M., Sauerwald, K., Stolzenburg, F. & Thimm, M. (eds.).Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Virtualization of Reconfigurable Mixed-Criticality SystemsWulf, C., Charaf, N. & Göhringer, D., 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 54-60, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2021

• A cross-technology benchmark for incremental graph queries.Hinkel, G., García-Domínguez, A., Schöne, R., Boronat, A., Tisi, M., Le Calvar, T., Jouault, F. & 5 others, 12 Dec 2021, In: Software and Systems Modeling. 21, 2, p. 755-804, 50 p., 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Multi-objective Parameter Tuning with Dynamic Compositional Surrogate ModelsPukhkaiev, D., Husak, O., Götz, S. & Aßmann, U., 9 Dec 2021, p. 333-350, 18 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State MachinesDubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dec 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (eds.). Springer, Cham, p. 332–350, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• BLOwing Trees to the Ground: Layout Optimization of Decision Trees on Racetrack MemoryHakert, C., Khan, A. A., Chen, K. H., Hameed, F., Castrillon, J. & Chen, J. J., 5 Dec 2021, In: DAC: Design Automation Conference. 2021, p. 1111-1116, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Transparent Forwarders: An Unnoticed Component of the Open DNS InfrastructureNawrocki, M., Koch, M., Schmidt, T. C. & Wählisch, M., 2 Dec 2021, CoNEXT 2021 - Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, Inc, p. 454-462, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Estimation of unordered core size using a robustness measure for topological defects in discretized orientation and vector fieldsHoffmann, K. B. & Sbalzarini, I. F., 1 Dec 2021, In: Proceedings in Applied Mathematics and Mechanics: PAMM. 21, 1, e202100001Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Mobile Data VisualizationLee, B., Dachselt, R., Isenberg, P. & Choe, E. K., 1 Dec 2021, New York: CRC Press, 346 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• On Classical Decidable Logics extended with Percentage Quantifiers and ArithmeticsBednarczyk, B., Orłowska, M., Pacanowska, A. & Tan, T., 1 Dec 2021, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021. Bojańczyk, M. & Chekuri, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 36Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 20 Years of reconfigurable field-effect transistors: From concepts to future applicationsMikolajick, T., Galderisi, G., Simon, M., Rai, S., Kumar, A., Heinzig, A., Weber, W. M. & 1 others, Dec 2021, In: Solid-state electronics. 2021, 186, 108036Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Aufbau informatischer Kompetenzen im Kontext KI bei Lehramtsstudierenden des Faches PolitikBaberowski, D., Leonhardt, T., Damnik, G., Rentsch, S. & Bergner, N., Dec 2021, 9. Fachtagung Hochschuldidaktik Informatik (HDI) 2021. Desel, J., Opel, S. & Siegeris, J. (eds.).p. 93 - 100Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Kleene and Büchi Theorems for Weighted Forest Languages over M-MonoidsDörband, F., Dec 2021, In: Information and Computation. 281, 104765Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Linear weighted tree automata with storage and inverse linear tree homomorphismsHerrmann, L., Dec 2021, In: Information and Computation. 281, 104816Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Weighted parsing for grammar-based language models over multioperator monoidsMörbitz, R. & Vogler, H., Dec 2021, In: Information and Computation. 281, 104774Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Responsibility and verification: importance value in temporal logicsMascle, C., Baier, C., Funke, F., Jantsch, S. & Kiefer, S., 24 Nov 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. p. 1-14, 14 p., 9470597Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Plausible deniability for anonymous communicationKuhn, C., Noppel, M., Wressnegger, C. & Strufe, T., 15 Nov 2021, WPES '21: Proceedings of the 20th Workshop on Workshop on Privacy in the Electronic Society. p. 17–32, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Extended Abstract)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021, Recent Published Research (RPR) track of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Virtual Event, November 3-12, 2021Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Poster)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Slides)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• QUICsand: Quantifying QUIC Reconnaissance Scans and DoS Flooding EventsNawrocki, M., Hiesgen, R., Schmidt, T. C. & Wählisch, M., 2 Nov 2021, IMC '21: Proceedings of the 21st ACM Internet Measurement Conference. Association for Computing Machinery, p. 283-291, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution