José Carlos dos Santos Júnior

Statistics

Publications

Citations

H-Index

Active since

2007

Affiliations

Agência Nacional de Energia Elétrica(Current)

José Carlos dos Santos Júnior is an author at Agência Nacional de Energia Elétrica specializing in formal verification, system software, and program analysis.

Top concepts

EngineeringSemantic WebFormal MethodsCloud ComputingSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal Verification

Publications per year

2007–2020

Publications

Adaptive web service composition

Fernando Lins, José Carlos dos Santos Júnior, Nelson Souto Rosa · ACM SIGSOFT Software Engineering Notes · 2007 · 17 citations

Web Service Specification, Engineering, Web Service Adaptability +18

Electrochemistry: Modified Electrodes and their Potentialities

Michael Douglas Santos Monteiro, José Carlos dos Santos Júnior, Eliana Midori Sussuchi · Revista Virtual de Química · 2020 · 16 citations · Full text

1–2 of 2