Publications

2021

• Determinization and Limit-Determinization of Emerson-Lei AutomataJohn, T., Jantsch, S., Baier, C. & Klüppelholz, S., 12 Oct 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, Berlin [u. a.], p. 15–31, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring and slicing volumetric medical data in augmented reality using a spatially-aware mobile deviceLuo, W., Goebel, E., Reipschläger, P., Ellenberg, M. O. & Dachselt, R., 6 Oct 2021, Proceedings - 2021 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2021. p. 334-339, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Framework for Intuitionistic Grammar LogicsLyon, T., 1 Oct 2021, Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, Y. N. (eds.). Springer International Publishing AG, Vol. 13040. p. 495-503, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A review of prefabricated self-sufficient facades with integrated decentralised HVAC and renewable energy generation and storagevan Roosmalen, M., Herrmann, A. & Kumar, A., 1 Oct 2021, In: Energy and buildings. 248, 111107Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Supporting ontology-mediated stream reasoning with model checkingDubslaff, C., Koopmann, P. & Turhan, A., 1 Oct 2021, Proceedings of the 2021 International Stream Reasoning Workshop (SR)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Visualization Authoring Model for Post-WIMP InterfacesSatkowski, M., Luo, W. & Dachselt, R., Oct 2021, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Bendable Color ePaper Displays for Novel Wearable Applications and Mobile VisualizationKlamka, K. & Dachselt, R., Oct 2021, Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, UIST 2021. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 106-108, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless NetworksKhasanov, R., Robledo, J., Menard, C., Goens, A. & Castrillon, J., Oct 2021, In: ACM transactions on embedded computing systems. 20, 5s, 60Electronic (full-text) versionResearch output: Contribution to journal > Research article
• First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal LogicArtale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., Oct 2021, In: Artificial intelligence. 299, 103536Electronic (full-text) versionResearch output: Contribution to journal > Research article
• From LTL to unambiguous Büchi automata via disambiguation of alternating automataJantsch, S., Müller, D., Baier, C. & Klein, J., Oct 2021, In: Formal Methods in System Design. 58, 1-2, p. 42–82, 41 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Power-Aware Runtime Scheduler for Mixed-Criticality Systems on Multicore Platform.Ranjbar, B., Nguyen, T. D. A., Ejlali, A. & Kumar, A., Oct 2021, In:  IEEE transactions on computer-aided design of integrated circuits and systems : CAD. 40, 10, p. 2009-2023, 15 p., 10Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards In-situ Authoring of AR Visualizations with Mobile DevicesSatkowski, M., Luo, W. & Dachselt, R., Oct 2021, p. 324-325, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Emergent design challenges for embedded systems and paths forward: mixed-criticality, energy, reliability and security perspectives.Sahoo, S. S., Kumar, A., Decky, M., Wong, S. C. B., Merrett, G. V., Zhao, Y., Wang, J. & 2 others, 30 Sep 2021, Proceedings - 2021 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2021. p. 1-10, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A C++ expression system for partial differential equations enables generic simulations of biological hydrodynamicsSingh, A., Incardona, P. & Sbalzarini, I. F., 23 Sep 2021, In: The European physical journal E, Soft matter. 44, 9, 117Electronic (full-text) versionResearch output: Contribution to journal > Research article
• AI-Based Transport Mode Recognition for Transportation Planning Utilizing Smartphone Sensor Data From Crowdsensing CampaignsGrubitzsch, P., Werner, E., Matusek, D., Stojanov, V. & Hähnel, M., 19 Sep 2021, 2021 IEEE International Intelligent Transportation Systems Conference, ITSC 2021. p. 1306-1313, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Navigating the ℰℒ Subsumption HierarchyKriegel, F., 19 Sep 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (eds.). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Navigating the ℰℒ Subsumption Hierarchy (Slides)Kriegel, F., 19 Sep 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted ℰℒ TBoxBaader, F., Koopmann, P., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 19 Sep 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (eds.). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted ℰℒ TBox (Extended Version)Baader, F., Koopmann, P., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 19 Sep 2021Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted ℰℒ TBox (Slides)Baader, F., Koopmann, P., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 19 Sep 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Repairing ℰℒ TBoxes by Means of Countermodels Obtained by Model TransformationHieke, W., Kriegel, F. & Nuradiansyah, A., 19 Sep 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (eds.). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Repairing ℰℒ TBoxes by Means of Countermodels Obtained by Model Transformation (Slides)Hieke, W., Kriegel, F. & Nuradiansyah, A., 19 Sep 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Witnessing Subsystems for Probabilistic Systems with Low Tree WidthJantsch, S., Piribauer, J. & Baier, C., 17 Sep 2021, Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. Ganty, P. & Bresolin, D. (eds.).Vol. 346. p. 35-51, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CGRA-EAM - Rapid Energy and Area Estimation for Coarse-grained Reconfigurable Architectures.Wijtvliet, M., Corporaal, H. & Kumar, A., 14 Sep 2021, In:  ACM transactions on reconfigurable technology and Systems : TRETS. 14, 4, p. 19:1-19:28, 28 p., 19Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Function call gateway for operational aspects in Industrie 4.0Braunisch, N., Schlesinger, S. & Lehmann, R., 10 Sep 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE, p. 1-8, 8 p., 9613179Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution