Statistics
Publications
11
Citations
258
H-Index
11
Active since
2006
Affiliations
Luı́s Cruz-Filipe is an author at University of Southern Denmark specializing in computer science, computing, and algorithms.
Publications per year
2006–2019
11
11
Reasoning about probabilistic sequential programs
Rohit Chadha, Luı́s Cruz-Filipe, Paulo Mateus et al. · Theoretical Computer Science · 2007 · 39 citations
Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten)
Michael Codish, Luı́s Cruz-Filipe, Michael Frank et al. · 2014 · 39 citations · Full text
A core model for choreographic programming
Luı́s Cruz-Filipe, Fabrizio Montesi · Theoretical Computer Science · 2019 · 34 citations · Full text
Sorting networks: To the end and back again
Michael Codish, Luı́s Cruz-Filipe, Thorsten Ehlers et al. · Journal of Computer and System Sciences · 2016 · 30 citations · Full text
Optimal-depth sorting networks
Daniel Bundala, Michael Codish, Luı́s Cruz-Filipe et al. · Journal of Computer and System Sciences · 2016 · 19 citations · Full text
1–5 of 11