Martin Musicante
Cited by
Cited by
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
Incremental constraint checking for XML documents
M Abrão, B Bouchou, M Ferrari, D Laurent, M Musicante
Database and XML Technologies, 358-379, 2004
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
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
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
An action semantics for ML concurrency primitives
P Mosses, M Musicante
FME'94: Industrial Benefit of Formal Methods, 461-479, 1994
GM-C: a graph multi-combinator machine
MA Musicante, RD Lins
Microprocessing and Microprogramming 31 (1-5), 81-84, 1991
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
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
A bottom-up algorithm for answering context-free path queries in graph databases
FC Santos, US Costa, MA Musicante
International Conference on Web Engineering, 225-233, 2018
Tree automata to verify XML key constraints
B Bouchou, MHF Alves, MA Musicante
International Workshop on the Web and Databases, 2003
Automatic refinement of service compositions
US Costa, MH Ferrari, MA Musicante, S Robert
International Conference on Web Engineering, 400-407, 2013
The Sun RPC language semantics
M Musicante
Aarhus University, Computer Science Department, 1992
Semantic web services testing: a systematic mapping study
JB de Souza Neto, AM Moreira, MA Musicante
Computer Science Review 28, 140-156, 2018
Object-oriented action semantics specifications
C Carvilhe, MA Musicante
J. UCS 9 (8), 910-934, 2003
PEWS platform: a Web services composition environment
C Ba, MH Ferrari, MA Musicante
Proceedings of the 6th International Workshop on Enhanced Web Service …, 2011
Expressing workflow patterns for web services: The case of PEWS
M Musicante, E Potrich
Journal of Universal Computer Science 12 (7), 903-921, 2006
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
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)
R Da Luz, M Halfeld Ferrari, MA Musicante
Journal of Algorithms 62 (3-4), 148-167, 2007
Building web services interfaces using predicate path expressions
C Ba, MH Ferrari, M Musicante
Proceedings of SBLP, 147-160, 2005
The system can't perform the operation now. Try again later.
Articles 1–20