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

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

Publikationer

A core model for choreographic programming

Cruz-Filipe, L. & Montesi, F., 8. jan. 2020, I : Theoretical Computer Science. 802, s. 38-66 29 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • Preface

    Cruz-Filipe, L., Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S., feb. 2020, Joint Post-proceedings of the First and Second International Conference on Microservices. Filipe, L. C., Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 78. s. 0:vii–0:viii 2 s. (OpenAccess Series in Informatics).

    Publikation: Kapitel i bog/rapport/konference-proceedingForord/efterskriftForskningpeer review

    Åben adgang

    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: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    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

  • 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: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Projekter

    Hesehus A/S - Kursusforløb i algoritmer og effektivitet

    Cruz-Filipe, L.

    01/11/201930/11/2019

    Projekter: ProjektPrivate fonde