Concepedia

José Antonio Martín

JA

3

Publications

130

Citations

3

H-Index

1979

Active since

Affiliations

Universidad de Málaga(Current)

José Antonio Martín is an author at Universidad de Málaga specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringData ScienceFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware AnalysisFormal Verification

Publications per year

1979–2009

3

Publications

3

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services

Javier Cámara, José Antonio Martín, Gwen Salaün et al. · 2009 · 53 citations

Web Service Specification, Engineering, Verification +27

AUTOMATIC INCIDENT DETECTION - TRRL ALGORITHMS HIOCC AND PATREG

Josh Collins, Cleve Hopkins, José Antonio Martín · 1979 · 43 citations

Engineering, Pattern Discovery, Information Forensics +21

Automatic Generation of Adaptation Contracts

José Antonio Martín, Ernesto Pimentel · Electronic Notes in Theoretical Computer Science · 2009 · 34 citations · Full text

Mathematical Programming, Software Maintenance, Engineering +22

Rows per page

1–3 of 3