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.
CoRR Exploring Power Side-Channel Challenges in Embedded Systems Security.
Proc. ACM Program. Lang. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
Proc. ACM Program. Lang. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Proc. ACM Program. Lang. Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Proc. ACM Program. Lang. Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
ACM-SIAM Symposium on Discrete Algorithms (SODA) A Distributed Palette Sparsification Theorem.
Algorithmica Domination and Cut Problems on Chordal Graphs with Bounded Leafage
Transactions of the Association for Computational Linguistics AfriSpeech-200: Pan-African Accented Speech Dataset for Clinical and General Domain ASR
Peer-to-Peer Networking and Applications