Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3178 Einträge
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. (Hrsg.). Wiesbaden: Springer Fachmedien Wiesbaden GmbH, S. 291-309, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Preface , 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). S. xvElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies. , 2021, DATE. S. 354-359, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). Springer, Berlin [u. a.], S. 205–221Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
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)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
-
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.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Programmiereinstieg mit Python interaktiv und grafisch mit der CMU CS Academy. , 2021, S. 331Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Prospects of Robots in Assisted Living Environment , 2021, in: Electronics (Switzerland). 17Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Prozesskomposition in verteilten Automatisierungssystemen: Orchestrierung und Choreografie von Inbetriebnahme-Prozessen in verteilten Automatisierungssystemen mittels proaktiver Verwaltungsschalen und B2MML , 2021, in: at - Automatisierungstechnik. 69, 3, S. 242-255Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 7:1–7:18Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Ray-Tracing Based Inference Attacks on Physical Layer Security , 2021, Proceedings of 2021 International Conference on Networked Systems (NetSys). 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
RECON: Resource-Efficient CORDIC-Based Neuron Architecture. , 2021, in: IEEE Open Journal of Circuits and Systems. 2, S. 170-181, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
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, S. 1754-1767, 14 S., 9Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Resource-Efficient Database Query Processing on FPGAs. , 2021, DaMoN. S. 4:1-4:8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). CEUR-WS.org, Band 2954Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). Springer, Berlin [u. a.], Band 12941. S. 81-97, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Restricted Unification in the DL 𝓕𝓛₀ (Extended Abstract) , 2021, Proceedings of the 34th International Workshop on Description Logics (DL'21). CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
RL-Guided Runtime-Constrained Heuristic Exploration for Logic Synthesis. , 2021, ICCAD. S. 1-9, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. S. 172-179, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Saving Energy Using the READEX Methodology , 2021, S. 27-53, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Schullogin - Der zentrale sächsische Zugangsweg zu Digitalen Diensten , 2021, in: LVBS konkret. 2022, 1Publikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten
-
Season- and Trend-aware Symbolic Approximation for Accurate and Efficient Time Series Matching. , 2021, in: Datenbank-Spektrum. 21, 3, S. 225-236, 12 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Secure and Efficient Tunneling of MACsec for Modern Industrial Use Cases , 2021, Seventh Annual Industrial Control System Security (ICSS) Workshop. S. 1-10, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Sensors and actuators , 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (Hrsg.). London, S. 223-248, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
SeqL+: Secure Scan-Obfuscation with Theoretical and Empirical Validation. , 2021, in: Cryptology ePrint archive. 2021, S. 1245, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel