Garcia-Perez, Álvaro
9126  Ergebnisse:
Personensuche X
?
4

Paxos Consensus, Deconstructed and Abstracted:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
 
?
7

Deriving interpretations of the gradually-typed lambda calc..:

, In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation,
 
?
8

Deriving the full-reducing Krivine machine from the small-s..:

, In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming,
 
?
10

A syntactic and functional correspondence between reduction..:

, In: Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation,
 
?
11

Indirect Rectus Femoris Injury Mechanisms in Professional S..:

Jokela, Aleksi ; Mechó, Sandra ; Pasta, Giulio...
Clinical Journal of Sport Medicine.  33 (2023)  5 - p. 475-482 , 2023
 
?
12

Management of anterior thigh injuries in soccer players: pr..:

Lempainen, Lasse ; Mechó, Sandra ; Valle, Xavier...
BMC Sports Science, Medicine and Rehabilitation.  14 (2022)  1 - p. , 2022
 
?
13

Mechanisms of Hamstring Injury in Professional Soccer Playe..:

Jokela, Aleksi ; Valle, Xavier ; Kosola, Jussi...
Clinical Journal of Sport Medicine.  33 (2022)  3 - p. 217-224 , 2022
 
?
15

Muscle Damage Biomarkers in Congestion Weeks in English Pre..:

García-Romero-Pérez, Álvaro ; Ordonez, Francisco Javier ; Reyes-Gil, Fernando..
International Journal of Environmental Research and Public Health.  18 (2021)  15 - p. 7960 , 2021
 
1-15