Publications

Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.

3542 Entries

2022

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
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
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
Secure communication protocol for network-on-chip with authenticated encryption and recovery mechanismHaase, J., Jaster, S., Franz, E. & Göhringer, D., 14 Jul 2022, 2022 IEEE 33rd International Conference on Application-specific Systems, Architectures and Processors (ASAP). Pericas, M., Pnevmatikatos, D. N., Trancoso, P. P. M. & Sourdis, I. (eds.).p. 156-160, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
Digital Solutions for Inclusive Mobility: Solutions and Accessible Maps for Indoor and Outdoor Mobility: Introduction to the Special Thematic SessionLoitsch, C., Müller, K., Weber, G., Petrie, H. & Stiefelhagen, R., 13 Jul 2022, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings. Miesenberger, K., Kouroupetroglou, G., Mavrou, K., Manduchi, R., Covarrubias Rodriguez, M. & Penáz, P. (eds.).p. 95-101, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
Robotic and Virtual Reality Technologies for Children with Disabilities and Older AdultsSamaddar, S., Desideri, L., Encarnação, P., Gollasch, D., Petrie, H. & Weber, G., 13 Jul 2022, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings. Miesenberger, K., Kouroupetroglou, G., Mavrou, K., Manduchi, R., Covarrubias Rodriguez, M. & Penáz, P. (eds.).p. 203-210, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
Towards an Open Source Fully Modular Multi Unmanned Aerial Vehicle Simulation FrameworkHardes, T., Logan, D., Pritom, T. H. & Sommer, C., 10 Jul 2022, Proceedings - 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2022. Bologna, Italy: IEEE, p. 284-289, 6 p., 9951363Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
CABAS: Real-Time for the MassesSmejkal, T., Bierbaum, J., von Oltersdorff-Kalettka, M. & Roitzsch, M., 5 Jul 2022, The 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications. p. 21–27, 7 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
Causality in configurable software systemsDubslaff, C., Weis, K., Baier, C. & Apel, S., 5 Jul 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, p. 325-337, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

Publications

2022

About this page

Finden!