Luís Cruz-Filipe

Luís Cruz-Filipe

Campusvej 55

5230 Odense M

Denmark

View graph of relations

  1. Published

    Complete and Efficient DRAT Proof Checking

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

  2. E-pub ahead of print

    Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Published

    Active integrity constraints for general-purpose knowledge bases

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    Communications in choreographies, revisited

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

  5. Published

    Fixpoint Semantics for Active Integrity Constraints

    Research output: Contribution to journalJournal articleResearchpeer-review

View all (39) »