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 (3), 281-288, 2020
262020
A scalable file based data store for forensic analysis
F Cruz, A Moser, M Cohen
Digital Investigation 12, S90-S101, 2015
222015
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
Retroactive subsumption-based tabled evaluation of logic programs
F Cruz, R Rocha
European Workshop on Logics in Artificial Intelligence, 130-142, 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
Bottom-up logic programming for multicores
F Cruz, MP Ashley-Rollman, SC Goldstein, R Rocha, F Pfenning
Carnegie Mellon University, 2012
62012
Radial graphs of constant curvature and prescribed boundary
FF Cruz
Calculus of Variations and Partial Differential Equations 56 (3), 1-19, 2017
52017
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
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, 2022
22022
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 the prescribed Q-curvature problem in Riemannian manifolds
FF Cruz, T Cruz
manuscripta mathematica 165 (1), 121-133, 2021
12021
On compiling linear logic programs with comprehensions, aggregates and rule priorities
F Cruz, R Rocha
International Symposium on Practical Aspects of Declarative Languages, 34-49, 2015
12015
Meld: A logical approach to distributed and parallel programming
SC Goldstein, F Cruz
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 2012
12012
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
F Cruz, R Rocha
Theory and Practice of Logic Programming 11 (4-5), 697-712, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20