Publications

2022

• „Die Dresdner Methode“ Ein Baukasten zur ganzheitlichen Bewertung aktiver Sicherheitsund automatisierter FahrfunktionenMai, M., Bäumler, M., Lehmann, M., Siebke, C., Blenz, K., Prokop, G., Bönninger, J. & 1 others, 2022, In: VDI Berichte. 2022, 2387, p. 419-434, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Dynamic Clock Reconfiguration for the Constrained IoT and its Application to Energy-efficient NetworkingRottleuthner, M., Schmidt, T. C. & Wählisch, M., 2022, EWSN '22: Proceedings of the 2022 International Conference on Embedded Wireless Systems and Networks. Ferscha, A., Chan, M. C., Kanhere, S. & Venkatesha Prasad, R. R. (eds.). Association for Computing Machinery (ACM), New York, p. 168-179Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient TBox Reasoning with Value Restrictions Using the FL₀wer Reasoner (Extended Abstract)Baader, F., Koopmann, P., Michel, F., Turhan, A. & Zarrieß, B., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (eds.). CEUR-WS.org, Vol. 3263. 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Embeddings of Task Mappings to Multicore SystemsGoens, A. & Castrillon, J., 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. Springer, Berlin [u. a.], p. 161-176, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• END-TRUE: Emerging Nanotechnology-Based Double-Throughput True Random Number GeneratorRai, S., Gupta, N., Bhattacharjee, A., Rupani, A., Raitza, M., Trommer, J., Mikolajick, T. & 1 others, 2022, VLSI-SoC: Technology Advancement on SoC Design - 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Revised and Extended Selected Papers. Grimblatt, V., Chang, C. H., Chattopadhyay, A., Reis, R. & Calimera, A. (eds.). Springer Science and Business Media B.V., p. 175-203, 29 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ERMES: Efficient Racetrack Memory Emulation System based on FPGA.Spagnolo, F., Ullah, S., Corsonello, P. & Kumar, A., 2022, Proceedings - 2022 32nd International Conference on Field-Programmable Logic and Applications, FPL 2022. p. 342-349, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Evonne: Interactive Proof Visualization for Description Logics (System Description)Alrabbaa, C., Baader, F., Borgwardt, S., Dachselt, R., Koopmann, P. & Méndez, J., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, Berlin [u. a.], p. 271-280, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Explaining Description Logic Entailments with Evee and EvonneAlrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P., Méndez, J. & Popovic, A., 2022, Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2022) workshop: co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 31st. 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Explaining Hyperproperty ViolationsCoenen, N., Dachselt, R., Finkbeiner, B., Frenkel, H., Hahn, C., Horak, T., Metzger, N. & 1 others, 2022, Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I. Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media B.V., p. 407-429, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Explaining Ontology-Mediated Query Answers Using Proofs over Universal ModelsAlrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2022, Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’22). Governatori, G. & Turhan, A. (eds.). Springer, Berlin [u. a.], p. 167-182, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring Standard-Cell Designs for Reconfigurable Nanotechnologies: A Formal Approach.Raitza, M., Märcker, S., Rai, S. & Kumar, A., 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Bolchini, C., Verbauwhede, I. & Vatajelu, I. (eds.).p. 23-28, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)Borgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight OntologiesAlrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2022, Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2022) workshop: co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 31st. CEUR-WS.org, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., 2022, In: J. Artif. Intell. Res.. 75, p. 1223-1291, 69 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• FPGA-Based Database Query Processing on Arbitrarily Wide Tables.Moghaddamfar, M., Färber, C., May, N., Lehner, W. & Kumar, A., 2022, Proceedings - 2022 IEEE 30th International Symposium on Field-Programmable Custom Computing Machines, FCCM 2022. p. 1, 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fusion of Optical and Millimeter Wave SAR Sensing for Object Recognition in Indoor EnvironmentBatra, A., Hark, T., Schorlemer, J., Pohl, N., Rolfes, I., Wiemeler, M., Gohringer, D. & 2 others, 2022, 2022 5th International Workshop on Mobile Terahertz Systems, IWMTS 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-5Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Geometrical Shapes Detection in High-Resolution THz SAR ImageBatra, A., Wiemeler, M., Gohringer, D. & Kaiser, T., 2022, 2022 19th European Radar Conference, EuRAD 2022. Institute of Electrical and Electronics Engineers Inc., p. 213-216, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Germanium Nanowire Reconfigurable Transistor Model for Predictive Technology EvaluationQuijada, J. N., Baldauf, T., Rai, S., Heinzig, A., Kumar, A., Weber, W. M., Mikolajick, T. & 1 others, 2022, In: IEEE transactions on nanotechnology. 21, p. 728-736, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• GranularSpectrals - Spectral manipulation for Advanced Granular SynthesisTöpfer, F., Engeln, L. & Groh, R., 2022, Mensch und Computer 2022 - Workshopband. Bonn: Gesellschaft für Informatik e.V.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• GraphCL: A Framework for Execution of Data-Flow Graphs on Multi-Device PlatformsMoren, K. & Gohringer, D., 2022, Proceedings - 30th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2022. Gonzalez-Escribano, A., Garcia, J. D., Torquati, M. & Skavhaug, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 116-121, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Grundschullehramtsstudierende erwerben Vermittlungskompetenzen für informatische BildungNenner, C., 2022, 1. Nachwuchs-Konferenz der Didaktik der Informatik (NaKoDi): Informatische Bildung überwindet Grenzen. Opel, S. & Losch, D. (eds.). Morschach, SchweizResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Hybrid Tree Automata and the Yield Theorem for Constituent Tree AutomataDrewes, F., Mörbitz, R. & Vogler, H., 2022, Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings. Caron, P. & Mignot, L. (eds.). Springer, Berlin [u. a.], p. 93-105, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• IASCAR: Incremental Answer Set Counting by Anytime RefinementFichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., 2022, Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Springer, p. 217-230, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ImitAL: Learned Active Learning Strategy on Synthetic DataGonsior, J., Thiele, M. & Lehner, W., 2022, Discovery Science: 25th International Conference, DS 2022, Montpellier, France, October 10–12, 2022, Proceedings. Pascal, P. & Ienco, D. (eds.). Springer Science and Business Media B.V., p. 47-56, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution