Luís Cruz-Filipe

  • Campusvej 55

    5230 Odense M

    Danmark

20142019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingeraftryk Fingeraftryk er baseret på at anvende teksten fra personernes videnskabelige dokumenter til at skabe et indeks med vægtede emneordskoncepter, som definerer de vigtigste emner for hver enkelt forsker.

  • 5 Lignende profiler
Semantics Teknik og materialevidenskab
Repair Teknik og materialevidenskab
Programming Matematik
Sorting Networks Matematik
Integrity Constraints Matematik
Servers Teknik og materialevidenskab
Service-oriented Matematik
Coloring Teknik og materialevidenskab

Netværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikationer 2014 2019

  • 27 Konferencebidrag i proceedings
  • 12 Tidsskriftartikel
  • 2 Bidrag til bog/antologi
  • 1 Konferenceartikel

A core model for choreographic programming

Cruz-Filipe, L. & Montesi, F., 1 jan. 2019, I : Theoretical Computer Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Programming
Choreography
Canonical Model
Deadlock
Model

Complete and Efficient DRAT Proof Checking

Rebola-Pardo, A. & Cruz-Filipe, L., 7 jan. 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjørner, N. & Gurfinkel, A. (red.). IEEE, s. 197-205

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Specifications

Multiparty Classical Choreographies

Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A., 1 jan. 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (red.). Springer VS, s. 59-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11408 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Servers

Special track on microservices, devops, and service-oriented architecture

Cruz-Filipe, L., Di Nitto, E. & Mauro, J., 1 jan. 2019, Proceedings of the ACM Symposium on Applied Computing. Bind Part F147772. s. 1224 (Proceedings of the ACM Symposium on Applied Computing).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Active integrity constraints for general-purpose knowledge bases

Cruz-Filipe, L., Gaspar, G., Nunes, I. & Schneider-Kamp, P., 2018, I : Annals of Mathematics and Artificial Intelligence. 83, 3-4, s. 213-246

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Integrity Constraints
Knowledge Base
Repair
Reasoning
Relational Database

Presse/medie

GÆSTEHJØRNET

Luís Cruz-Filipe

22/11/2018

1 mediebidrag

Presse/medie