Publications

2022

• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief FusionKarge, J. & Rudolph, S., 2022, 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022. Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (eds.).p. 205-214, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards A General SIMD Concurrent Approach to Accelerating Integer Compression Algorithms.Hildebrandt, J., Habich, D. & Lehner, W., 2022, EDBT. p. 2:414-2:418, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Implementing Collaborative Learning in Remote Teaching Scenarios.Kubica, T., Braun, I. & Schill, A., 2022, p. 245-260, 16 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards Learning to Play Piano with Dexterous Hands and Touch.Xu, H., Luo, Y., Wang, S., Darrell, T. & Calandra, R., 2022, 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Kyoto, Japan. p. 10410-10416, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tractable Combinations of Temporal CSPs.Bodirsky, M., Greiner, J. & Rydval, J., 2022, In: Logical Methods in Computer Science. 18, 2, 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). 13416 ed., Springer, Vol. Lecture Notes in Computer Science. p. 89-102, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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

• Inference Attacks on Physical Layer Channel State InformationWalther, P. & Strufe, T., 29 Dec 2021, 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). IEEE TechRxiv, p. 935-942, 8 p., 9343072Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Inulin Clearance During Ex vivo Normothermic Machine Perfusion as a Marker of Renal FunctionMarkgraf, W., Mühle, R., Lilienthal, J., Kromnik, S., Thiele, C., Malberg, H., Janssen, M. & 1 others, 22 Dec 2021, In:  ASAIO journal : official journal of the American Society for Artificial Internal Organs. 68, 9, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Data Science Meets High-Tech Manufacturing – The BTW 2021 Data Science ChallengeWoltmann, L., Volk, P., Dinzinger, M., Gräf, L., Strasser, S., Schildgen, J., Hartmann, C. & 1 others, 21 Dec 2021, In: Datenbank-Spektrum : Zeitschrift für Datenbanktechnologie und Information RetrievalElectronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, Proceedings of the 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, Vol. 213. 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