Follow
Enrique Martínez
Enrique Martínez
Universidad de Castilla-La Mancha
No verified email
Title
Cited by
Cited by
Year
Implementation, outcomes, and lessons learned from a collaborative primary health care program to improve diabetes care among urban Latino populations
BJ McElmurry, LL McCreary, CG Park, L Ramos, E Martinez, R Parikh, ...
Health Promotion Practice 10 (2), 293-302, 2009
752009
Validation and verification of web services choreographies by using timed automata
ME Cambronero, G Díaz, V Valero, E Martínez
The Journal of Logic and Algebraic Programming 80 (1), 25-49, 2011
702011
A model for visual specification of e-contracts
E Martínez, G Díaz, ME Cambronero, G Schneider
2010 IEEE International Conference on Services Computing, 1-8, 2010
362010
Impact of COVID-19 in nutritional and functional status of survivors admitted in intensive care units during the first outbreak. Preliminary results of the NUTRICOVID study
C Cuerda, IS López, CG Martínez, MM Viveros, C Velasco, VC Peñafiel, ...
Clinical Nutrition 41 (12), 2934-2939, 2022
322022
Specification and verification of normative texts using CO Diagrams
G Díaz, ME Cambronero, E Martínez, G Schneider
IEEE Transactions on Software Engineering 40 (8), 795-817, 2013
242013
WST: a tool supporting timed composite Web Services Model transformation
ME Cambronero, G Díaz, E Martínez, V Valero, L Tobarra
Simulation 88 (3), 349-364, 2012
182012
A comparative study between wsci, ws-cdl, and owl-s
ME Cambronero, G Díaz, E Martínez, V Valero
2009 IEEE International Conference on e-Business Engineering, 377-382, 2009
172009
Design and verification of web services compositions
E Martinez, ME Cambronero, G Diaz, V Valero
2009 Fourth International Conference on Internet and Web Applications and …, 2009
102009
Contractually compliant service compositions
E Martínez, G Díaz, ME Cambronero
International Conference on Service-Oriented Computing, 636-644, 2011
62011
Mutilación genital femenina. Más que un problema de salud
E Martínez García
Grupo Editorial Universitario, 2008
62008
Timed automata semantics for visual e-contracts
E Martínez, ME Cambronero, G Díaz, G Schneider
arXiv preprint arXiv:1109.2654, 2011
42011
Design and Generation of Web Services Choreographies with Time Constraints.
ME Cambronero, VV Ruiz, E Martinez
J. Univers. Comput. Sci. 17 (13), 1800-1829, 2011
42011
Automated analysis of conflicts in software product lines
E Martinez, G Schneider
Proceedings of 1st International Workshop on Formal Methods in Software …, 2010
22010
Time Ordering Architecture in SCA.
E Martínez, G Díaz, CR Martínez, ME Cambronero, VV Ruiz
TAMoCo, 117-126, 2009
22009
Estrategias educativas y de evaluación en la formación de médicos especialistas
VAG Flores, LAC Navarro, JA Osuna, EA Martínez
Gaceta médica de México 153 (4), 503-509, 2017
12017
Transforming WS-CDL specifications into Coloured Petri Nets
V Valero, H Macia, E Martínez
International Workshop on Petri Nets and Software Engineering, 293-312, 2009
12009
Long-term outcomes in critically ill patients who survived COVID-19: The NUTRICOVID observational cohort study
J Álvarez-Hernández, P Matía-Martín, E Cáncer-Minchot, C Cuerda, ...
Clinical Nutrition 42 (10), 2029-2035, 2023
2023
Between the local and the global: symbols of cultural tradition in the processes of creation for tourism
PL Charpentier, C Andres, EM Perez, E Martinez, FCS DosSantos
UNIV POLITECNICA VALENCIA, 2021
2021
Clinical and Epidemiological Characteristics of New Cases of HIV/AIDS Identified between 2011-2016 at a Tertiary Hospital, in Mexico City
EA Martínez, VAG Flores, PA Nibardo, GI Samanta
2018
NON-INVASIVE TEST TO ASSESS HEPATIC FIBROSIS. COMPARISION OF APRI, FORNS AND FIB-4 INDEX WITH TRANSIENT ELASTOGRAPHY IN CHRONIC HEPATITIS C
ML Gonzalez, E Martinez, C Andres, M Garcia, G Varo, L Navarro
CLINICAL CHEMISTRY AND LABORATORY MEDICINE 49, S584-S584, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20