Publikationen

2022

• Brief Summary of Existing Research on Students’ Conceptions of AIMarx, E., Leonhardt, T. & Bergner, N., Okt. 2022, S. 1-2, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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 weitere, 29 Sept. 2022, HRI 2022 - Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction. Band 2022. S. 1208-1209, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Error-Tolerant Reasoning in the Description Logic ℰℒ Based on Optimal RepairsBaader, F., Kriegel, F. & Nuradiansyah, A., 26 Sept. 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. (Hrsg.). Springer, Berlin [u. a.], S. 227–243, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• RATLS: Integrating Transport Layer Security with Remote AttestationWalther, R. H., Weinhold, C. & Roitzsch, M., 24 Sept. 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. (Hrsg.). 1 Aufl., Springer, Cham, S. 361–379, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimal Fixed-Premise Repairs of ℰℒ TBoxesKriegel, F., 19 Sept. 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. (Hrsg.). Springer, Berlin [u. a.], S. 115-130, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimal Fixed-Premise Repairs of ℰℒ TBoxesKriegel, F., 19 Sept. 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Optimal Fixed-Premise Repairs of ℰℒ TBoxes (Extended Version)Kriegel, F., 19 Sept. 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Design centering enables robustness screening of pattern formation modelsSolomatina, A., Cezanne, A., Kalaidzidis, Y., Zerial, M. & Sbalzarini, I. F., 16 Sept. 2022, in: Bioinformatics. 38, 2 S, S. II134-II140Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• DECO: Optimizing Software-based Soft-Error Detector ConfigurationsThunig, R., Lenz, M., Ulbrich, P. & Schirmeier, H., 15 Sept. 2022, Proceedings - 2022 18th European Dependable Computing Conference, EDCC 2022. IEEE Xplore, S. 73-80, 8 S., 9933206Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Load Balancing Potentials in 5G NR FR2Rezaei, A., Schulz, P., Awada, A., Viering, I. & Fettweis, G., 15 Sept. 2022, 2022 IEEE 33rd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE, S. 1393-1399, 7 S., 9977585Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Using Matchboxes to Teach the Basics of Machine Learning: an Analysis of (Possible) MisconceptionsMarx, E., Leonhardt, T., Baberowski, D. & Bergner, N., 8 Sept. 2022, Proceedings of the Second Teaching Machine Learning and Artificial Intelligence Workshop. PMLR, S. 25-29, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Operational causality – Necessarily sufficient and sufficiently necessaryBaier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sept. 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. (Hrsg.). Springer, Berlin [u. a.], S. 27–45, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Stretching Projection - Projection-Based Visual Control and Support for Sports ExercisesFranke, I. S., Elze, A. & McGinity, M., 4 Sept. 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. (Hrsg.). Association for Computing Machinery, S. 452-456, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ADF - BDD : An ADF Solver Based on Binary Decision DiagramsEllmauthaler, S., Gaggl, S. A., Rusovac, D. & Wallner, J. P., 1 Sept. 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 220146. S. 355–356, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Blocks: challenging SIMDs and VLIWs with a reconfigurable architectureWijtvliet, M., Kumar, A. & Corporaal, H., 1 Sept. 2022, in: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 9, S. 2915 - 2928, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Coupling and Decoupling in IEC 61499 and IEC 61131-3 ApplicationsHomay, A., de Sousa, M., Zoitl, A. & Wollschlaeger, M., 1 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energy-Efficient Instruction Delivery in Embedded Systems with Domain Wall MemoryMultanen, J. I., Hepola, K., Khan, A. A., Castrillon, J. & Jaaskelainen, P., 1 Sept. 2022, in: IEEE Transactions on Computers. 71, 9, S. 2010-2021, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation SystemsHomay, A., Wollschlaeger, M., de Sousa, M. & kepler, J., 1 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Sept. 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 220146. S. 116–127, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 1 Sept. 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Presburger Büchi Tree Automata with Applications to Logics with Expressive CountingBednarczyk, B. & Fiuk, O., 1 Sept. 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. (Hrsg.).S. 295-308, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Semantic Characterizations of AGM Revision for Tarskian LogicsFalakh, F. M., Rudolph, S. & Sauerwald, K., 1 Sept. 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. (Hrsg.).S. 95-110, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tuple-Generating Dependencies Capture Complex Values (extended abstract)Marx, M. & Krötzsch, M., 1 Sept. 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry. Alviano, M. & Pieris, A. (Hrsg.). CEUR-WS.org, S. 97–103Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Accessible Mobile Map Application and Interaction for People with Visual or Mobility ImpairmentsRottmann, S., Loitsch, C. & Weber, G., Sept. 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. (Hrsg.).S. 119-127, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband