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
2022
-
Virtualization of Reconfigurable Mixed-Criticality Systems , 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 54-60, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2021
-
Inference Attacks on Physical Layer Channel State Information , 29 Dec 2021, 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). IEEE TechRxiv, p. 935-942, 8 p., 9343072Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Inulin Clearance During Ex vivo Normothermic Machine Perfusion as a Marker of Renal Function , 22 Dec 2021, In: ASAIO journal : official journal of the American Society for Artificial Internal OrgansElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
Data Science Meets High-Tech Manufacturing – The BTW 2021 Data Science Challenge , 21 Dec 2021, In: Datenbank-Spektrum : Zeitschrift für Datenbanktechnologie und Information RetrievalElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
From LTL to unambiguous Büchi automata via disambiguation of alternating automata , 15 Dec 2021, In: Formal Methods in System Design. 58, p. 42–82, 41 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
A cross-technology benchmark for incremental graph queries. , 12 Dec 2021, In: Software and Systems Modeling. 21, 2, p. 755-804, 50 p., 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Multi-objective Parameter Tuning with Dynamic Compositional Surrogate Models , 9 Dec 2021, p. 333-350Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines , 6 Dec 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. (eds.). Springer, Cham, p. 332–350Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
BLOwing Trees to the Ground: Layout Optimization of Decision Trees on Racetrack Memory , 5 Dec 2021, In: DAC: Design Automation Conference. 2021, p. 1111-1116, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
-
Transparent Forwarders: An Unnoticed Component of the Open DNS Infrastructure , 2 Dec 2021, CoNEXT 2021 - Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, Inc, p. 454-462, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Estimation of unordered core size using a robustness measure for topological defects in discretized orientation and vector fields , 1 Dec 2021, In: PAMM. 21, 1, e202100001Electronic (full-text) versionResearch output: Contribution to journal > Conference article
-
Mobile Data Visualization , 1 Dec 2021, New York: CRC Press, 346 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
-
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics , 1 Dec 2021, Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Bojańczyk, M. & Chekuri, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 213Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
20 Years of reconfigurable field-effect transistors: From concepts to future applications , Dec 2021, In: Solid-state electronics. 2021, 186, 108036Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Aufbau informatischer Kompetenzen im Kontext KI bei Lehramtsstudierenden des Faches Politik , Dec 2021, 9. Fachtagung Hochschuldidaktik Informatik (HDI) 2021. Desel, J., Opel, S. & Siegeris, J. (eds.).p. 93 - 100Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Responsibility and verification: importance value in temporal logics , 24 Nov 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). p. 1-14, 14 p., 77Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Plausible deniability for anonymous communication , 15 Nov 2021, WPES '21: Proceedings of the 20th Workshop on Workshop on Privacy in the Electronic Society. p. 17–32Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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, 2021Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes (Poster) , 3 Nov 2021Electronic (full-text) versionResearch output: Contribution to conferences > Poster
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes (Slides) , 3 Nov 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
-
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, p. 283-291, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Improving the Performance of Block-based DRAM Caches Via Tag-Data Decoupling , 1 Nov 2021, In: IEEE Transactions on Computers. 70, 11, p. 1914-1927, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
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. (eds.). IJCAI Organization, p. 87-98Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Controlling the Runtime Overhead of Python Monitoring with Selective Instrumentation , Nov 2021, 2021 IEEE/ACM International Workshop on Programming and Performance Visualization Tools (ProTools)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution