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.

  • 3 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., 8. jun. 2019, I : Theoretical Computer Science. 29 s.

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

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., okt. 2019, I : Journal of Automated Reasoning. 63, 3, s. 695-722 28 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Coloring
Acoustic waves
Color

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
57 Downloads (Pure)

Sorting networks: To the end and back again

Codish, M., Cruz-Filipe, L., Ehlers, T., Müller, M. & Schneider-Kamp, P., sep. 2019, I : Journal of Computer and System Sciences. 104, s. 184-201 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
Sorting Networks
Sorting
Sort
Optimality
Symmetry

Presse/medie

GÆSTEHJØRNET

Luís Cruz-Filipe

22/11/2018

1 Mediebidrag

Presse/medie