Enrique Martínez

18 papers A 1C 1Misc 1Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Toward a Unifying Framework for Biophysical Variable Retrieval From EUMETSAT Sensors: Application to Meteosat Data.
IEEE Trans. Geosci. Remote. Sens.
Adrián Jiménez-Guisado, Francisco Javier García-Haro, Manuel Campos-Taberner, Beatriz Martínez, Sergio Sánchez-Ruiz, Fernando Camacho, Enrique Martínez, Jorge Sánchez-Zapero, María Amparo Gilabert
2014 J jnl
Specification and Verification of NormativeTexts Using C-O Diagrams.
IEEE Trans. Software Eng.
Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider
2012 J jnl
WST: a tool supporting timed composite Web Services Model transformation.
Simul.
María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, Llanos Tobarra
2011 J jnl
Billion-atom synchronous parallel kinetic Monte Carlo simulations of critical 3D Ising systems.
J. Comput. Phys.
Enrique Martínez, Paul R. Monasterio, Jaime Marian
2011 Misc conf
Colour Texture Analysis for Classifying the Tear Film Lipid Layer: A Comparative Study.
DICTA
Beatriz Remeseiro, Lucía Ramos, Marta Penas, Enrique Martínez, Manuel G. Penedo, Antonio Mosquera González
2011 A conf
Contractually Compliant Service Compositions.
ICSOC
Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero
2011 J jnl
Design and Generation of Web Services Choreographies with Time Constraints.
J. Univers. Comput. Sci.
María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez
2011 — conf
Timed Automata Semantics for Visual e-Contracts
FLACOS
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
2011 J jnl
Validation and verification of Web services choreographies by using timed automata.
J. Log. Algebraic Methods Program.
María-Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez
2010 — conf
A Model for Visual Specification of E-contracts.
IEEE SCC
Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider
2010 — conf
Automated Analysis of Conflicts in Software Product Lines.
SPLC Workshops
Enrique Martínez, Gerardo Schneider
2010 J jnl
Billion-atom Synchronous Parallel Kinetic Monte Carlo Simulations of Critical 3D Ising Systems
CoRR
Enrique Martínez, Paul R. Monasterio, Jaime Marian
2009 — conf
A Comparative Study between WSCI, WS-CDL, and OWL-S.
ICEBE
María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero
2009 — conf
Analysis of TMC Antenna Solutions.
VTC Spring
Malgorzata Brzeska, Ramiro Quintero, Víctor Mata, Cristina Domingo-Sàbat, Enrique Martínez
2009 C conf
Design and Verification of Web Services Compositions.
ICIW
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero
2009 — conf
Formal Study of Prioritized Service Compositions.
SITIS
César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang
2009 — conf
Time Ordering Architecture in SCA.
TAMoCo
Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz
2008 J jnl
Synchronous parallel kinetic Monte Carlo for continuum diffusion-reaction systems.
J. Comput. Phys.
Enrique Martínez, Jaime Marian, Malvin H. Kalos, José Manuel Perlado