Publications

2022

• 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 fur Informatik GmbH, Dagstuhl Publishing, 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
• Explaining Description Logic Entailments in Practice with Evee and EvonneAlrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P., Méndez, J. & Popovic, A., 31 Jul 2022, The Third Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Comprehensive Management Function Model: Generality and WorkflowSoler Perez Olaya, S. & Wollschlaeger, M., 28 Jul 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, p. 594-599, 6 p., 9976129Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Semi-Automatic Testing of Data-Focused Software Development Kits for Industrie 4.0Miny, T., Heppner, S., Garmaev, I., Kleinert, T., Ristin, M., Venn, H. W. V. D., Otto, B. & 4 others, 28 Jul 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, p. 269-274, 6 p., 9976069Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DNA Pre-Alignment Filter Using Processing Near Racetrack MemoryHameed, F., Khan, A. A., Ollivier, S., Jones, A. K. & Castrillon, J., 22 Jul 2022, In: IEEE computer architecture letters. 21 (2022), 2, p. 53-56, 4 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Hardware/Software Co-design of 2D THz SAR Imaging for FPGA-based Systems-on-ChipKamaleldin, A., Aliagha, E., Batra, A., Wiemeler, M., Kaiser, T. & Göhringer, D., 21 Jul 2022, p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper