Concepedia

Martín A. Musicante

MA

7

Publications

85

Citations

7

H-Index

1994

Active since

Affiliations

Universidade Federal do Rio Grande do Norte(Current)

Universidade Federal do Paraná

Martín A. Musicante is an author at Universidade Federal do Rio Grande do Norte specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisAutomated ReasoningFormal VerificationLanguageLinguisticsProgram AnalysisSoftware Testing

Publications per year

1994–2018

7

Publications

7

An Action Semantics for ML Concurrency Primitives

Peter D. Mosses, Martín A. Musicante · BRICS Report Series · 1994 · 16 citations · Full text

Engineering, Action Semantics, Concurrent System +21

Tree Automata to Verify XML Key Constraints.

Béatrice Bouchou, Mírian Halfeld Ferrari, Martín A. Musicante · International Workshop on the Web and Databases · 2003 · 13 citations

Tree Automata, Tree Language, Xml Library +8

Efficient evaluation of context-free path queries for graph databases

Ciro M. Medeiros, Martín A. Musicante, Umberto Souza da Costa · 2018 · 13 citations

Syntactic Parsing, Engineering, Network Analysis +26

Semantic Web Services testing: A Systematic Mapping study

João Batista de Souza Neto, Anamaria Martins Moreira, Martín A. Musicante · Computer Science Review · 2018 · 12 citations

Web Service Specification, Engineering, Web Service Modeling +6

Conservative Extensions of Regular Languages

Béatrice Bouchou, Denio Duarte, Mírian Halfeld Ferrari et al. · 2005 · 11 citations

Engineering, Variety (Linguistics), Word W +18

Rows per page

1–5 of 7