Agata Murawska

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 4

Top Topics

Logical Framework

Human Communication

Top Venues

Financial Cryptography Workshops

Publications

Fritz Henglein, Christian Kjær Larsen, Agata Murawska
A Formally Verified Static Analysis Framework for Compositional Contracts. Financial Cryptography Workshops (2020)
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
Multiparty Classical Choreographies. CoRR (2018)
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
Multiparty Classical Choreographies. LOPSTR (2018)
Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka
LINCX: A Linear Logical Framework with First-Class Contexts. ESOP (2017)
Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann
Hybrid Extensions in a Logical Framework. LFMTP (2014)