Hybrid Extensions in a Logical Framework. - Taus Brock-Nannestad; Nicolas Guenot; Agata Murawska; Carsten Schürmann 001 (LFMTP, 2014)

LINCX: A Linear Logical Framework with First-Class Contexts. - Aïna Linn Georges; Agata Murawska; Shawn Otis; Brigitte Pientka (ESOP, 2017)

Multiparty Classical Choreographies. - Marco Carbone; Luís Cruz-Filipe; Fabrizio Montesi; Agata Murawska (LOPSTR, 2018)

A Formally Verified Static Analysis Framework for Compositional Contracts. - Fritz Henglein; Christian Kjær Larsen; Agata Murawska (Financial Cryptography Workshops, 2020)