Luís Cruz-Filipe

Luís Cruz-Filipe

Campusvej 55

5230 Odense M

Danmark

Vis graf over relationer

  1. Udgivet

    A Core Model for Choreographic Programming

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  2. Udgivet

    Active Integrity Constraints: from Theory to Implementation

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  3. Udgivet

    Efficient Certified Resolution Proof Checking

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  4. Accepteret/In press

    Encoding Asynchrony in Choreographies

    Publikation: Forskning - peer reviewPaper

  5. Accepteret/In press

    Formally Proving Size Optimality of Sorting Networks

    Publikation: Forskning - peer reviewTidsskriftartikel

Vis alle (30) »