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.
3539 Einträge
2021
-
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. 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
-
Controlling the Runtime Overhead of Python Monitoring with Selective Instrumentation , Nov. 2021, 2021 IEEE/ACM International Workshop on Programming and Performance Visualization Tools (ProTools). 9 S.Elektronische (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. 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. 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. IEEE, S. 139-140, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Season- and Trend-aware Symbolic Approximation for Accurate and Efficient Time Series Matching. , Nov. 2021, in: Datenbank-Spektrum. 21, 3, S. 225-236, 12 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Welcome Message , Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021). IEEE, Band 2021-November. S. I-II, (IEEE Vehicular Networking Conference, VNC)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
-
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems , 26 Okt. 2021, SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, S. 851-865, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation , 20 Okt. 2021, Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021). Baroni, P., Benzmüller, C. & Wang, Y. N. (Hrsg.). Springer International Publishing AG, Band 13040. S. 147-168, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
HoloFlows: modelling of processes for the Internet of Things in mixed reality , 16 Okt. 2021, in: Software and systems modeling. 20, S. 1465–1489Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Blocks: challenging SIMDs and VLIWs with a reconfigurable architecture , 15 Okt. 2021, in: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 9, S. 2915 - 2928, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A Survey on Hypervisor-based Virtualization of Embedded Reconfigurable Systems , 12 Okt. 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, S. 249-256, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband