Luís Cruz-Filipe

Luís Cruz-Filipe

Campusvej 55

5230 Odense M

Denmark

View graph of relations

  1. Published

    A Core Model for Choreographic Programming

    Publication: Research - peer-reviewArticle in proceedings

  2. Published

    Active Integrity Constraints: from Theory to Implementation

    Publication: Research - peer-reviewArticle in proceedings

  3. Published

    Efficient Certified Resolution Proof Checking

    Publication: Research - peer-reviewArticle in proceedings

  4. Accepted/In press

    Encoding Asynchrony in Choreographies

    Publication: Research - peer-reviewPaper

  5. Accepted/In press

    Formally Proving Size Optimality of Sorting Networks

    Publication: Research - peer-reviewJournal article

View all (29) »