Publikationen

2022

• Development of Informatics Competencies among (prospective) Primary School TeachersNenner, C., 2022, ISSEP 2022: 15th international conference on informatics in schools. Local proceedings. Bollin, A. & Futschek, G. (Hrsg.). Klagenfurt, Wien, S. 151-152, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• „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 weitere, 2022, in: VDI Berichte. 2022, 2387, S. 419-434, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 168-179Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). CEUR-WS.org, Band 3263. 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Embeddings of Task Mappings to Multicore SystemsGoens, A. & Castrillon, J., 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. Springer, Berlin [u. a.], S. 161-176, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 weitere, 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. (Hrsg.). Springer Science and Business Media B.V., S. 175-203, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ENTANGLE: An Enhanced Logic-locking Technique for Thwarting SAT and Structural Attacks.Darjani, A., Kavand, N., Rai, S., Wijtvliet, M. & Kumar, A., 2022, ACM Great Lakes Symposium on VLSI. S. 147-151, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ERMES: Efficient Racetrack Memory Emulation System based on FPGA.Spagnolo, F., Ullah, S., Corsonello, P. & Kumar, A., 2022, FPL. S. 342-349, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 271-280, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Explaining Hyperproperty ViolationsCoenen, N., Dachselt, R., Finkbeiner, B., Frenkel, H., Hahn, C., Horak, T., Metzger, N. & 1 weitere, 2022, Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I. Shoham, S. & Vizel, Y. (Hrsg.). Springer Science and Business Media B.V., S. 407-429, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 167-182, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 23-28, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Expressivity of Planning with Horn Description Logic OntologiesBorgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence. S. 5503-5511, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 1223-1291, 69 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• FPGA-Based Database Query Processing on Arbitrarily Wide Tables.Moghaddamfar, M., Färber, C., May, N., Lehner, W. & Kumar, A., 2022, FCCM. S. 1, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 2022, 2022 5th International Workshop on Mobile Terahertz Systems, IWMTS 2022. Institute of Electrical and Electronics Engineers Inc., S. 1-5Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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., S. 213-216, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 2022, in: IEEE transactions on nanotechnology. 21, S. 728-736, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 116-121, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Morschach, SchweizPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband