Keri D'Angelo

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Data Compression

Evaluation Metrics

Top Venues

Publications

Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CONCUR (2024)
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CoRR (2024)
Keri D'Angelo, Dexter Kozen
Abstract Huffman Coding and PIFO Tree Embeddings. CoRR (2023)
Keri D'Angelo, Dexter Kozen
Abstract Huffman Coding and PIFO Tree Embeddings. DCC (2023)
Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman
A Coalgebraic Approach to Reducing Finitary Automata. CoRR (2023)