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.
3121 Entries
2022
-
Dynamic Clock Reconfiguration for the Constrained IoT and its Application to Energy-efficient Networking , 2022, Proceedings of EWSN. p. 168-179Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Embeddings of Task Mappings to Multicore Systems , 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. Springer, Berlin [u. a.], p. 161-176, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
END-TRUE: Emerging Nanotechnology-Based Double-Throughput True Random Number Generator , 2022, VLSI-SoC: Technology Advancement on SoC Design - 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Revised and Extended Selected Papers. Grimblatt, V., Chang, C. H., Chattopadhyay, A., Reis, R. & Calimera, A. (eds.). Springer Science and Business Media B.V., p. 175-203, 29 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
ENTANGLE: An Enhanced Logic-locking Technique for Thwarting SAT and Structural Attacks. , 2022, ACM Great Lakes Symposium on VLSI. p. 147-151, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
ERMES: Efficient Racetrack Memory Emulation System based on FPGA. , 2022, FPL. p. 342-349, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Evonne: Interactive Proof Visualization for Description Logics (System Description) , 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, Berlin [u. a.], p. 271-280, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Explaining Hyperproperty Violations , 2022, Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I. Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media B.V., p. 407-429, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models , 2022, Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’22). Governatori, G. & Turhan, A. (eds.). Springer, Berlin [u. a.], p. 167-182, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Exploring Standard-Cell Designs for Reconfigurable Nanotechnologies: A Formal Approach. , 2022, 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). p. 23-28, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Expressivity of Planning with Horn Description Logic Ontologies , 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence. p. 5503-5511Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Expressivity of Planning with Horn Description Logic Ontologies , 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022) . Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (eds.).5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies , 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
FPGA-Based Database Query Processing on Arbitrarily Wide Tables. , 2022, FCCM. p. 1, 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Fusion of Optical and Millimeter Wave SAR Sensing for Object Recognition in Indoor Environment , 2022, 2022 5th International Workshop on Mobile Terahertz Systems, IWMTS 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-5Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Geometrical Shapes Detection in High-Resolution THz SAR Image , 2022, 2022 19th European Radar Conference, EuRAD 2022. Institute of Electrical and Electronics Engineers Inc., p. 213-216, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Germanium Nanowire Reconfigurable Transistor Model for Predictive Technology Evaluation , 2022, In: IEEE transactions on nanotechnology. 21, p. 728-736, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
GranularSpectrals - Spectral manipulation for Advanced Granular Synthesis , 2022, Mensch und Computer 2022 - Workshopband. Bonn: Gesellschaft für Informatik e.V.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
GraphCL: A Framework for Execution of Data-Flow Graphs on Multi-Device Platforms , 2022, Proceedings - 30th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2022. Gonzalez-Escribano, A., Garcia, J. D., Torquati, M. & Skavhaug, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 116-121, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Grundschullehramtsstudierende erwerben Vermittlungskompetenzen für informatische Bildung , 2022, 1. Nachwuchs-Konferenz der Didaktik der Informatik (NaKoDi): Informatische Bildung überwindet Grenzen. Opel, S. & Losch, D. (eds.). Morschach, SchweizResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata , 2022, Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings. Caron, P. & Mignot, L. (eds.). Springer, Berlin [u. a.], p. 93-105, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
IASCAR: Incremental Answer Set Counting by Anytime Refinement , 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings. 13416 ed., Springer, Vol. Lecture Notes in Computer ScienceElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Increasing Throughput of In-Memory DNN Accelerators by Flexible Layerwise DNN Approximation. , 2022, In: IEEE Micro. 42, 6, p. 17-24, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
In-Hand Object Rotation via Rapid Motor Adaptation. , 2022, Conference on Robot Learning, CoRL 2022, 14-18 December 2022, Auckland, New Zealand. p. 1722-1732, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Inside the Router: An interactive VR learning application to practice routing and network address translation , 2022, DELFI 2022 - Die 20. Fachtagung Bildungstechnologien der Gesellschaft fur Informatik e.V.. Henning, P. A., Striewe, M. & Wolfel, M. (eds.). Gesellschaft fur Informatik (GI), p. 87-98, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Intent-Based Adaptation Coordination of Highly Decentralized Networked Self-adaptive Systems , 2022, Lecture Notes in Electrical Engineering. Springer Science and Business Media B.V., p. 69-100, 32 p., (Lecture Notes in Electrical Engineering; vol. 831)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report