Publications

2022

• CPrAA – A Checker for Probabilistic Abstract ArgumentationKäfer, N., Sep 2022, Computational Models of Argument: Proceedings of COMMA 2022. Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Vol. 353. p. 359-360, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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., Sep 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom: IEEE, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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., Sep 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automataJohn, T., Jantsch, S., Baier, C. & Klüppelholz, S., Sep 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 385–403, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Hamiltonian Monte Carlo with strict convergence criteria reduces run-to-run variability in forensic DNA mixture deconvolutionSusik, M., Schönborn, H. & Sbalzarini, I. F., Sep 2022, In: Forensic science international : official journal of the International Society for Forensic Genetics. 60, 9 p., 102744Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 460-461, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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). p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Cham: Springer, Berlin [u. a.], p. 3-14, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 19 Aug 2022, In: Zeitschrift fur GastroenterologieResearch output: Contribution to journal > Letter
• 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.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 2022Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• 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. (eds.). ACM Press, p. 56:1–56:13, 3533369Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer Science and Business Media B.V., p. 186-200, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). CEUR Workshop Proceedings, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, p. 15:1-15:14, 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 301-329, 29 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 2732-2747, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reconfigurable field effect transistors: A technology enablers perspectiveMikolajick, T., Galderisi, G., Rai, S., Simon, M., Böckle, R., Sistani, M., Cakirlar, C. & 6 others, Aug 2022, In: Solid-state electronics. 2022, 194, 108381Electronic (full-text) versionResearch output: Contribution to journal > Review article
• 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, p. 88-97, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 357-407, 51 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLsBaader, F. & Kriegel, F., 31 Jul 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 31 - August 5, 2022. p. 22-32, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version)Baader, F. & Kriegel, F., 31 Jul 2022Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Slides)Baader, F. & Kriegel, F., 31 Jul 2022Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Adaptive Industrial IoT gateway using kafka streaming platformBraunisch, N., Schlesinger, S. & Lehmann, R., 28 Jul 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, p. 600-605, 6 p., 9976153Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution