Publikationen

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., S. 649-654, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, S. 89-102, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Gesellschaft fur Informatik (GI), S. 249-250, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 54-60, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

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 weitere, 12 Dez. 2021, in: Software and Systems Modeling. 21, 2, S. 755-804, 50 S., 2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Multi-objective Parameter Tuning with Dynamic Compositional Surrogate ModelsPukhkaiev, D., Husak, O., Götz, S. & Aßmann, U., 9 Dez. 2021, S. 333-350, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State MachinesDubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dez. 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. (Hrsg.). Springer, Cham, S. 332–350, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Dez. 2021, in: DAC: Design Automation Conference. 2021, S. 1111-1116, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Transparent Forwarders: An Unnoticed Component of the Open DNS InfrastructureNawrocki, M., Koch, M., Schmidt, T. C. & Wählisch, M., 2 Dez. 2021, CoNEXT 2021 - Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, Inc, S. 454-462, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Estimation of unordered core size using a robustness measure for topological defects in discretized orientation and vector fieldsHoffmann, K. B. & Sbalzarini, I. F., 1 Dez. 2021, in: Proceedings in Applied Mathematics and Mechanics: PAMM. 21, 1, e202100001Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Mobile Data VisualizationLee, B., Dachselt, R., Isenberg, P. & Choe, E. K., 1 Dez. 2021, New York: CRC Press, 346 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
• On Classical Decidable Logics extended with Percentage Quantifiers and ArithmeticsBednarczyk, B., Orłowska, M., Pacanowska, A. & Tan, T., 1 Dez. 2021, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021. Bojańczyk, M. & Chekuri, C. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 36Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, Dez. 2021, in: Solid-state electronics. 2021, 186, 108036Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Aufbau informatischer Kompetenzen im Kontext KI bei Lehramtsstudierenden des Faches PolitikBaberowski, D., Leonhardt, T., Damnik, G., Rentsch, S. & Bergner, N., Dez. 2021, 9. Fachtagung Hochschuldidaktik Informatik (HDI) 2021. Desel, J., Opel, S. & Siegeris, J. (Hrsg.).S. 93 - 100Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Kleene and Büchi Theorems for Weighted Forest Languages over M-MonoidsDörband, F., Dez. 2021, in: Information and Computation. 281, 104765Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Linear weighted tree automata with storage and inverse linear tree homomorphismsHerrmann, L., Dez. 2021, in: Information and Computation. 281, 104816Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Weighted parsing for grammar-based language models over multioperator monoidsMörbitz, R. & Vogler, H., Dez. 2021, in: Information and Computation. 281, 104774Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. S. 1-14, 14 S., 9470597Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 17–32, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, 2021Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Poster)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Slides)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• 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, S. 283-291, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband