Publikationen

2024

• Provable Determinism for Software in Cyber-Physical SystemsRossel, M., Lin, S. J., Lohstroh, M., Castrillon, J. & Goens, A., 2024, Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Revised Selected Papers. Reynolds, A. & Tasiran, S. (Hrsg.). Springer Science and Business Media B.V., S. 85-107, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning ScenariosSchrader, T. P., Lange, L., Razniewski, S. & Friedrich, A., 2024, S. 2634-2652, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Reasoning in SHIQ with Axiom- and Concept-Level Standpoint ModalitiesÁlvarez, L. G. & Rudolph, S., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Ortiz, M. & Pagnucco, M. (Hrsg.). IJCAI Organization, S. 383–393, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• REDCAP: Reconfigurable RFET-Based Circuits Against Power Side-Channel AttacksKavand, N., Darjani, A., Galderisi, G., Trommer, J., Mikolajick, T. & Kumar, A., 2024, 2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), S. 1692-1697Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Scaling Logic Area with Multi-Tier Standard CellsFreye, F., Lanius, C., Shadmehri, H. H., Göhringer, D. & Gemmeke, T., 2024, in: IEEE journal on exploratory solid-state computational devices and circuits. 10, S. 82-88, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Selma: A Semantic Local Code Search PlatformReusch, A., Lopes, G. C., Pertsch, W., Ueck, H., Gonsior, J. & Lehner, W., 2024, Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Proceedings. Goharian, N., Tonellotto, N., He, Y., Lipani, A., McDonald, G., Macdonald, C. & Ounis, I. (Hrsg.). Springer Science and Business Media B.V., S. 218-222, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simultanious Improvement of Resolution and Accuracy of 3D Mapping with Flash Lidar through AI-based Data Fusion with 2D Camera ImagesLiesch, A., Suwinski, P., Chernykh, V. & Janschek, K., 2024, Deutscher Luft- und Raumfahrtkongress 2024Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Smoothing Disruption Across the Stack: Tales of Memory, Heterogeneity, & CompilersNiemier, M., Enciso, Z., Sharifi, M., Hu, X. S., O'Connor, I., Graening, A., Sharma, R. & 8 weitere, 2024, 2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sonic Structures: 4E Visual Sound in Multi-User Mixed RealityChandran, K., Engeln, L., Zeidler, D. & McGinity, M., 2024, S. 419 - 423Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Special issue on Wikidata construction, evaluation and applicationsKaffee, L., Razniewski, S. & Vougiouklis, P., 2024, in: Semantic web. 15, 6, S. 2141-2144, 4 S., 6Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• Spielerisch leichter Einstieg ins StudiumSuwinski, P. & Knöfel, D., 2024, Konzepte für die digital gestützte Hochschullehre: Ideen, Good Practice und Anregungen aus dem Projekt 'Digitalisierung der Hochschulbildung in Sachsen'. Ergebnisse von Digital Fellows, Digital Change Agents und Teilnehmenden an Digital Workspaces. S. 84-85, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Steering the PostgreSQL query optimizer using hinting: State-Of-The-Art and open challengesThiessat, J., Habich, D. & Lehner, W., 2024, GvDB 2024 Grundlagen von Datenbanken 2024: Proceedings of the 35th GI-Workshop Grundlagen von Datenbanken. Störl, U. (Hrsg.).S. 51-57, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Symmetric Equilibrium Learning of VAEsFlach, B., Schlesinger, D. & Shekhovtsov, A., 2024, Proceedings of The 27th International Conference on Artificial Intelligence and Statistics. Band 238. S. 3214-3222, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TAFT: A Transformer-Based Approach for Format TransformationSchönwälder, E., Gonsior, J., Reusch, A., Hartmann, C. & Lehner, W., 2024, DS Late Breaking Contributions 2024: Proceedings of the Discovery Science Late Breaking Contributions 2024 (DS-LB 2024) co-located with 27th International Conference Discovery Science 2024 (DS 2024). Naretto, F. & Pellungrini, R. (Hrsg.).Band 3928. 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Taming Dilation in Imprecise PoolingKarge, J., 2024, PRIMA 2024: Principles and Practice of Multi-Agent Systems: 25th International Conference, Kyoto, Japan, November 18–24, 2024, Proceedings. Arisaka, R., Ito, T., Sanchez-Anguix, V., Stein, S., Aydoğan, R. & van der Torre, L. (Hrsg.). Springer, Cham, S. 428–443, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Template Decision Diagrams for Meta Control and ExplainabilityDubslaff, C., Klös, V. & Päßler, J., 2024, Explainable Artificial Intelligence: Second World Conference, xAI 2024, Proceedings. Longo, L., Lapuschkin, S. & Seifert, C. (Hrsg.). Springer Science and Business Media B.V., S. 219-242, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Effects of Hallucinations in Synthetic Training Data for Relation ExtractionRogulsky, S., Popovic, N. & Färber, M., 2024, KBC-LM-LM-KBC 2024 - Joint proceedings of the KBC-LM workshop and the LM-KBC challenge 2024: Joint proceedings of the 2nd workshop on Knowledge Base Construction from Pre-Trained Language Models (KBC-LM 2024) and the 3rd challenge on Language Models for Knowledge Base Construction (LM-KBC 2024). 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential RulesOstropolski-Nalewaja, P. & Rudolph, S., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Ortiz, M. & Pagnucco, M. (Hrsg.). IJCAI Organization, S. 574–584, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TICAL: Trusted and Integrity-protected Compilation of AppLicationsKrahn, R., Paul, N. K., Gregor, F., Le Quoc, D., Monteiro Brito, A. E., Martin, A. & Fetzer, C., 2024, S. 25-32, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Timing enclaves for performance in Lingua FrancaRobledo, J., Menard, C., Jellum, E., Lee, E. A. & Castrillon, J., 2024, Forum on Specification and Design Languages, FDL 2024. IEEE Computer SocietyElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards a Formal Account on Negative LatencyDubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (Hrsg.). Springer, Cham, S. 188–214, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Propositional KLM-Style Defeasible Standpoint LogicsLeisegang, N., Meyer, T. & Rudolph, S., 2024, Artificial Intelligence Research: 5th Southern African Conference, SACAIR 2024, Bloemfontein, South Africa, December 2–6, 2024, Proceedings. Gerber, A., Maritz, J. & Pillay, A. W. (Hrsg.). Springer, Cham, S. 459–475, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Trusted Computing Architectures for IoT DevicesBraeken, A., da Silva, B., Segers, L., Knödtel, J., Reichenbach, M., Wulf, C., Pertuz Mendez, S. A. & 4 weitere, 2024, Applied Reconfigurable Computing. Architectures, Tools, and Applications - 20th International Symposium, ARC 2024, Proceedings: 20th International Symposium, ARC 2024 Aveiro, Portugal, March 20–22, 2024 Proceedings. Skliarova, I., Jiménez, P. B., Véstias, M. & Diniz, P. C. (Hrsg.). Springer, Cham, S. 241-254, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Unification in ELH_R+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)Baader, F. & Gil, O. F., 2024, Proceedings of the 37th International Workshop on Description Logics (DL'24). Jung, J. C., Giordano, L. & Ozaki, A. (Hrsg.). Bergen, Norway: CEUR-WS.org, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Unlocking Opportunities: Empowering Autistic Adults in Vocational Training and Employment Through Assistive TechnologiesGollasch, D., Engel, C., Branig, M., Schmalfuß-Schwarz, J. & Weber, G., 2024, Universal Access in Human-Computer Interaction - 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Proceedings: 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings. Antona, M. & Stephanidis, C. (Hrsg.).S. 32–46, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband