Follow
Flávio Cruz
Flávio Cruz
University of Porto and Carnegie Mellon University
Verified email at cs.cmu.edu
Title
Cited by
Cited by
Year
Return to play after a lateral ligament ankle sprain
P D’Hooghe, F Cruz, K Alkhelaifi
Current Reviews in Musculoskeletal Medicine 13, 281-288, 2020
792020
A scalable file based data store for forensic analysis
F Cruz, A Moser, M Cohen
Digital Investigation 12, S90-S101, 2015
232015
A linear logic programming language for concurrent programming over graph structures
F Cruz, R Rocha, SC Goldstein, F Pfenning
Theory and Practice of Logic Programming 14 (4-5), 493-507, 2014
182014
Isolated meniscus injuries in skeletally immature children and adolescents: state of the art
G Vinagre, F Cruz, K Alkhelaifi, P D'Hooghe
Journal of ISAKOS 7 (1), 19-26, 2022
142022
Retroactive subsumption-based tabled evaluation of logic programs
F Cruz, R Rocha
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010
102010
Declarative coordination of graph-based parallel programs
F Cruz, R Rocha, SC Goldstein
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
72016
Radial graphs of constant curvature and prescribed boundary
FF Cruz
Calculus of Variations and Partial Differential Equations 56, 1-19, 2017
62017
Bottom-up logic programming for multicores
F Cruz, MP Ashley-Rollman, SC Goldstein, R Rocha, F Pfenning
Carnegie Mellon University, 2012
62012
Mechanisms of ACL injuries in men’s football: A systematic video analysis over six seasons in the Qatari professional league
R Rekik, R Bahr, F Cruz, P Read, R Whiteley, P D’hooghe, M Tabben, ...
Biology of Sport 40 (2), 575-586, 2023
52023
Design and implementation of a multithreaded virtual machine for executing linear logic programs
F Cruz, R Rocha, SC Goldstein
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
32014
BioSeD-Biological Sequences Database
FMF Cruz
online at: http://www. cs. smu. edu/˜ fmfernan/files/biosed-report. pdf 102, 2010
32010
On the prescribed Q-curvature problem in Riemannian manifolds
FF Cruz, T Cruz
manuscripta mathematica 165, 121-133, 2021
22021
059 the mechanisms of anterior cruciate ligament injuries in male professional football players in the middle east: a systematic video analysis of 15 cases
RN Rekik, R Bahr, F Cruz, P D’Hooghe, P Read, M Tabben, K Chamari
British Journal of Sports Medicine 54 (Suppl 1), A26-A26, 2020
22020
Linear Logic and Coordination for Parallel Programming
FMF Cruz
PQDT-Global, 2016
22016
Thread-aware logic programming for data-driven parallel programs
F Cruz, R Rocha, SC Goldstein
22015
A parallel virtual machine for executing forward-chaining linear logic programs
FF Cruz, R Rocha, SC Goldstein
22014
The Dirichlet problem for curvature equations in Riemannian manifolds
JHS de Lira, FF Cruz
Indiana University Mathematics Journal, 815-854, 2013
22013
Call subsumption mechanisms for tabled logic programs
FMF Cruz
22010
On compiling linear logic programs with comprehensions, aggregates and rule priorities
F Cruz, R Rocha
Practical Aspects of Declarative Languages: 17th International Symposium …, 2015
12015
Meld: A logical approach to distributed and parallel programming
SC Goldstein, F Cruz, ...
Technical report, DTIC Document, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–20