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
Semantics Engineering & Materials Science
Repair Engineering & Materials Science
Programming Mathematics
Sorting Networks Mathematics
Integrity Constraints Mathematics
Servers Engineering & Materials Science
Service-oriented Mathematics
Coloring Engineering & Materials Science

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

Research Output 2014 2019

  • 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. Jun 2019, In : Theoretical Computer Science. 29 p.

Research output: Contribution to journalJournal articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 journalJournal articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Servers
57 Downloads (Pure)

Sorting networks: To the end and back again

Codish, M., Cruz-Filipe, L., Ehlers, T., Müller, M. & Schneider-Kamp, P., Sep 2019, In : Journal of Computer and System Sciences. 104, p. 184-201 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Sorting Networks
Sorting
Sort
Optimality
Symmetry

Press / Media

GÆSTEHJØRNET

Luís Cruz-Filipe

22/11/2018

1 Media contribution

Press/Media: Press / Media