I agree that this site is using cookies. You can find further informations here.
X
SANCHEZ-ORDAZ, MIGUEL A.
188  results:
Search for persons X
?
1

VeriFly: On-the-fly Assertion Checking via Incrementality:

SANCHEZ-ORDAZ, MIGUEL A. ; GARCIA-CONTRERAS, ISABEL ; PEREZ, VICTOR...
Theory and Practice of Logic Programming.  21 (2021)  6 - p. 768-784 , 2021
Link: https://doi.org/10.1017/..
 
?
2

VeriFly: On-the-fly Assertion Checking via Incrementality:

Sanchez-Ordaz, Miguel A ; Garcia-Contreras, Isabel ; Perez-Carrasco, Victor...
http://arxiv.org/abs/2106.07045.  , 2021
Link: http://arxiv.org/abs/210..
 
?
3

VeriFly: On-the-fly assertion checking via incrementality:

Sánchez Ordaz, Miguel Ángel ; García Contreras, Isabel ; Pérez Carrasco, Víctor...
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3110DC4ED21CCEF201477DDCB9D769C8/S1471068421000430a.pdf/verifly_onthefly_assertion_checking_via_incrementality.pdf.  , 2021
Link: https://oa.upm.es/70095/
 
?
4

Enhancement of an Integrated Development Environment (IDE) ..:

Sánchez Ordaz, Miguel Ángel
https://oa.upm.es/68542/.  , 2021
Link: https://oa.upm.es/68542/
 
?
5

Genetic risk score for insulin resistance based on gene var..:

Lares-Villaseñor, Eunice ; Guevara-Cruz, Martha ; Salazar-García, Samuel...
PLOS ONE.  19 (2024)  2 - p. e0299543 , 2024
Link: https://doi.org/10.1371/..
 
?
6

High exposure to pathogenic leptospires by the population r..:

Galarde-López, Miguel ; Bobadilla-del Valle, Miriam ; Sánchez-Zamorano, Luisa María...
Brazilian Journal of Microbiology.  52 (2021)  2 - p. 1013-1019 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Exploring novel capping framework: high substituent pyridin..:

Hernández-Borja, Fernando ; Mercado-Sánchez, Itzel ; Alcaraz, Yolanda...
DARU Journal of Pharmaceutical Sciences.  29 (2021)  2 - p. 291-310 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Design of Fluorescent Coumarin-Hydroxamic Acid Derivatives ..:

García, Santiago ; Mercado-Sánchez, Itzel ; Bahena, Luis...
Molecules.  25 (2020)  21 - p. 5134 , 2020
Link: https://doi.org/10.3390/..
 
?
9

Interspecific hybridization in insects in times of climate ..:

, In: Effects of Climate Change on Insects,
Sánchez-Guillén, Rosa Ana ; Arce-Valdés, Luis Rodrigo ; Ballén-Guapacha, Andrea Viviana.. - p. 133-156 , 2024
Link: https://doi.org/10.1093/..
 
?
10

Seismic vulnerability, municipality of Toluca: a holistic a..:

Sánchez Carmona, Fernando ; Ordaz Hernández, Alexis ; Espinosa Rodríguez, Luis Miguel.
Investigaciones Geográficas.  , 2024
Link: https://doi.org/10.14198..
 
?
11

Serum amino acid concentrations of subjects according to th..:

Eunice Lares-Villaseñor ; Martha Guevara-Cruz ; Samuel Salazar-García...
doi:10.1371/journal.pone.0299543.t005.  , 2024
Link: https://doi.org/10.1371/..
 
?
12

Additional tables:

Eunice Lares-Villaseñor ; Martha Guevara-Cruz ; Samuel Salazar-García...
doi:10.1371/journal.pone.0299543.s001.  , 2024
Link: https://doi.org/10.1371/..
 
?
13

Anthropometric, clinical, and biochemical characteristics i..:

Eunice Lares-Villaseñor ; Martha Guevara-Cruz ; Samuel Salazar-García...
doi:10.1371/journal.pone.0299543.t002.  , 2024
Link: https://doi.org/10.1371/..
 
?
14

Anthropometric, clinical, and biochemical parameters of sub..:

Eunice Lares-Villaseñor ; Martha Guevara-Cruz ; Samuel Salazar-García...
doi:10.1371/journal.pone.0299543.t004.  , 2024
Link: https://doi.org/10.1371/..
 
?
15

Anthropometric, clinical, and biochemical characteristics o..:

Eunice Lares-Villaseñor ; Martha Guevara-Cruz ; Samuel Salazar-García...
doi:10.1371/journal.pone.0299543.t001.  , 2024
Link: https://doi.org/10.1371/..
 
1-15