Publications

2021

• Software Compilation and Optimization Techniques for Heterogeneous Multi-core PlatformsSheng, W., Castrillon, J. & Leupers, R., 1 Jan 2021, Multi-Processor System-on-Chip 2: Applications. Wiley-VHCA, p. 203-235, 33 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Surgical assistance and trainingSpeidel, S., Bodenstedt, S., Von Bechtolsheim, F., Rivoir, D., Funke, I., Goebel, E., Mitschick, A. & 2 others, 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Elsevier, p. 23-39, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Tactile computing: Essential building blocks for the Tactile InternetAßmann, U., Baier, C., Dubslaff, C., Grzelak, D., Hanisch, S., Hartono, A. P. P., Köpsell, S. & 2 others, 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). Academic Press, p. 293-317, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Tactile electronicsWagner, J., Ellinger, F., Göhringer, D., Bock, K., Mayr, C., Tetzlaff, R., Akgün, G. & 4 others, 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). Academic Press, p. 277-292, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Improving the Timing Behaviour of Mixed-Criticality Systems Using Chebyshev's Theorem.Ranjbar, B., Hoseinghorban, A., Sahoo, S. S., Ejlali, A. & Kumar, A., Jan 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. p. 264-269, 6 p., 9474263Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Internet of SkillsOppici, L., Bobbe, T., Lüneburg, L., Nocke, A., Schwendicke, A., Winger, H., Krzywinski, J. & 3 others, Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). London, p. 75-99, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics.Gaggl, S. A., Rudolph, S. & Straß, H., Jan 2021, In: J. Artif. Intell. Res.. 70, p. 1-64, 64 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• PrefaceBaier, C. & Goubault-Larrecq, J., Jan 2021, 29th EACSL Annual Conference on Computer Science Logic. Baier, C. & Goubault-Larrecq, J. (eds.).2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• Sensors and actuatorsAltinsoy, E., Hulin, T., Vogel, U., Bobbe, T., Dachselt, R., Klamka, K., Krzywinski, J. & 7 others, Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). London, p. 223-248, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 13th IEEE Vehicular Networking Conference, VNC 2021, Ulm, Germany, November 10-12, 2021Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F., 2021, Institute of Electrical and Electronics Engineers (IEEE), (VNC)Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• 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 AssociationElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• 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 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• 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, Vol. 3009. p. 46-58, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 1-8, 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Accelerated High-Level Synthesis Feature Detection for FPGAs Using HiFlipVXKalms, L. & Göhringer, D., 2021, Towards Ubiquitous Low-power Image Processing Platforms (TULIPP). p. 115-135, 21 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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. (eds.).p. 16064-16078, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Active replication for latency-sensitive stream processing in Apache FlinkRosniosky, G., Schmidt, F., Bodunov, O., Fetzer, C. & Martin, A., 2021, p. 56-66, 11 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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. (eds.). Springer, Berlin [u. a.], p. 3–24, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Advanced Python Performance Monitoring with Score-PGocht, A., Schöne, R. & Frenzel, J., 2021, Tools for High Performance Computing 2018/2019. p. 261-270, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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 others, 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). Institute of Electrical and Electronics Engineers (IEEE), p. 374-375, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Alltägliches im digitalen ZeitalterKoerber, B. & Grillenberger, A., 2021, In: Log in : informatische Bildung und Computer in der Schule. 2021, 195/196, p. 3Research output: Contribution to journal > Editorial (Lead article)
• 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. (eds.). Cham: Springer International Publishing, Vol. 12678. p. 194-209, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 6340-6348, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).p. 255-266, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Shift in automatic Item Generation towards more complex TasksBaum, H., Damnik, G., Gierl, M. & Braun, I., 2021, INTED2021 Proceedings. p. 3235-3241Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution