Publications

2022

• Brief Summary of Existing Research on Students’ Conceptions of AIMarx, E., Leonhardt, T. & Bergner, N., Oct 2022, p. 1-2, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Reflections on “Rock, Paper, Scissors”: Communicating Science to the Public through a DemonstratorBobbe, T., Winger, H., Podlubne, A., Wieczorek, F., Lüneburg, L., Kharabet, I., Wagner, J. & 1 others, 29 Sep 2022, HRI 2022 - Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction. Vol. 2022. p. 1208-1209, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Error-Tolerant Reasoning in the Description Logic ℰℒ Based on Optimal RepairsBaader, F., Kriegel, F. & Nuradiansyah, A., 26 Sep 2022, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Proceedings: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Governatori, G. & Turhan, A. (eds.). Springer, Berlin [u. a.], p. 227–243, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• RATLS: Integrating Transport Layer Security with Remote AttestationWalther, R. H., Weinhold, C. & Roitzsch, M., 24 Sep 2022, Applied Cryptography and Network Security Workshops: ACNS 2022 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Rome, Italy, June 20–23, 2022, Proceedings. Zhou, J., Chattopadhyay, S., Adepu, S., Alcaraz, C., Batina, L., Casalicchio, E., Jin, C., Lin, J., Losiouk, E., Majumdar, S., Meng, W., Picek, S., Zhauniarovich, Y., Shao, J., Su, C., Wang, C. & Zonouz, S. (eds.). 1 ed., Springer, Cham, p. 361–379, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Fixed-Premise Repairs of ℰℒ TBoxesKriegel, F., 19 Sep 2022, Proceedings of the 45th German Conference on Artificial Intelligence (KI 2022), Virtual in Trier, Germany, September 19-23, 2022: Advances in Artificial Intelligence - 45th German Conference on AI, Proceedings. Bergmann, R., Malburg, L., Rodermund, S. C. & Timm, I. J. (eds.). Springer, Berlin [u. a.], p. 115-130, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Fixed-Premise Repairs of ℰℒ TBoxesKriegel, F., 19 Sep 2022Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Optimal Fixed-Premise Repairs of ℰℒ TBoxes (Extended Version)Kriegel, F., 19 Sep 2022Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Design centering enables robustness screening of pattern formation modelsSolomatina, A., Cezanne, A., Kalaidzidis, Y., Zerial, M. & Sbalzarini, I. F., 16 Sep 2022, In: Bioinformatics. 38, 2 S, p. II134-II140Electronic (full-text) versionResearch output: Contribution to journal > Research article
• DECO: Optimizing Software-based Soft-Error Detector ConfigurationsThunig, R., Lenz, M., Ulbrich, P. & Schirmeier, H., 15 Sep 2022, Proceedings - 2022 18th European Dependable Computing Conference, EDCC 2022. IEEE Xplore, p. 73-80, 8 p., 9933206Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Load Balancing Potentials in 5G NR FR2Rezaei, A., Schulz, P., Awada, A., Viering, I. & Fettweis, G., 15 Sep 2022, 2022 IEEE 33rd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE, p. 1393-1399, 7 p., 9977585Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Using Matchboxes to Teach the Basics of Machine Learning: an Analysis of (Possible) MisconceptionsMarx, E., Leonhardt, T., Baberowski, D. & Bergner, N., 8 Sep 2022, Proceedings of the Second Teaching Machine Learning and Artificial Intelligence Workshop. PMLR, p. 25-29, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Operational causality – Necessarily sufficient and sufficiently necessaryBaier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sep 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, Berlin [u. a.], p. 27–45, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Stretching Projection - Projection-Based Visual Control and Support for Sports ExercisesFranke, I. S., Elze, A. & McGinity, M., 4 Sep 2022, MuC '22: Proceedings of Mensch und Computer 2022. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (eds.). Association for Computing Machinery, p. 452-456, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ADF - BDD : An ADF Solver Based on Binary Decision DiagramsEllmauthaler, S., Gaggl, S. A., Rusovac, D. & Wallner, J. P., 1 Sep 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Amsterdam [u. a.], Vol. 220146. p. 355–356, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Blocks: challenging SIMDs and VLIWs with a reconfigurable architectureWijtvliet, M., Kumar, A. & Corporaal, H., 1 Sep 2022, In: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 9, p. 2915 - 2928, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Coupling and Decoupling in IEC 61499 and IEC 61131-3 ApplicationsHomay, A., de Sousa, M., Zoitl, A. & Wollschlaeger, M., 1 Sep 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy-Efficient Instruction Delivery in Embedded Systems with Domain Wall MemoryMultanen, J. I., Hepola, K., Khan, A. A., Castrillon, J. & Jaaskelainen, P., 1 Sep 2022, In: IEEE Transactions on Computers. 71, 9, p. 2010-2021, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Holistic Monitoring for heterogeneous industrial Time Sensitive NetworksSoler Perez Olaya, S., Braunisch, N., Wollschlaeger, M., Zemitis, J., Chams Zahrouni, G., Hendel, M. & Blöcher, I., 1 Sep 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation SystemsHomay, A., Wollschlaeger, M., de Sousa, M. & kepler, J., 1 Sep 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution SpacesDachselt, R., Gaggl, S. A., Krötzsch, M., Méndez, J., Rusovac, D. & Yang, M., 1 Sep 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Amsterdam [u. a.], Vol. 220146. p. 116–127, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent SpecificationsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Purser, D. & 2 others, 1 Sep 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Presburger Büchi Tree Automata with Applications to Logics with Expressive CountingBednarczyk, B. & Fiuk, O., 1 Sep 2022, Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Proceedings: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings. Ciabattoni, A., Pimentel, E. & de Queiroz, R. J. G. B. (eds.).p. 295-308, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Semantic Characterizations of AGM Revision for Tarskian LogicsFalakh, F. M., Rudolph, S. & Sauerwald, K., 1 Sep 2022, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Proceedings: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Governatori, G. & Turhan, A. (eds.).p. 95-110, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tuple-Generating Dependencies Capture Complex Values (extended abstract)Marx, M. & Krötzsch, M., 1 Sep 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry. Alviano, M. & Pieris, A. (eds.). CEUR-WS.org, p. 97–103Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Accessible Mobile Map Application and Interaction for People with Visual or Mobility ImpairmentsRottmann, S., Loitsch, C. & Weber, G., Sep 2022, Proceedings of Mensch und Computer 2022: Facing Realities, MuC 2022 - Proceedings. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (eds.).p. 119-127, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution