ITU
Filip Sieczkowski

Filip Sieczkowski

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (4)

  1. Published

    A Concurrent Logical Relation

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  2. Published

    Formalized Verification of Snapshotable Trees: Separation and Sharing

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Automating Derivations of Abstract Machines from Reduction Semantics: A Generic Formalization of Refocusing in Coq

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View all (4) »

ID: 30796005