Publikationen

2022

• CPrAA – A Checker for Probabilistic Abstract ArgumentationKäfer, N., Sept. 2022, Computational Models of Argument: Proceedings of COMMA 2022. Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (Hrsg.). IOS Press, Band 353. S. 359-360, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Efficient Pareto Optimality-based Task Scheduling for Vehicular Edge Computingda Costa, J. B. D., de Souza, A. M., Rosário, D., Sommer, C. & Aparecido Villas, L., Sept. 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom: IEEE, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FLEXE: Investigating Federated Learning in Connected Autonomous Vehicle SimulationsLobato, W., da Costa, J. B. D., de Souza, A. M., Rosário, D., Sommer, C. & Aparecido Villas, L., Sept. 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automataJohn, T., Jantsch, S., Baier, C. & Klüppelholz, S., Sept. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 385–403, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Hamiltonian Monte Carlo with strict convergence criteria reduces run-to-run variability in forensic DNA mixture deconvolutionSusik, M., Schönborn, H. & Sbalzarini, I. F., Sept. 2022, in: Forensic science international : official journal of the International Society for Forensic Genetics. 60, 9 S., 102744Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Virtualization of Embedded Reconfigurable SystemsWulf, C. & Göhringer, D., 30 Aug. 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, S. 460-461, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PANACA: An open-source configurable network-on-chip simulation platformHaase, J., Groß, A., Feichter, M. & Göhringer, D., 26 Aug. 2022, 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI). S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Informatics Education in German Primary School CurriculaNenner, C. & Bergner, N., 25 Aug. 2022, Informatics in Schools. A Step Beyond Digital Education - 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Proceedings. Bollin, A. & Futschek, G. (Hrsg.). Cham: Springer, Berlin [u. a.], S. 3-14, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Haptic Force Feedback in Training for minimally invasive Surgery – Entwicklung und Validierung eines Laparoskopie-Simulators mit haptischem Vibrationsfeedback zum Training der adäquaten Kraftausübung.Bechtolsheim, F., Oehme, F., Bielert, F., Schmidt, S., Schneider, A., Bodenstedt, S., Speidel, S. & 4 weitere, 19 Aug. 2022, in: Zeitschrift fur GastroenterologiePublikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten
• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 7 Aug. 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7-10, 2022. CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (Slides)Baader, F., Kriegel, F., Koopmann, P. & Nuradiansyah, A., 7 Aug. 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Deciding Hyperproperties Combined with Functional SpecificationsBeutner, R., Carral, D., Finkbeiner, B., Hofmann, J. & Krötzsch, M., 2 Aug. 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Baier, C. & Fisman, D. (Hrsg.). ACM Press, S. 56:1–56:13, 3533369Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Accelerating Parallel Operation for Compacting Selected Elements on GPUsFett, J., Kober, U., Schwarz, C., Habich, D. & Lehner, W., 1 Aug. 2022, Euro-Par 2022: Parallel Processing - 28th International Conference on Parallel and Distributed Computing, Proceedings. Cano, J. & Trinder, P. (Hrsg.). Springer Science and Business Media B.V., S. 186-200, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• AGM Revision in Description Logics under Fixed-Domain SemanticsFalakh, F. M. & Rudolph, S., 1 Aug. 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (Hrsg.). CEUR Workshop Proceedings, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Comonadic Semantics for Description Logics GamesBednarczyk, B. & Urbanczyk, M., 1 Aug. 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (Hrsg.).12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards a Model Theory of Ordered Logics: Expressivity and InterpolationBednarczyk, B. & Jaakkola, R., 1 Aug. 2022, Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Szeider, S., Ganian, R. & Silva, A. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, S. 15:1-15:14, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional SymbolsBaader, F. & Kapur, D., Aug. 2022, in: Journal of automated reasoning. 66, 3, S. 301-329, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Magnifier: A Compositional Analysis Approach for Autonomous Traffic ControlBagheri, M., Sirjani, M., Khamespanah, E., Baier, C. & Movaghar, A., Aug. 2022, in: IEEE Transactions on Software Engineering. 48, 8, S. 2732-2747, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reconfigurable field effect transistors: A technology enablers perspectiveMikolajick, T., Galderisi, G., Rai, S., Simon, M., Böckle, R., Sistani, M., Cakirlar, C. & 6 weitere, Aug. 2022, in: Solid-state electronics. 2022, 194, 108381Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
• Understanding multi-modal brain network data: An immersive 3D visualization approachPester, B., Russig, B., Winke, O., Ligges, C., Dachselt, R. & Gumhold, S., Aug. 2022, in: Computers Graphics. 106, S. 88-97, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Using Model Theory to Find Decidable and Tractable Description Logics with Concrete DomainsBaader, F. & Rydval, J., Aug. 2022, in: Journal of automated reasoning. 66, 3, S. 357-407, 51 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLsBaader, F. & Kriegel, F., 31 Juli 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 31 - August 5, 2022. S. 22-32, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version)Baader, F. & Kriegel, F., 31 Juli 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Slides)Baader, F. & Kriegel, F., 31 Juli 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Adaptive Industrial IoT gateway using kafka streaming platformBraunisch, N., Schlesinger, S. & Lehmann, R., 28 Juli 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, S. 600-605, 6 S., 9976153Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband