Agata Murawska

According to our database, Agata Murawska authored at least 4 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Formally Verified Static Analysis Framework for Compositional Contracts.

Fritz Henglein, Christian Kjær Larsen, Agata Murawska

Proceedings of the Financial Cryptography and Data Security, 2020

2018

Multiparty Classical Choreographies.

Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

2017

LINCX: A Linear Logical Framework with First-Class Contexts.

Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka

Proceedings of the Programming Languages and Systems, 2017

2014

Hybrid Extensions in a Logical Framework.

Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014