Luís Cruz-Filipe

Luís Cruz-Filipe

Campusvej 55

5230 Odense M

Danmark

Vis graf over relationer

  1. E-pub ahead of print

    Communication in choreographies, revisited

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  2. Udgivet

    Fixpoint Semantics for Active Integrity Constraints

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  3. E-pub ahead of print

    Sorting networks: to the end and back again

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  4. Udgivet

    A Core Model for Choreographic Programming

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  5. Udgivet

    Active Integrity Constraints: from Theory to Implementation

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

Vis alle (35) »