Spring til hovednavigation Spring til søgning Spring til hovedindhold
Intet billede af Luís Cruz-Filipe
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

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
  • 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 tidsskriftTidsskriftartikelForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelBidrag til bog/antologiForskningpeer review