Research output per year
Research output 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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
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
-
Formalising a turing-complete choreographic language in Coq
Cruz-Filipe, L., Montesi, F. & Peressotti, M., 1. Jun 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 193. p. 15:1-15:18 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 193).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile3 Downloads (Pure) -
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints
Bogaerts, B. & Cruz-Filipe, L., Jan 2021, In: ACM Transactions on Computational Logic. 22, 1, 19 p., 6.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile8 Downloads (Pure) -
A core model for choreographic programming
Cruz-Filipe, L. & Montesi, F., 8. Jan 2020, In: Theoretical Computer Science. 802, p. 38-66 29 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Hypothetical answers to continuous queries over data streams
Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI Press, p. 2798-2805 (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Projects
- 1 Finished
-
Hesehus A/S - Kursusforløb i algoritmer og effektivitet
01/11/2019 → 30/11/2019
Project: Private Foundations
Press / Media
-
Næsehorns unikke fodaftryk kan blive deres redning
23/09/2020
1 Media contribution
Press/Media: Press / Media
-
Næsehorns unikke fodaftryk kan blive deres redning
23/09/2020
1 Media contribution
Press/Media: Press / Media
-
Næsehorns unikke fodaftryk kan blive deres redning
22/09/2020
1 Media contribution
Press/Media: Press / Media
-
Næsehorns unikke fodaftryk kan blive deres redning
22/09/2020
1 Media contribution
Press/Media: Press / Media
-
Næsehorns unikke fodaftryk kan blive deres redning
18/09/2020
1 Media contribution
Press/Media: Press / Media