Spring til hovednavigation Spring til søgning Spring til hovedindhold
Intet billede af Luís Cruz-Filipe

Luís Cruz-Filipe

 https://orcid.org/0000-0002-7866-7484
20142026

Publikationer pr. år

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Luís Cruz-Filipe er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere

  • Can’t you answer while you wait?

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 17 jan. 2025, I: Annals of Mathematics and Artificial Intelligence. 93, 5, s. 727-758 32 s., 5.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang

  • Approximation Fixpoint Theory in Coq: With an Application to Logic Programming

    Bogaerts, B. & Cruz-Filipe, L., 22 maj 2024, I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14560, s. 84-99 16 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Hypothetical Answers to Continuous Queries Over Data Streams

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 29 okt. 2024, I: ACM Transactions on Computational Logic. 25, 4, s. 1-40 25.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang

  • Minimizing Sorting Networks at the Sub-Comparator Level

    Cruz-Filipe, L. & Schneider-Kam, P., 26 maj 2024, Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning. s. 36-50 15 s. (EPiC Series in Computing, Bind 100).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Sustainable Software for Greener Screenwriting

    Philipsen, H., Cruz-Filipe, L. & Chiarandini, M., 2024, Mediation of Sustainability. Harbisher, B. (red.). Rowman & Littlefield Publishers, Bind 2. 15 s. (Protest, Media and Culture).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Se alle 56 publikationer
  • 1 Igangværende