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.
3179 Entries
2020
-
Simulation Validation of High Resolution Indoor Terahertz Synthetic Aperture Radar Imaging , 2020, p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface , 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Sub-mm Resolution Indoor THz Range and SAR Imaging of Concealed Object , 2020, p. 1-4, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Switchbox - Low-latency Fail-safe Assurance of Availability in Industrial Environments , 2020, 2020 IEEE International Conference on Industrial Technology (ICIT). p. 328-333, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SWITSS: Computing small witnessing subsystems , 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. Ivrii, A. & Strichman, O. (eds.). TU Wien Academic Press, p. 236-244, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents , 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Fernández, M. & Muscholl, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 152. p. 28:1-28:16, (Leibniz International Proceedings in Informatics (LIPIcs))Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SysIDLib: A High-Level Synthesis FPGA Library for Online System Identification , 2020, p. 97-107, 11 p.Research output: Contribution to conferences > Paper
-
TEEMon: A Continuous Performance Monitoring Framework for TEEs , 2020, p. 178–192Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Temporal Properties over Contextualized Description Logics. , 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
T-Lease: A Trusted Lease Primitive for Distributed Systems , 2020, Proceedings of the 11th ACM Symposium on Cloud Computing (SoCC ’20). New York, NY, USA: Association for Computing Machinery, Inc, p. 387-400Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
To share or not to share vector registers? , 2020, p. 12:1-12:10Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Towards a Modular RISC-V based Many-Core Architecture for FPGA Accelerators , 2020, In: IEEE Access. p. 1-15, 15 p.Research output: Contribution to journal > Research article
-
Towards Dynamic Dependable SystemsThrough Evidence-Based ContinuousCertification , 2020Research output: Contribution to conferences > Paper
-
Towards safe service ecosystems for production for value networks and manufacturing monitoring , 2020, In: Journal of Machine Engineering. 20, 1, p. 117-126, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Towards Transparency in the Internet of Things , 2020, Privacy Technologies and Policy - 8th Annual Privacy Forum, APF 2020, Proceedings. Antunes, L., Naldi, M., Italiano, G. F., Rannenberg, K. & Drogkaris, P. (eds.). Springer, Berlin [u. a.], p. 186-200, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders , 2020, ArXiv. 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Vallum-Med: Protecting Medical Data in Cloud Environments , 2020, CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management. Association for Computing Machinery (ACM), New York, Vol. 2020. p. 3397–3400Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. Borgwardt, S. & Meyer, T. (eds.). CEUR-WS.org, Vol. 2663Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Visualization and evaluation of ergonomic visual field parameters in first person virtual environments , 2020Research output: Contribution to conferences > Paper
-
Visualizing Proofs and the Modular Structure of Ontologies to Support Ontology Repair , 2020, Description Logics 2020 - Proceedings of the 33rd International Workshop on Description Logics (DL 2020): co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Borgwardt, S. & Meyer, T. (eds.).15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Watch+Strap: Extending Smartwatches with Interactive StrapDisplays , 2020, Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 1–15Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
WeakAL: Combining Active Learning and Weak Supervision , 2020, Discovery Science: 23rd International Conference, DS 2020, Thessaloniki, Greece, October 19-21, 2020, Proceedings. Appice, A., Tsoumakas, G., Manolopoulos, Y. & Matwin, S. (eds.). Springer, Berlin [u. a.], p. 34-49, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
What Color is this? Explaining Art Restoration Research Methods using Interactive Museum Installations , 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
You’ve Got Nothing on Me! Privacy Friendly Face Recognition Reloaded , 2020, Computer Security: ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, 2020, Revised Selected Papers. Boureanu, I., Manulis, M., Dadoyan, C., Hallman, R. A., Chang, V., Pohle, J., Catalin Dragan, C., Giannetsos, T., Gouvas, P., Li, S., Pallas, F. & Sasse, A. (eds.). Springer Science and Business Media B.V., p. 231-242, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2019
-
Rod nuclear architecture determines contrast transmission of the retina and behavioral sensitivity in mice , 11 Dec 2019, In: eLife. 8, e49542Electronic (full-text) versionResearch output: Contribution to journal > Research article