Luís Cruz-Filipe

Assistant 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.

1 Similar Profiles

Sorting Engineering & Materials Science

Sorting Networks Mathematics

Semantics Engineering & Materials Science

Repair Engineering & Materials Science

Communication Engineering & Materials Science

Specifications Engineering & Materials Science

Programming Mathematics

Ontology Engineering & Materials Science

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

Research Output 2014 2020

27 Article in proceedings
12 Journal article
2 Book chapter
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

Programming

Choreography

Canonical Model

Deadlock

Model

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

Specifications

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

Coloring

Acoustic waves

Color

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

Servers

109 Downloads (Pure)