Luís Cruz-Filipe

Associate Professor, Department of Mathematics and Computer Science (IMADA)

Emaillcf@imada.sdu.dk
Websitehttp://tinyurl.com/lcfilipe

Campusvej 55
5230 Odense M
Denmark

If you made any changes in Pure these will be visible here soon.

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.

4 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.

28 Article in proceedings
12 Journal article
2 Book chapter
1 Preface/postscript
More
- 1 Conference article

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
Preface
Cruz-Filipe, L., Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S., Feb 2020, Joint Post-proceedings of the First and Second International Conference on Microservices. Filipe, L. C., Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 78. p. 0:vii–0:viii 2 p. (OpenAccess Series in Informatics).
Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research › peer-review

Open Access
Complete and Efficient DRAT Proof Checking
Rebola-Pardo, A. & Cruz-Filipe, L., 7. Jan 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE, p. 197-205
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Formally Verifying the Solution to the Boolean Pythagorean Triples Problem
Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., Oct 2019, In: Journal of Automated Reasoning. 63, 3, p. 695-722 28 p.
Research output: Contribution to journal › Journal article › Research › peer-review
Multiparty Classical Choreographies
Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A., 1. Jan 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer VS, p. 59-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11408 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

1 Finished

Hesehus A/S - Kursusforløb i algoritmer og effektivitet
Cruz-Filipe, L.
01/11/2019 → 30/11/2019
Project: Private Foundations

Næsehorns unikke fodaftryk kan blive deres redning
Luís Cruz-Filipe
23/09/2020
1 Media contribution
Press/Media: Press / Media
Næsehorns unikke fodaftryk kan blive deres redning
Luís Cruz-Filipe
23/09/2020
1 Media contribution
Press/Media: Press / Media
Næsehorns unikke fodaftryk kan blive deres redning
Luís Cruz-Filipe
22/09/2020
1 Media contribution
Press/Media: Press / Media
Næsehorns unikke fodaftryk kan blive deres redning
Luís Cruz-Filipe
22/09/2020
1 Media contribution
Press/Media: Press / Media
Næsehorns unikke fodaftryk kan blive deres redning
Luís Cruz-Filipe
18/09/2020
1 Media contribution
Press/Media: Press / Media