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.
3178 Einträge
2022
-
Combining Gradients and Probabilities for Heterogeneous Approximation of Neural Networks. , 2022, ICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design. S. 150:1-150:8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Connection-Minimal Abduction in EL via Translation to FOL , 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (Hrsg.). Springer, Berlin [u. a.], S. 188-207, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Creative Sound Modeling with Signed Distance Fields , 2022, Mensch und Computer 2022 - Workshopband. Bonn: Gesellschaft für Informatik e.V.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Deciding Hyperproperties Combined with Functional Specifications , 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Baier, C. & Fisman, D. (Hrsg.). ACM Press, S. 56:1–56:13Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols , 2022, in: Journal of automated reasoning. 66, 3, S. 301-329, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
DECISION: Distributing OpenVX Applications on CPUs, GPUs and FPGAs using OpenCL , 2022, Proceedings - 2022 IEEE 36th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2022. Institute of Electrical and Electronics Engineers Inc., S. 84-91, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
DELTA: DEsigning a stealthy trigger mechanism for analog hardware trojans and its detection analysis. , 2022, DAC. S. 787-792, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Development of Informatics Competencies among (prospective) Primary School Teachers , 2022, ISSEP 2022: 15th international conference on informatics in schools. Local proceedings. Bollin, A. & Futschek, G. (Hrsg.). Klagenfurt, Wien, S. 151-152, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Dynamic Clock Reconfiguration for the Constrained IoT and its Application to Energy-efficient Networking , 2022, EWSN '22: Proceedings of the 2022 International Conference on Embedded Wireless Systems and Networks. Ferscha, A., Chan, M. C., Kanhere, S. & Venkatesha Prasad, R. R. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 168-179Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Embeddings of Task Mappings to Multicore Systems , 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. Springer, Berlin [u. a.], S. 161-176, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
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. (Hrsg.). Springer Science and Business Media B.V., S. 175-203, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
ENTANGLE: An Enhanced Logic-locking Technique for Thwarting SAT and Structural Attacks. , 2022, ACM Great Lakes Symposium on VLSI. S. 147-151, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
ERMES: Efficient Racetrack Memory Emulation System based on FPGA. , 2022, FPL. S. 342-349, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). Springer, Berlin [u. a.], S. 271-280, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). Springer Science and Business Media B.V., S. 407-429, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). Springer, Berlin [u. a.], S. 167-182, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Exploring Standard-Cell Designs for Reconfigurable Nanotechnologies: A Formal Approach. , 2022, 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). S. 23-28, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Expressivity of Planning with Horn Description Logic Ontologies , 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence. S. 5503-5511Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.).5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies , 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
FPGA-Based Database Query Processing on Arbitrarily Wide Tables. , 2022, FCCM. S. 1, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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., S. 1-5Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Geometrical Shapes Detection in High-Resolution THz SAR Image , 2022, 2022 19th European Radar Conference, EuRAD 2022. Institute of Electrical and Electronics Engineers Inc., S. 213-216, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Germanium Nanowire Reconfigurable Transistor Model for Predictive Technology Evaluation , 2022, in: IEEE transactions on nanotechnology. 21, S. 728-736, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
GranularSpectrals - Spectral manipulation for Advanced Granular Synthesis , 2022, Mensch und Computer 2022 - Workshopband. Bonn: Gesellschaft für Informatik e.V.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband