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

    Active integrity constraints for general-purpose knowledge bases

    Research output: Contribution to journalJournal articleResearchpeer-review

  2. Published

    Communication in choreographies, revisited

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    Fixpoint Semantics for Active Integrity Constraints

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. E-pub ahead of print

    Sorting networks: to the end and back again

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    A Core Model for Choreographic Programming

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

View all (37) »