Filip Sieczkowski

From MaRDI portal
Person:2289096

Available identifiers

zbMath Open sieczkowski.filipMaRDI QIDQ2289096

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50890332022-07-18Paper
Equational theories and monads from polynomial Cayley representations2020-01-28Paper
Dag-calculus: a calculus for parallel computation2017-05-10Paper
Iris: monoids and invariants as an orthogonal basis for concurrent reasoning2016-09-29Paper
A Kripke logical relation for effect-based program transformations2016-07-07Paper
A Separation Logic for Fictional Sequential Consistency2016-04-26Paper
Transfinite Step-Indexing: Decoupling Concrete and Logical Steps2016-04-26Paper
ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages2015-09-14Paper
https://portal.mardi4nfdi.de/entity/Q46495412012-11-22Paper
Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq2011-08-17Paper

Research outcomes over time

This page was built for person: Filip Sieczkowski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2289096&oldid=6834796"
Powered by MediaWiki