O Projeto e Implementação da Linguagem A. - Silvio Romero de Lemos Meira; Martin A. Musicante; André Santos (SBES, 1991)

GM-C: A graph multi-combinator machine. - Martin A. Musicante; Rafael Dueire Lins (Microprocessing and Microprogramming, 1991)

An Action Semantics for ML Concurrency Primitives. - Peter D. Mosses; Martin A. Musicante (FME, 1994)

Formal Specification of SNMP MIB's Using Action Semantics: The Routing Proxy Case Study. - Elias Procópio Duarte Jr.; Martin A. Musicante (Integrated Network Management, 1999)

Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation. - Décio Krause; Emerson Faria Nobre; Martin A. Musicante (SCCC, 2001)

ANEMONA: A language for programming NEtwork MONitoring Applications. - Henrique Denes H. Fernandes; Martin A. Musicante; Elias Procópio Duarte Jr. (LANOMS, 2003)

Tree Automata to Verify XML Key Constraints. - Béatrice Bouchou; Mirian Halfeld Ferrari Alves; Martin A. Musicante (WebDB, 2003)

Object-Oriented Action Semantics Specifications. - Cláudio Carvilhe; Martin A. Musicante (J. Univers. Comput. Sci., 2003)

Schema Evolution for XML: A Consistency-Preserving Approach. - Béatrice Bouchou; Denio Duarte; Mirian Halfeld Ferrari Alves; Dominique Laurent 001; Martin A. Musicante (MFCS, 2004)

LFL: A Library of Generic Classes for Object-Oriented Action Semantics. - Marcelo Araújo; Martin A. Musicante (SCCC, 2004)

Conservative Extensions of Regular Languages . - Béatrice Bouchou; Denio Duarte; Mirian Halfeld Ferrari Alves; Dominique Laurent 001; Martin A. Musicante (SCCC, 2004)

Incremental Constraint Checking for XML Documents. - Maria Adriana Abrão; Béatrice Bouchou; Mirian Halfeld Ferrari Alves; Dominique Laurent 001; Martin A. Musicante (XSym, 2004)

Formal specification of SNMPv3 entities using action semantics. - Elias P. Duarte Jr.; Martin A. Musicante; Diógenes Cogo Furlan (Int. J. Netw. Manag., 2004)

PEWS: A New Language for Building Web Service Interfaces. - Cheikh Ba; Marcos Aurélio Carrero; Mirian Halfeld Ferrari Alves; Martin A. Musicante (J. Univers. Comput. Sci., 2005)

The 9th Brazilian Symposium on Programming Languages J.UCS Special Issue. - Martin A. Musicante; Ricardo Massa Ferreira Lima (J. Univers. Comput. Sci., 2005)

Composing Web Services with PEWS: A Trace-Theoretical Approach. - Cheikh Ba; Mirian Halfeld Ferrari Alves; Martin A. Musicante (ECOWS, 2006)

Expressing Workflow Patterns for Web Services: The Case of PEWS. - Martin A. Musicante; Edinardo Potrich (J. Univers. Comput. Sci., 2006)

XML Schema Evolution by Context Free Grammar Inference. - Julio C. T. da Silva; Martin A. Musicante; Aurora Trinidad Ramirez Pozo; Silvia Regina Vergilio (SEKE, 2007)

Maude Object-Oriented Action Tool. - André Murbach Maidl; Cláudio Carvilhe; Martin A. Musicante (LSFA, 2007)

Efficient Constraint Validation for Updated XML Database. - Béatrice Bouchou; Ahmed Cheriat; Mírian Halfeld Ferrari; Dominique Laurent 001; Maria Adriana Lima; Martin A. Musicante (Informatica (Slovenia), 2007)

Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). - Robson da Luz; Mirian Halfeld Ferrari Alves; Martin A. Musicante (J. Algorithms, 2007)

Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages. - Roberto da Silva Bigonha; Martin A. Musicante (J. Univers. Comput. Sci., 2007)

Using Visitor Patterns in Object-Oriented Action Semantics. - André Murbach Maidl; Cláudio Carvilhe; Martin A. Musicante (J. Univers. Comput. Sci., 2007)

A programming environment for web services. - Martin A. Musicante; Edinardo Potrich; Marcos Aurélio Carrero (SAC, 2008)

Specification and Runtime Verification of Java Card Programs. - Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto (SBMF, 2008)

ANEMONA: a programming language for network monitoring applications. - Elias Procópio Duarte Jr.; Martin A. Musicante; Henrique Denes H. Fernandes (Int. J. Netw. Manag., 2008)

An Implementation of Object-Oriented Action Semantics in Maude. - André Murbach Maidl; Cláudio Carvilhe; Martin A. Musicante (Semantics and Algebraic Specification, 2009)

Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. - Jacques Chabin; Mirian Halfeld Ferrari Alves; Martin A. Musicante; Pierre Réty (ICTAC, 2010)

PEWS platform: a web services composition environment. - Cheikh Ba; Mírian Halfeld Ferrari; Martin A. Musicante (WEWST, 2011)

Search-Based Evolution of XML Schemas. - Julio Cesar Teodoro Silva; Aurora Trinidad Ramirez Pozo; Silvia Regina Vergilio; Martin A. Musicante (Comput. Informatics, 2012)

JCML: A specification language for the runtime verification of Java Card programs. - Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto (Sci. Comput. Program., 2012)

Automatic Refinement of Service Compositions. - Umberto Souza da Costa; Mirian Halfeld Ferrari Alves; Martin A. Musicante; Sophie Robert 001 (ICWE, 2013)

Formal semantics and expressiveness of a web service composition language. - Marcelo Guerra Hahn; Regina Motz; Alberto Pardo; Martin A. Musicante (SAC, 2013)

Conservative Type Extensions for XML Data. - Jacques Chabin; Mirian Halfeld Ferrari Alves; Martin A. Musicante; Pierre Réty (Trans. Large Scale Data Knowl. Centered Syst., 2013)

SLA-Guided Data Integration on Cloud Environments. - Nadia Bennani; Chirine Ghedira Guégan; Martin A. Musicante; Genoveva Vargas-Solar (IEEE CLOUD, 2014)

Preference-driven Reﬁnement of Service Compositions. - Cheikh Ba; Umberto Souza da Costa; Mírian Halfeld Ferrari; Rémy Ferré; Martin A. Musicante; Verónika Peralta; Sophie Robert 001 (CLOSER, 2014)

Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. - Valeria de Castro; Martin A. Musicante; Umberto Souza da Costa; Plácido A. Souza Neto; Genoveva Vargas-Solar (SOFSEM, 2014)

Reliable Web Services Composition: An MDD Approach. - Genoveva Vargas-Solar; Valeria de Castro; Plácido A. Souza Neto; Javier-Alfonso Espinosa-Oviedo; Esperanza Marcos; Martin A. Musicante; José-Luis Zechinelli-Martini; Christine Collet (Polibits, 2014)

Using SLA to guide database transition to NoSQL on the cloud: A systematic mapping study. - Fabio Leal; Martin A. Musicante (AICCSA, 2015)

An abstract machine for integrating heterogeneous web applications. - Márcio A. Macêdo; Daniel A. S. Carvalho; Martin A. Musicante; Alberto Pardo; Umberto Souza da Costa (AICCSA, 2015)

Towards a Secure Database Integration Using SLA in a Multi-cloud Context. - Nadia Bennani; Chirine Ghedira Guégan; Genoveva Vargas-Solar; Martin A. Musicante (COMPSAC Workshops, 2015)

Experiments on service composition refinement on the basis of preference-driven recommendation. - Cheikh Ba; Thiago Cerqueira; Umberto Souza da Costa; Mirian Halfeld Ferrari Alves; Martin A. Musicante; Sophie Robert 001 (Int. J. Web Grid Serv., 2016)

Designing service-based applications in the presence of non-functional properties: A mapping study. - Plácido A. Souza Neto; Genoveva Vargas-Solar; Umberto Souza da Costa; Martin A. Musicante (Inf. Softw. Technol., 2016)

Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático. - Simone de Oliveira Santos; Martin A. Musicante; Mirian Halfeld Ferrari Alves (RITA, 2016)

Automating systematic mappings, adding quality to quantity: poster. - Regina Motz; Genoveva Vargas-Solar; Umberto Souza da Costa; Javier-Alfonso Espinosa-Oviedo; Martin A. Musicante; José-Luis Zechinelli-Martini; Alberto Pardo (ICSE (Companion Volume), 2017)

Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data. - Laurent d'Orazio; Mirian Halfeld Ferrari Alves; Carmem Satie Hara; Nádia P. Kozievitch; Martin A. Musicante (iThings/GreenCom/CPSCom/SmartData, 2017)

A Reusable Component-Based Model for WSN Storage Simulation. - Marcos Aurélio Carrero; Martin Alejandro Musicante; Aldri Luiz dos Santos; Carmem Satie Hara (Q2SWinet@MSWiM, 2017)

A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases. - Fred C. Santos; Umberto Souza da Costa; Martin A. Musicante (ICWE, 2018)

Efficient evaluation of context-free path queries for graph databases. - Ciro M. Medeiros; Martin A. Musicante; Umberto Souza da Costa (SAC, 2018)

SLEDS: A DSL for Data-Centric Storage on Wireless Sensor Networks. - Marcos Aurélio Carrero; Martin A. Musicante; Aldri Luiz dos Santos; Carmem S. Hara (BiDU@VLDB, 2018)

Semantic Web Services testing: A Systematic Mapping study. - João Batista de Souza Neto; Anamaria Martins Moreira; Martin A. Musicante (Comput. Sci. Rev., 2018)

πSOD-M: building SOC applications in the presence of non-functional requirements. - Khalid Belhajjame; Valeria de Castro; Javier-Alfonso Espinosa-Oviedo; Martin A. Musicante; Umberto Souza da Costa; Plácido A. Souza Neto; Genoveva Vargas-Solar; José-Luis Zechinelli-Martini (Int. J. Web Grid Serv., 2018)

Desenvolvimento de Modelos de Armazenamento em Sensores com Reutilização de Código. - Alexandre R. Ordakowski; Marcos Aurélio Carrero; Martin A. Musicante; Aldri L. dos Santos; Carmem S. Hara (SBBD, 2019)

BTestBox: A Tool for Testing B Translators and Coverage of B Models. - Diego de Azevedo Oliveira; Valério Medeiros Jr.; David Déharbe; Martin A. Musicante (TAP@FM, 2019)

LL-based query answering over RDF databases. - Ciro M. Medeiros; Martin A. Musicante; Umberto Souza da Costa (J. Comput. Lang., 2019)

Recursive Expressions for SPARQL Property Paths. - Ciro M. Medeiros; Umberto Souza da Costa; Semyon V. Grigorev; Martin A. Musicante (ADBIS/TPDL/EDA Workshops, 2020)

Mutation Operators for Large Scale Data Processing Programs in Spark. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin Alejandro Musicante (CAiSE, 2020)

An Algorithm for Context-Free Path Queries over Graph Databases. - Ciro M. Medeiros; Martin A. Musicante; Umberto Souza da Costa (SBLP, 2020)

Modeling Big Data Processing Programs. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (SBMF, 2020)

Self-healing of web service compositions: a specification rewriting approach. - Rafael Ferreira Toledo; Umberto Souza da Costa; Martin A. Musicante; Genoveva Vargas-Solar (Int. J. Web Grid Serv., 2020)

Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases. - Ciro M. Medeiros; Umberto Souza da Costa; Martin A. Musicante (ADBIS (Short Papers), 2021)

The Formal-Language-Constrained Graph Minimization Problem. - Ciro M. Medeiros; Martin A. Musicante; Mírian Halfeld Ferrari (ADBIS (Short Papers), 2021)

Data Centred Intelligent Geosciences: Research Agenda and Opportunities Position Paper. - Aderson Farias do Nascimento; Martin A. Musicante; Umberto Souza da Costa; Bruno M. Carvalho 001; Marcus Alexandre Nunes; Genoveva Vargas-Solar (ICSOC Workshops, 2021)

An Abstract View of Big Data Processing Programs. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (CoRR, 2021)

A DSL for WSN software components coordination. - Marcos Aurélio Carrero; Martin A. Musicante; Aldri Luiz dos Santos; Carmem S. Hara (Inf. Syst., 2021)

Using Provenance in Data Analytics for Seismology: Challenges and Directions. - Umberto Souza da Costa; Javier-Alfonso Espinosa-Oviedo; Martin A. Musicante; Genoveva Vargas-Solar; José-Luis Zechinelli-Martini (ADBIS (Short Papers), 2022)

A two-level formal model for Big Data processing programs. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (Sci. Comput. Program., 2022)

TRANSMUT-Spark: Transformation mutation for Apache Spark. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (Softw. Test. Verification Reliab., 2022)

Querying graph databases using context-free grammars. - Ciro M. Medeiros; Martin A. Musicante; Umberto Souza da Costa (J. Comput. Lang., 2022)

Dataversifying Earth Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life and Earth Sciences. - Genoveva Vargas-Solar; Jérôme Darmont; Alejandro Adorjan; Javier-Alfonso Espinosa-Oviedo; Carmem S. Hara; Sabine Loudcher; Regina Motz; Martin A. Musicante; José-Luis Zechinelli-Martini (EDBT/ICDT Workshops, 2024)

Dataversifying Natural Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life & Earth Sciences. - Genoveva Vargas-Solar; Jérôme Darmont; Alejandro Adorjan; Javier A. Espinosa-Oviedo; Carmem S. Hara; Sabine Loudcher; Regina Motz; Martin A. Musicante; José-Luis Zechinelli-Martini (CoRR, 2024)