E-LIB Suche - Ergebnisse für: Salmerón, Alberto

1

A formal approach to automatically analyse extra‐functional..:

Rosario Espada, Ana ; del Mar Gallardo, Maria ; Salmerón, Alberto..
Software Testing, Verification and Reliability. 29 (2019) 4-5 - p. , 2019

Link: https://doi.org/10.1002/..

2

Integrating river basin DSSs with model checking:

del Mar Gallardo, María ; Merino, Pedro ; Panizo, Laura.
International Journal on Software Tools for Technology Transfer. 20 (2017) 5 - p. 499-514 , 2017

Link: https://doi.org/10.1007/..

3

Performance Analysis of Spotify® for Android with Model-Bas..:

Espada, Ana Rosario ; Gallardo, María del Mar ; Salmerón, Alberto.
Mobile Information Systems. 2017 (2017) - p. 1-14 , 2017

Link: https://doi.org/10.1155/..

4

Integrating model checking and simulation for protocol opti..:

Salmerón, Alberto ; Merino, Pedro
SIMULATION. 91 (2014) 1 - p. 3-25 , 2014

Link: https://doi.org/10.1177/..

5

Using SPIN for automated debugging of infinite executions o..:

Adalid, Damián ; Salmerón, Alberto ; Gallardo, María del Mar.
Journal of Systems and Software. 90 (2014) - p. 61-75 , 2014

Link: https://doi.org/10.1016/..

6

UML-Based Model-Driven Development for HSDPA Design:

Martínez, Jesús ; Merino, Pedro ; Salmerón, Alberto.
IEEE Software. 26 (2009) 3 - p. 26-33 , 2009

Link: https://doi.org/10.1109/..

7

OPOSICIÓN A LAS VACUNAS EN CHILE. ANÁLISIS DE UN CASO RECIE..:

Henríquez, Juan Alberto Salmeron
Revista Chilena de Derecho. 44 (2017) 2 - p. 563-574 , 2017

Link: https://www.jstor.org/st..

8

Interaction between MARK3 (rs11623869), PLCB4 (rs6086746) a..:

Aparicio-Bautista, Diana I. ; Jiménez-Ortega, Rogelio F. ; Becerra-Cervera, Adriana...
Frontiers in Endocrinology. 15 (2024) - p. , 2024

Link: https://doi.org/10.3389/..

9

Correlates of protection and determinants of SARS-CoV-2 bre..:

Martín Pérez, Carla ; Aguilar, Ruth ; Jiménez, Alfons...
BMC Medicine. 22 (2024) 1 - p. , 2024

Link: https://doi.org/10.1186/..

10

Evolution of SARS-CoV-2 during the first year of the COVID-..:

Zambrana Montaño, Romina ; Culasso, Andrés Carlos Alberto ; Fernández, Franco...
Virus Research. 323 (2023) - p. 198936 , 2023

Link: https://doi.org/10.1016/..

11

Interaction between SIDT2 and ABCA1 Variants with Nutrients..:

León-Reyes, Guadalupe ; Argoty-Pantoja, Anna D. ; Rivera-Paredez, Berenice...
Nutrients. 15 (2023) 2 - p. 370 , 2023

Link: https://doi.org/10.3390/..

12

Association Study between Antioxidant Nutrient Intake and L..:

Jiménez-Ortega, Rogelio F. ; Aparicio-Bautista, Diana I. ; Becerra-Cervera, Adriana...
Antioxidants. 12 (2023) 12 - p. 2089 , 2023

Link: https://doi.org/10.3390/..

13

Unravelling the Contribution of the rs7041 and rs4588 Polym..:

Hidalgo-Bravo, Alberto ; Rivera-Paredez, Berenice ; León-Reyes, Guadalupe...
International Journal of Molecular Sciences. 23 (2022) 18 - p. 10581 , 2022

Link: https://doi.org/10.3390/..

14

Determinants of early antibody responses to COVID-19 mRNA v..:

Moncunill, Gemma ; Aguilar, Ruth ; Ribes, Marta...
eBioMedicine. 75 (2022) - p. 103805 , 2022

Link: https://doi.org/10.1016/..

15

miR-106b is a novel target to promote muscle regeneration a..:

Rodriguez-Outeiriño, Lara ; Hernandez-Torres, Francisco ; Ramirez de Acuña, Felicitas...
Molecular Therapy - Nucleic Acids. 29 (2022) - p. 769-786 , 2022

Link: https://doi.org/10.1016/..