In: Proceedings of ICAART 2024. International Conference on Agents and Artificial Intelligence (ICAART-2024), February 24-26, Rome, Italy, SCITEPRESS, 2024.
In: Proceedings of ICAART 2024. International Conference on Agents and Artificial Intelligence (ICAART-2024), February 24-26, Rome, Italy, SCITEPRESS, 2024.
In: Semantic Reasoning Evaluation Challenge, 21st International Semantic Web Conference. International Semantic Web Conference (ISWC-2022), Semantic Reasoning Evaluation Challenge, located at 21st International Semantic Web Conference, October 23-27, Hangzhou, China, CEUR Workshop Proceedings, Vol. 3337, CEUR Workshop Proceedings, 10/2022.
In: Proceedings of the IEEE International Geoscience and Remote Sensing Symposium 2024. IEEE International Geoscience and Remote Sensing Symposium (IGARSS-2024), July 7-12, Athens, Greece, IEEE GRSS, IEEE, 2024.
In: 36. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2024), February 25-27, Darmstadt, Germany, 2024.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Landau, Germany, 2024.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.