Publications

2021

• Partially Ordered Automata and Piecewise TestabilityMasopust, T. & Krötzsch, M., 2021, In: Logical methods in computer science. 17, 2, p. 14:1–14:36Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Performance Analysis of Application-Specific Instruction-Set Routers in Networks-on-ChipRettkowski, J., Haase, J., Primus, S., Hübner, M. & Göhringer, D., 2021Research output: Contribution to conferences > Paper
• PolyGym: Polyhedral Optimizations as an Environment for Reinforcement LearningBrauckmann, A., Goens, A. & Castrillon, J., 2021, Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. IEEE Xplore, p. 17-29, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PostCENN: PostgreSQL with Machine Learning Models for Cardinality Estimation.Woltmann, L., Olwig, D., Hartmann, C., Habich, D. & Lehner, W., 2021, In: Proceedings of the VLDB Endowment. 14, 12, p. 2715-2718, 4 p., 12Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Power-Aware Computing Systems on FPGAs: A SurveyAkgün, G., Ali, M. & Göhringer, D., 2021, p. 45-51, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Power-aware real-time operating systems on reconfigurable architecturesAkgün, G. & Göhringer, D., 2021, Proceedings - 2021 31st International Conference on Field-Programmable Logic and Applications, FPL 2021. Institute of Electrical and Electronics Engineers Inc., p. 402-403, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Power-Aware Real-Time Operating Systems on Reconfigurable ArchitecturesAkgün, G. & Göhringer, D., 2021, p. 1-2, 2 p.Research output: Contribution to conferences > Paper
• Praxisbezug von Anfang an im Lehramtsstudium mit dem Fach InformatikBergner, N., 2021, Theorie und Praxis in der Lehrerbildung: Verhältnisbestimmungen aus der Perspektive von Fachdidaktiken. Caruso, C., Harteis, C. & Gröschner, A. (eds.). Wiesbaden: Springer Fachmedien Wiesbaden GmbH, p. 291-309, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• PrefaceGoehringer, D., Kumar, A. & Keramidas, G., 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). Institute of Electrical and Electronics Engineers Inc., p. xvElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Causes in Markov ChainsBaier, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, Berlin [u. a.], p. 205–221, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Montréal, Québec, Canada, August 21, 2021.Kuznetsov, S. O., Napoli, A. & Rudolph, S., 2021, CEUR-WS.org, (CEUR Workshop Proceedings)Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• Process identification in practice: Software-supported modeling for controller designBenesch, M., Dementyev, A., Kubin, H. & Ihlenfeldt, S., 2021, Proceedings - 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021. Institute of Electrical and Electronics Engineers Inc.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Programmiereinstieg mit Python interaktiv und grafisch mit der CMU CS Academy.Kazimiers, A., Leonhardt, T. & Bergner, N., 2021, p. 331, 1 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Ray-Tracing Based Inference Attacks on Physical Layer SecurityWalther, P., Richter, M. & Strufe, T., 2021, In: Electronic Communications of the EASST. 80, p. 1-4, 4 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• 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. 2, p. 170-181, 12 p., 9335308Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Relevant Parts of Counter Models as Explanations for EL Non-Subsumptions (Extended Abstract)Alrabbaa, C., Hieke, W. & Turhan, A., 2021, Informal Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR-2021): co-located with the 18th international Conference on Principles of Knowledge Representation and Reasoning (KR-2021). 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Restricted Unification in the DL 𝓔𝓛Baader, F. & Rostamigiv, M., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19--22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (eds.). CEUR-WS.org, Vol. 2954Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Restricted Unification in the DL 𝓕𝓛₀Baader, F., Gil, O. F. & Rostamigiv, M., 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.], Vol. 12941. p. 81-97, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Restricted Unification in the DL 𝓕𝓛₀ (Extended Abstract)Fernandez Gil, O., Baader, F. & Rostamigiv, M., 2021, Proceedings of the 34th International Workshop on Description Logics (DL'21). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• RL-Guided Runtime-Constrained Heuristic Exploration for Logic Synthesis.Peruvemba, Y. V., Rai, S., Ahuja, K. & Kumar, A., 2021, 2021 40th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2021 - Proceedings. p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Saving Energy Using the READEX MethodologyKumaraswamy, M., Chowdhury, A., Gocht, A., Zapletal, J., Diethelm, K., Říha, L., Sawley, M. & 10 others, 2021, p. 27-53, 27 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Schullogin - Der zentrale sächsische Zugangsweg zu Digitalen DienstenDamnik, G., Langer, T. M. & Friedrich, S., 2021, In: LVBS konkret. 2022, 1Research output: Contribution to journal > Letter
• Secure and Efficient Tunneling of MACsec for Modern Industrial Use CasesLackorzynski, T., Rehms, S., Li, T., Köpsell, S. & Härtig, H., 2021, Seventh Annual Industrial Control System Security (ICSS) Workshop. p. 1-10, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SeqL+: Secure Scan-Obfuscation with Theoretical and Empirical Validation.Potluri, S., Kundu, S., Kumar, A., Basu, K. & Aysu, A., 2021, In: Cryptology ePrint archive. 2021, p. 1245, 1 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Sequentiality of Group-weighted Tree AutomataDörband, F., Feller, T. & Stier, K., 2021, Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer, Berlin [u. a.], p. 267-278, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution