Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Merayo, Alicia
14  Ergebnisse:
Personensuche X
?
1

When COSTA Met KeY: Verified Cost Bounds:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Albert, Elvira ; Genaim, Samir ; Merayo, Alicia. - p. 19-37 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Lower-Bound Synthesis Using Loop Specialization and Max-SMT:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Albert, Elvira ; Genaim, Samir ; Martin-Martin, Enrique.. - p. 863-886 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Certified Abstract Cost Analysis:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia. - p. 24-45 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Herramienta de disección de tramas para protocolos IoT:

Narciandi-Rodríguez, Diego ; Aveleira-Mata, Jose ; Merayo Corcoba, Alicia...
Jornadas de Automática.  , 2024
Link: https://doi.org/10.17979..
 
?
5

Machine Learning in Predicting the Success of Spine Surgery..:

, In: 2024 IEEE 37th International Symposium on Computer-Based Medical Systems (CBMS),
Benitez-Andrades, Jose Alberto ; Ordas-Reyes, Nicolas ; Garcia, Antonio Serrano... - p. 303-308 , 2024
Link: https://doi.org/10.1109/..
 
?
6

Resource analysis of integer and abstract programs ; Anális..:

Merayo Corcoba, Alicia
https://hdl.handle.net/20.500.14352/3741.  , 2022
Link: https://hdl.handle.net/2..
 
?
7

Inference of Upper-Bounds on the Expected Cost of Probabili..:

Merayo Corcoba, Alicia
https://hdl.handle.net/20.500.14352/14311.  , 2019
Link: https://hdl.handle.net/2..
 
?
8

Detección estática de propiedades de ejecución de programas..:

Merayo Corcoba, Alicia
https://hdl.handle.net/20.500.14352/20488.  , 2017
Link: https://hdl.handle.net/2..
 
?
9

Characteristics of synovial fluid in patients with juvenile..:

Martínez del Val, Elena ; Rodríguez Martínez, Alicia ; Sánchez Becerra, Virginia...
Anales de Pediatría (English Edition).  91 (2019)  4 - p. 244-250 , 2019
Link: https://doi.org/10.1016/..
 
?
10

Características del líquido sinovial en pacientes con artri..:

Martínez del Val, Elena ; Rodríguez Martínez, Alicia ; Sánchez Becerra, Virginia...
Anales de Pediatría.  91 (2019)  4 - p. 244-250 , 2019
Link: https://doi.org/10.1016/..
 
?
11

Presentación del prototipo final a la Competición "Chem-E-C..:

Negro Álvarez, Carlos Manuel ; Monte Lara, M. Concepción ; Fuente González, Elena de la...
PIMCD2017.  , 2019
Link: https://hdl.handle.net/2..
 
?
12

Characteristics of synovial fluid in patients with juvenile..:

Elena Martínez del Val ; Alicia Rodríguez Martínez ; Virginia Sánchez Becerra...
http://www.sciencedirect.com/science/article/pii/S2341287919301437.  , 2019
Link: https://doi.org/10.1016/..
 
?
13

Características del líquido sinovial en pacientes con artri..:

Elena Martínez del Val ; Alicia Rodríguez Martínez ; Virginia Sánchez Becerra...
http://www.sciencedirect.com/science/article/pii/S1695403319300190.  , 2019
Link: https://doi.org/10.1016/..
 
?
14

Características del líquido sinovial en pacientes con artri..:

Martínez-del-Val, E. (Elena) ; Rodríguez-Martínez, A. (Alicia) ; Sánchez-Becerra, V. (Virginia)...
10.1016/j.anpedi.2019.01.004.  , 2019
Link: https://hdl.handle.net/1..
 
1-14