Pumping, with or Without Choice. - Aquinas Hobor; Elaine Li; Frank Stephan 001 (APLAS, 2019)

Formalizing Correct-by-Construction Casper in Coq. - Elaine Li; Traian Serbanuta; Denisa Diaconescu; Vlad Zamfir; Grigore Rosu (IEEE ICBC, 2020)

Specification of the Giskard Consensus Protocol. - Elaine Li; Karl Palmskog; Mircea Sebe; Grigore Rosu (CoRR, 2020)

Complete Multiparty Session Type Projection with Automata. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (CAV (3), 2023)

Deciding Subtyping for Asynchronous Multiparty Sessions. - Elaine Li; Felix Stutz; Thomas Wies (ESOP (1), 2024)

Sprout: A Verifier for Symbolic Multiparty Protocols. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (CAV (3), 2025)

Characterizing Implementability of Global Protocols with Infinite States and Data. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (Proc. ACM Program. Lang., 2025)