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.
3783 Einträge
2021
-
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics , 1 Dez. 2021, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021. Bojańczyk, M. & Chekuri, C. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 36Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
20 Years of reconfigurable field-effect transistors: From concepts to future applications , Dez. 2021, in: Solid-state electronics. 2021, 186, 108036Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Aufbau informatischer Kompetenzen im Kontext KI bei Lehramtsstudierenden des Faches Politik , Dez. 2021, 9. Fachtagung Hochschuldidaktik Informatik (HDI) 2021. Desel, J., Opel, S. & Siegeris, J. (Hrsg.).S. 93 - 100Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Kleene and Büchi Theorems for Weighted Forest Languages over M-Monoids , Dez. 2021, in: Information and Computation. 281, 104765Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Linear weighted tree automata with storage and inverse linear tree homomorphisms , Dez. 2021, in: Information and Computation. 281, 104816Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Weighted parsing for grammar-based language models over multioperator monoids , Dez. 2021, in: Information and Computation. 281, 104774Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Responsibility and verification: importance value in temporal logics , 24 Nov. 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. S. 1-14, 14 S., 9470597Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Plausible deniability for anonymous communication , 15 Nov. 2021, WPES '21: Proceedings of the 20th Workshop on Workshop on Privacy in the Electronic Society. S. 17–32, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Extended Abstract) , 3 Nov. 2021, Recent Published Research (RPR) track of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Virtual Event, November 3-12, 2021Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Poster) , 3 Nov. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Slides) , 3 Nov. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
-
QUICsand: Quantifying QUIC Reconnaissance Scans and DoS Flooding Events , 2 Nov. 2021, IMC '21: Proceedings of the 21st ACM Internet Measurement Conference. Association for Computing Machinery, S. 283-291, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Improving the Performance of Block-based DRAM Caches Via Tag-Data Decoupling , 1 Nov. 2021, in: IEEE Transactions on Computers. 70, 11, S. 1914-1927, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Admissibility in Probabilistic Argumentation , Nov. 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. Bienvenu, M., Lakemeyer, G. & Erdem, E. (Hrsg.). IJCAI Organization, S. 87-98, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
AMAH-Flex: A Modular and Highly Flexible Tool for Generating Relocatable Systems on FPGAs , Nov. 2021, 2021 International Conference on Field-Programmable Technology (ICFPT): Auckland, New Zealand. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
An Introduction to Mobile Data Visualization , Nov. 2021, Mobile Data Visualization. Lee, B., Dachselt, R., Isenberg, P. & Choe, E. K. (Hrsg.). 1st Edition Aufl., Chapman Hall/CRC, S. 1-32, 32 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
A security and authentication layer for SCADA/DCS applications , Nov. 2021, in: Microprocessors and Microsystems. 87, 103479Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Challenges in Everyday Use of Mobile Visualizations , Nov. 2021, Mobile Data Visualization. S. 209-240Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Characterizing Glanceable Visualizations: From Perception to Behavior Change , Nov. 2021, Mobile Data Visualization. S. 151-176Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Enabling and Optimizing MACsec for Industrial Environments , Nov. 2021, in: IEEE transactions on industrial informatics. 17, 11, S. 7599-7606, 8 S., 9272319Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Poster: Enabling Comparable and Reproducible Simulations for V2X Research , Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (Hrsg.). Institute of Electrical and Electronics Engineers (IEEE), S. 131-132, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: Potentials of Mixing TSN Wired Networks and Best-Effort Wireless Networks for V2X , Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (Hrsg.). Institute of Electrical and Electronics Engineers (IEEE), S. 135-136, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: Simulating Hybrid LEO Satellite and V2X Networks , Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (Hrsg.). Institute of Electrical and Electronics Engineers (IEEE), S. 139-140, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reflections on Ubiquitous Visualization , Nov. 2021, Mobile Data Visualization. Lee, B., Dachselt, R., Isenberg, P. & Choe, E. K. (Hrsg.). CRC Press, S. 262-316Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Responsive Visualization Design for Mobile Devices , Nov. 2021, Mobile Data Visualization. S. 33-66Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband