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.
3174 Einträge
2021
-
A cross-technology benchmark for incremental graph queries. , 12 Dez. 2021, in: Software and Systems Modeling. 21, 2, S. 755-804, 50 S., 2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Multi-objective Parameter Tuning with Dynamic Compositional Surrogate Models , 9 Dez. 2021, S. 333-350Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines , 6 Dez. 2021, Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (Hrsg.). Springer, Cham, S. 332–350Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
BLOwing Trees to the Ground: Layout Optimization of Decision Trees on Racetrack Memory , 5 Dez. 2021, in: DAC: Design Automation Conference. 2021, S. 1111-1116, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
Transparent Forwarders: An Unnoticed Component of the Open DNS Infrastructure , 2 Dez. 2021, CoNEXT 2021 - Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, Inc, S. 454-462, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Estimation of unordered core size using a robustness measure for topological defects in discretized orientation and vector fields , 1 Dez. 2021, in: PAMM. 21, 1, e202100001Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
Mobile Data Visualization , 1 Dez. 2021, New York: CRC Press, 346 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
-
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics , 1 Dez. 2021, Proceedings of the 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, Band 213Elektronische (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
-
Responsibility and verification: importance value in temporal logics , 24 Nov. 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). S. 1-14, 14 S., 77Elektronische (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–32Elektronische (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-98Elektronische (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
-
Controlling the Runtime Overhead of Python Monitoring with Selective Instrumentation , Nov. 2021, 2021 IEEE/ACM International Workshop on Programming and Performance Visualization Tools (ProTools)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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
-
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
-
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-168Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten