Follow
Martin Musicante
Title
Cited by
Cited by
Year
Schema evolution for XML: A consistency-preserving approach
B Bouchou, D Duarte, M Alves, D Laurent, M Musicante
Mathematical Foundations of Computer Science 2004, 876-888, 2004
602004
Incremental constraint checking for XML documents
M Abrão, B Bouchou, M Ferrari, D Laurent, M Musicante
Database and XML Technologies, 358-379, 2004
352004
Efficient evaluation of context-free path queries for graph databases
CM Medeiros, MA Musicante, US Costa
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1230-1237, 2018
232018
A bottom-up algorithm for answering context-free path queries in graph databases
FC Santos, US Costa, MA Musicante
Web Engineering: 18th International Conference, ICWE 2018, Cáceres, Spain …, 2018
192018
An action semantics for ML concurrency primitives
P Mosses, M Musicante
FME'94: Industrial Benefit of Formal Methods, 461-479, 1994
191994
Pews: A new language for building web service interfaces
C Ba, M Carrero, MH Ferrari, M Musicante
Journal of Universal Computer Science 11 (7), 1215-1233, 2005
182005
Efficient constraint validation for updated XML databases
B Bouchou, A Cheriat, MH Ferrari, D Laurent, MA Lima, MA Musicante
INFORMATICA-LJUBLJANA- 31 (3), 285, 2007
172007
Composing web services with PEWS: A trace-theoretical approach
C Ba, MH Ferrari, MA Musicante
2006 European Conference on Web Services (ECOWS'06), 65-74, 2006
172006
GM-C: a graph multi-combinator machine
MA Musicante, RD Lins
Microprocessing and Microprogramming 31 (1-5), 81-84, 1991
161991
ANEMONA: a programming language for network monitoring applications
EP Duarte Jr, MA Musicante, HDH Fernandes
International Journal of Network Management 18 (4), 295-302, 2008
152008
Semantic web services testing: a systematic mapping study
JB de Souza Neto, AM Moreira, MA Musicante
Computer Science Review 28, 140-156, 2018
132018
Tree automata to verify XML key constraints
B Bouchou, MHF Alves, MA Musicante
International Workshop on the Web and Databases, 2003
122003
LL-based query answering over RDF databases
CM Medeiros, MA Musicante, US Costa
Journal of Computer Languages 51, 75-87, 2019
112019
Automatic refinement of service compositions
US Costa, MH Ferrari, MA Musicante, S Robert
International Conference on Web Engineering, 400-407, 2013
112013
The Sun RPC language semantics
M Musicante
Aarhus University, Computer Science Department, 1992
111992
Specification and runtime verification of java card programs
US da Costa, AM Moreira, MA Musicante, PAS Neto
Electronic Notes in Theoretical Computer Science 240, 61-78, 2009
102009
Object-oriented action semantics specifications
C Carvilhe, MA Musicante
J. UCS 9 (8), 910-934, 2003
102003
PEWS platform: a Web services composition environment
C Ba, MH Ferrari, MA Musicante
Proceedings of the 6th International Workshop on Enhanced Web Service …, 2011
92011
Expressing workflow patterns for web services: The case of PEWS
M Musicante, E Potrich
Journal of Universal Computer Science 12 (7), 903-921, 2006
92006
Conservative extensions of regular languages
B Bouchou, D Duarte, MHF Alves, D Laurent, MA Musicante
Computer Science Society, 2004. SCCC 2004. 24th International Conference of …, 2004
92004
The system can't perform the operation now. Try again later.
Articles 1–20