Concepedia

Enrique Martínez

EM

Statistics

Publications

4

Citations

95

H-Index

4

Active since

2010

Affiliations

University of Castilla-La Mancha(Current)

University of Gothenburg

Enrique Martínez is an author at University of Castilla-La Mancha specializing in computing, computer science, and timed automata.

Publications per year

2010–2013

4

Publications

4

Validation and verification of Web services choreographies by using timed automata

M. Emilia Cambronero, Valentín Valero, Enrique Martínez · The Journal of Logic and Algebraic Programming · 2010 · 43 citations

Computing, Computer Engineering, Computer Science +12

A Model for Visual Specification of E-contracts

Enrique Martínez, M. Emilia Cambronero, Gerardo Schneider · 2010 · 25 citations

Law, Information Systems, Contracts +12

WST: a tool supporting timed composite Web Services Model transformation

M. Emilia Cambronero, Enrique Martínez, Valentín Valero et al. · SIMULATION · 2010 · 15 citations

Computing, Computer Science, Systems Engineering +17

Specification and Verification of Normative Texts Using C-O Diagrams

M. Emilia Cambronero, Enrique Martínez, Gerardo Schneider · IEEE Transactions on Software Engineering · 2013 · 12 citations

Computing, Computer Science, Contracts +14

1–4 of 4