Jose F. Morales
Titolo
Citata da
Citata da
Anno
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
1612012
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
1032014
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
762011
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
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
712013
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
592011
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
522019
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
392020
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
392012
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
352004
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
332016
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
272015
Experiencias con éxito de aprendizaje cooperativo en Educación Física
C Curto, I Gelabert, C González, J Morales
Zaragoza: INDE, 2009
252009
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
252006
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
232015
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
182019
The work endurance recovery method for quantifying training loads in judo
J Morales, E Franchini, X Garcia-Massó, M Solana-Tramunt, LM González
International journal of sports physiology and performance 11 (7), 913-919, 2016
152016
Practical run-time checking via unobtrusive property caching
N Stulova, JF Morales, MV Hermenegildo
arXiv preprint arXiv:1507.05986, 2015
152015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20