2021

• Navigating the ℰℒ Subsumption Hierarchy (Slides)Kriegel, F., 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• 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 Sept. 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. (Hrsg.). CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Repairing ℰℒ TBoxes by Means of Countermodels Obtained by Model TransformationHieke, W., Kriegel, F. & Nuradiansyah, A., 19 Sept. 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. (Hrsg.). CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Repairing ℰℒ TBoxes by Means of Countermodels Obtained by Model Transformation (Slides)Hieke, W., Kriegel, F. & Nuradiansyah, A., 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Application of ICT in the Online Education of Apparel Design and Production within the framework of ICT-TEX projectSaeed, H., Kyosev, Y. K., Atanasova, R., Terziev, A. & Hertleer, C., 18 Sept. 2021, in: E3S Web of Conferences. 327, 9 S., 03006Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Anpassung des COSMO-SAC-dsp-Modells mit Hilfe eines evolutionären Algorithmus für kohlenstoffdioxidhaltige GemischeGrau Turuelo, C., Mickoleit, E., Jäger, A. & Breitkopf, C., 17 Sept. 2021Publikation: Beitrag zu Konferenzen > Poster
• Aufbau- und Verbindungstechnik für flexible, dehnbare und dreidimensionale ElektroniksystemeErnst, D., 17 Sept. 2021, Proceedings of the Konferenz des Fachverbandes für Design, Leiterplatten- und Elektronikfertigung (FED)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Witnessing Subsystems for Probabilistic Systems with Low Tree WidthJantsch, S., Piribauer, J. & Baier, C., 17 Sept. 2021, Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. Ganty, P. & Bresolin, D. (Hrsg.).Band 346. S. 35-51, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband