Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3178 Entries
2021
-
Praxisbezug von Anfang an im Lehramtsstudium mit dem Fach Informatik , 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
-
Preface , 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). p. xvElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies. , 2021, DATE. p. 354-359, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Probabilistic Causes in Markov Chains , 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–221Electronic (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. , 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 design , 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. , 2021, p. 331Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Prospects of Robots in Assisted Living Environment , 2021, In: Electronics (Switzerland). 17Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Prozesskomposition in verteilten Automatisierungssystemen: Orchestrierung und Choreografie von Inbetriebnahme-Prozessen in verteilten Automatisierungssystemen mittels proaktiver Verwaltungsschalen und B2MML , 2021, In: at - Automatisierungstechnik. 69, 3, p. 242-255Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking , 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 7:1–7:18Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Ray-Tracing Based Inference Attacks on Physical Layer Security , 2021, Proceedings of 2021 International Conference on Networked Systems (NetSys). 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
RECON: Resource-Efficient CORDIC-Based Neuron Architecture. , 2021, In: IEEE Open Journal of Circuits and Systems. 2, p. 170-181, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
ReLAccS: A Multilevel Approach to Accelerator Design for Reinforcement Learning on FPGA-Based Systems. , 2021, In: IEEE transactions on computer-aided design of integrated circuits and systems : CAD. 40, 9, p. 1754-1767, 14 p., 9Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Resource-Efficient Database Query Processing on FPGAs. , 2021, DaMoN. p. 4:1-4:8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Restricted Unification in the DL 𝓔𝓛 , 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 𝓕𝓛₀ , 2021, Frontiers of Combining Systems : 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) , 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. , 2021, ICCAD. p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
RV-CAP: Enabling Dynamic Partial Reconfiguration for FPGA-Based RISC-V System-on-Chip , 2021, 2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW): Portland, OR, USA. p. 172-179, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Saving Energy Using the READEX Methodology , 2021, p. 27-53, 27 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Schullogin - Der zentrale sächsische Zugangsweg zu Digitalen Diensten , 2021, In: LVBS konkret. 2022, 1Research output: Contribution to journal > Letter
-
Season- and Trend-aware Symbolic Approximation for Accurate and Efficient Time Series Matching. , 2021, In: Datenbank-Spektrum. 21, 3, p. 225-236, 12 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Secure and Efficient Tunneling of MACsec for Modern Industrial Use Cases , 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
-
Sensors and actuators , 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
-
SeqL+: Secure Scan-Obfuscation with Theoretical and Empirical Validation. , 2021, In: Cryptology ePrint archive. 2021, p. 1245, 1 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article