Abstract Huffman Coding and PIFO Tree Embeddings. - Keri D'Angelo; Dexter Kozen (DCC, 2023)

A Coalgebraic Approach to Reducing Finitary Automata. - Keri D'Angelo; Alexandra Silva 001; Gerco van Heerdt; Leon Witzman (CoRR, 2023)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. - Keri D'Angelo; Sebastian Gurke; Johanna Maria Kirss; Barbara König 001; Matina Najafi; Wojciech Rozowski; Paul Wild (CONCUR, 2024)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems. - Keri D'Angelo; Sophie Libkind (CoRR, 2025)