Luís Cruz-Filipe

View Scopus Profile

Luís Cruz-Filipe

 https://orcid.org/0000-0002-7866-7484
If you made any changes in Pure these will be visible here soon.

Fingerprint

Fingerprints are formed from scientific publications and create an index of weighted keyword concepts for each individual researcher.
  • 1 Similar Profiles
View full fingerprint

Network

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

  • Can you answer while you wait?

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2022, Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Proceedings. Varzinczak, I. (ed.). Springer Science+Business Media, p. 111-129 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13388 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • From infinity to choreographies: Extraction for unbounded Systems

    Kjær, B. A., Cruz-Filipe, L. & Montesi, F., 11. Sep 2022, Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Proceedings. Villanueva, A. (ed.). Springer Science+Business Media, p. 103-120 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13474 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Functional Choreographic Programming

    Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer Science+Business Media, p. 212-237 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Reconciling Communication Delays and Negation

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer Science+Business Media, p. 151-169 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Certifying Choreography Compilation

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2021, Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium. Cerone, A. & Olveczky, P. C. (eds.). Springer Science+Business Media, p. 115-133 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12819 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

View all 52 research outputs
View all 10 press / media