Jose F. Morales
Title
Cited by
Cited by
Year
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
1642012
Use of heart rate variability in monitoring stress and recovery in judo athletes
J Morales, JM Álamo, X García-Massó, JL López, P Serra-Añó, ...
The Journal of Strength & Conditioning Research 28 (7), 1896-1905, 2014
1052014
Physical activity, perceptual-motor performance, and academic learning in 9-to-16-years-old school children.
J Morales, LM Gonzalez, M Guerra, C Virgili, V Unnithan
International Journal of Sport Psychology 42 (4), 401, 2011
772011
The use of heart rate variability in assessing precompetitive stress in high-standard judo athletes
J Morales, V Garcia, X García-Massó, P Salvá, R Escobar
International journal of sports medicine 34 (02), 144-151, 2013
752013
Physical activity, physical fitness and academic achievement in adolescents: a self-organizing maps approach
M Pellicer-Chenoll, X Garcia-Massó, J Morales, P Serra-Añó, ...
Health education research 30 (3), 436-448, 2015
732015
Relation between physical activity and academic performance in 3rd-year secondary education students
J Morales, M Gomis, M Pellicer-Chenoll, X García-Massó, A Gómez, ...
Perceptual and motor skills 113 (2), 539-546, 2011
602011
Theory and practice of finding eviction sets
P Vila, B Köpf, JF Morales
2019 IEEE Symposium on Security and Privacy (SP), 39-54, 2019
582019
Spectector: Principled detection of speculative information flows
M Guarnieri, B Köpf, JF Morales, J Reineke, A Sánchez
2020 IEEE Symposium on Security and Privacy (SP), 1-19, 2020
502020
Effects of resistance training on strength, pain and shoulder functionality in paraplegics
P Serra-Añó, M Pellicer-Chenoll, X García-Massó, J Morales, ...
Spinal cord 50 (11), 827-831, 2012
402012
Improved compilation of Prolog to C using moded types and determinism information
J Morales, M Carro, M Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 86-103, 2004
362004
RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata
B Kafle, JP Gallagher, JF Morales
International Conference on Computer Aided Verification, 261-268, 2016
312016
An overview of the ciao multiparadigm language and program development environment and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López, JF Morales, G Puebla
Concurrency, Graphs and Models, 209-237, 2008
302008
Heart rate variability in individuals with thoracic spinal cord injury
P Serra-Añó, LL Montesinos, J Morales, L López-Bueno, M Gomis, ...
Spinal Cord 53 (1), 59-63, 2015
282015
Experiencia con éxito de aprendizaje cooperativo en Educación Física
C Curto Luque, I Gelabert Udina, C González Arévalo, J Morales Aznar
Barcelona: INDE, 2009, 2009
262009
High-level languages for small devices: a case study
M Carro, JF Morales, HL Muller, G Puebla, M Hermenegildo
Proceedings of the 2006 international conference on Compilers, architecture …, 2006
262006
Acute effects of jaw clenching using a customized mouthguard on anaerobic ability and ventilatory flows
J Morales, B Buscà, M Solana-Tramunt, A Miró
Human Movement Science 44, 270-276, 2015
242015
Reducing the overhead of assertion run-time checks via static analysis
N Stulova, JF Morales, MV Hermenegildo
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
202016
Stress and autonomic response to sleep deprivation in medical residents: A comparative cross-sectional study
J Morales, A Yáñez, L Fernández-González, L Montesinos-Magraner, ...
PloS one 14 (4), e0214858, 2019
192019
Effects of rapid weight loss on balance and reaction time in elite judo athletes
J Morales, C Ubasart, M Solana-Tramunt, I Villarrasa-Sapiña, ...
International journal of sports physiology and performance 13 (10), 1371-1377, 2018
162018
Practical run-time checking via unobtrusive property caching
N Stulova, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 15 (4-5), 726-741, 2015
152015
The system can't perform the operation now. Try again later.
Articles 1–20