Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
International Conference on Artificial Intelligence and Statistics (AISTATS) Adaptive balancing of gradient and update computation times using global geometry and approximate subproblems.
Advances in Cryptology (CRYPTO) The Algebraic Group Model and its Applications
International Symposium on Automated Technology for Verification and Analysis (ATVA) Maximum Realizability for Linear Temporal Logic Specifications
International Conference on Learning Representations (ICLR) Explainable AI: Interpreting, Explaining and Visualizing Deep Learning
International Workshop on Graph-Theoretic Concepts in Computer Science (WG) An Improved FPT Algorithm for Independent Feedback Vertex Set
International Symposium on Automated Technology for Verification and Analysis (ATVA) Automated Technology for Verification and Analysis
The Web Conference (WWW) Your Secrets Are Safe: How Browsers' Explanations Impact Misconceptions About Private Browsing Mode
International Colloquium on Automata Languages and Programming (ICALP) A Centralized Local Algorithm for the Sparse Spanning Graph Problem.
DISC International Symposium on Distributed Computing (DISC) Strong Separations Between Broadcast and Authenticated Channels.