Skip to main navigation Skip to search Skip to main content
No photo of Luís Cruz-Filipe

Luís Cruz-Filipe

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

Research activity per year

Fingerprint

Dive into the research topics where Luís Cruz-Filipe is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Can’t you answer while you wait?

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

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access

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

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

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Hypothetical Answers to Continuous Queries Over Data Streams

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

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access

  • Minimizing Sorting Networks at the Sub-Comparator Level

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access

  • Sustainable Software for Greener Screenwriting

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

View all 56 research outputs