Publikationen

2021

• PrefaceBaier, C. & Goubault-Larrecq, J., Jan. 2021, 29th EACSL Annual Conference on Computer Science Logic. Baier, C. & Goubault-Larrecq, J. (Hrsg.).2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
• 13th IEEE Vehicular Networking Conference, VNC 2021, Ulm, Germany, November 10-12, 2021Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F., 2021, IEEE, (VNC)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 26th International Symposium on Vision, Modeling, and Visualization, VMV 2021: Technische Universität Dresden, Germany (Virtual Meeting) September 27 — 28, 2021Andres, B., Campen, M. & Sedlmair, M., 2021, The Eurographics AssociationElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 29th EACSL Annual Conference on Computer Science Logic: CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)Baier, C. & Goubault-Larrecq, J., 2021, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 734 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Abduction in EL via Translation to FOLHaifani, F., Koopmann, P. & Tourret, S., 2021, Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). CEUR-WS, Band 3009. S. 46-58, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Case for Practical Configuration Management Using Hardware-based Security TokensLackorzynski, T., Ostermann, M., Köpsell, S. & Härtig, H., 2021, Seventh Annual Industrial Control System Security (ICSS) Workshop. S. 1-8, 8 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Accelerated High-Level Synthesis Feature Detection for FPGAs Using HiFlipVXKalms, L. & Göhringer, D., 2021, Towards Ubiquitous Low-power Image Processing Platforms (TULIPP). S. 115-135, 21 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Active 3D Shape Reconstruction from Vision and Touch.Smith, E. J., Meger, D., Pineda, L., Calandra, R., Malik, J., Romero-Soriano, A. & Drozdzal, M., 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (Hrsg.).S. 16064-16078, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Active replication for latency-sensitive stream processing in Apache FlinkRosniosky, G., Schmidt, F., Bodunov, O., Fetzer, C. & Martin, A., 2021, S. 56-66, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticBromberger, M., Dragoste, I., Faqeh, R., Fetzer, C., Krötzsch, M. & Weidenbach, C., 2021, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings: 13th International Symposium, FroCoS 2021 Birmingham, UK, September 8–10, 2021 Proceedings. Konev, B. & Reger, G. (Hrsg.). Springer, Berlin [u. a.], S. 3–24, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Advanced Python Performance Monitoring with Score-PGocht, A., Schöne, R. & Frenzel, J., 2021, Tools for High Performance Computing 2018/2019. S. 261-270, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• AITIA: Embedded AI Techniques for Embedded Industrial ApplicationsBrandalero, M., Veleski, M., Hernandez, H. G. M., Ali, M., Le Jeune, L., Goedemé, T., Mentens, N. & 6 weitere, 2021, Proceedings - 2021 31st International Conference on Field-Programmable Logic and Applications, FPL 2021. IEEE Xplore, S. 374-375, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• An Algebraic View on p-Admissible Concrete Domains for Lightweight Description LogicsBaader, F. & Rydval, J., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (Hrsg.). Cham: Springer International Publishing, Band 12678. S. 194-209, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Answering Regular Path Queries Under Approximate Semantics in Lightweight Description LogicsFernandez Gil, O. & Turhan, A., 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. AAAI Press, S. 6340-6348, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Approximated Determinisation of Weighted Tree AutomataDörband, F., Stier, K. & Feller, T., 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (Hrsg.).S. 255-266, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Shift in automatic Item Generation towards more complex TasksBaum, H., Damnik, G., Gierl, M. & Braun, I., 2021, INTED2021 Proceedings. S. 3235-3241Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Survey of FPGA Logic Cell Designs in the Light of Emerging Technologies.Rai, S., Nath, P., Rupani, A., Vishvakarma, S. K. & Kumar, A., 2021, in: IEEE access. 9, S. 91564-91574, 11 S., 9464251Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• BioCare: An Energy-Efficient CGRA for Bio-Signal Processing at the EdgeEbrahimi, Z. & Kumar, A., 2021, 2021 IEEE International Symposium on Circuits and Systems, ISCAS 2021 - Proceedings. IEEE Xplore, S. 1-5, 5 S., 9401461Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• BROFY: Towards Essential Integrity Protection for MicroservicesHartono, A. P. P. & Fetzer, C., 2021, S. 154-163, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Capturing Homomorphism-Closed Decidable Queries with Existential RulesBourgaux, C., Carral, D., Krötzsch, M., Rudolph, S. & Thomazo, M., 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Bienvenu, M., Lakemeyer, G. & Erdem, E. (Hrsg.).S. 141-150, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Chapter 3 - Human–robot cohabitation in industryAßmann, U., Chen, L., Ebert, S., Göhringer, D., Grzelak, D., Hidalgo, D., Johannsmeier, L. & 3 weitere, 2021, Tactile Internet with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (Hrsg.). Academic Press, S. 41-73, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Classical planning with avoid conditionsSteinmetz, M., Hoffmann, J., Kovtunova, A. & Borgwardt, S., 2021, Proceedings of the 13th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP’21). 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CLEO-CoDe: Exploiting Constrained Decoding for Cross-Layer Energy Optimization in Heterogeneous Embedded Systems.Sahoo, S. S. & Kumar, A., 2021, Proceedings of the 2021 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Concise justifications versus detailed proofs for description logic entailmentsBorgwardt, S., 2021, Informatl Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’21). 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Correction to "RECON: Resource-Efficient CORDIC-Based Neuron Architecture".Raut, G., Rai, S., Vishvakarma, S. K. & Kumar, A., 2021, in: IEEE Open Journal of Circuits and Systems. Band 2. S. 292, 1 S.Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Korrekturen (Errata und Widerrufe)