| 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 | 80 | 2020 |
| A scalable file based data store for forensic analysis F Cruz, A Moser, M Cohen Digital Investigation 12, S90-S101, 2015 | 23 | 2015 |
| 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 | 18 | 2014 |
| 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 | 17 | 2022 |
| Retroactive subsumption-based tabled evaluation of logic programs F Cruz, R Rocha Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010 | 10 | 2010 |
| 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 | 7 | 2016 |
| 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 | 6 | 2023 |
| Radial graphs of constant curvature and prescribed boundary FF Cruz Calculus of Variations and Partial Differential Equations 56, 1-19, 2017 | 6 | 2017 |
| Bottom-up logic programming for multicores F Cruz, MP Ashley-Rollman, SC Goldstein, R Rocha, F Pfenning Carnegie Mellon University, 2012 | 6 | 2012 |
| 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 | 3 | 2014 |
| BioSeD-Biological Sequences Database FMF Cruz online at: http://www. cs. smu. edu/˜ fmfernan/files/biosed-report. pdf 102, 2010 | 3 | 2010 |
| On the prescribed Q-curvature problem in Riemannian manifolds FF Cruz, T Cruz manuscripta mathematica 165, 121-133, 2021 | 2 | 2021 |
| 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 | 2 | 2020 |
| Linear Logic and Coordination for Parallel Programming FMF Cruz PQDT-Global, 2016 | 2 | 2016 |
| Thread-aware logic programming for data-driven parallel programs F Cruz, R Rocha, SC Goldstein | 2 | 2015 |
| A parallel virtual machine for executing forward-chaining linear logic programs FF Cruz, R Rocha, SC Goldstein | 2 | 2014 |
| The Dirichlet problem for curvature equations in Riemannian manifolds JHS de Lira, FF Cruz Indiana University Mathematics Journal, 815-854, 2013 | 2 | 2013 |
| Call subsumption mechanisms for tabled logic programs FMF Cruz | 2 | 2010 |
| On compiling linear logic programs with comprehensions, aggregates and rule priorities F Cruz, R Rocha Practical Aspects of Declarative Languages: 17th International Symposium …, 2015 | 1 | 2015 |
| Meld: A logical approach to distributed and parallel programming SC Goldstein, F Cruz, ... Technical report, DTIC Document, 2012 | 1 | 2012 |
Ricardo RochaComputer Science Department, University of PortoDirección de correo verificada de dcc.fc.up.pt
