Luís Cruz-Filipe

Luís Cruz-Filipe

Luís Cruz-Filipe

Assistant Professor

Campusvej 55

5230 Odense M

Denmark

View graph of relations

  1. Published

    Fixpoint Semantics for Active Integrity Constraints

    Research output: Research - peer-reviewJournal article

  2. Accepted/In press

    Communication in choreographies, revisited

    Research output: Research - peer-reviewArticle in proceedings

  3. E-pub ahead of print

    Sorting networks: to the end and back again

    Research output: Research - peer-reviewJournal article

  4. Published

    A Core Model for Choreographic Programming

    Research output: Research - peer-reviewArticle in proceedings

  5. Published

    Active Integrity Constraints: from Theory to Implementation

    Research output: Research - peer-reviewArticle in proceedings

View all (35) »