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
522004
Incremental constraint checking for XML documents
M Abrão, B Bouchou, M Ferrari, D Laurent, M Musicante
Database and XML Technologies, 358-379, 2004
312004
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
172005
An action semantics for ML concurrency primitives
P Mosses, M Musicante
FME'94: Industrial Benefit of Formal Methods, 461-479, 1994
171994
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
162007
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
162006
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
Tree automata to verify XML key constraints
B Bouchou, MHF Alves, MA Musicante
International Workshop on the Web and Databases, 2003
112003
The Sun RPC language semantics
M Musicante
Aarhus University, Computer Science Department, 1992
111992
Object-oriented action semantics specifications
C Carvilhe, MA Musicante
J. UCS 9 (8), 910-934, 2003
102003
Automatic refinement of service compositions
US Costa, MH Ferrari, MA Musicante, S Robert
International Conference on Web Engineering, 400-407, 2013
92013
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
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
82018
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
82018
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
82007
Expressing workflow patterns for web services: The case of PEWS
M Musicante, E Potrich
Journal of Universal Computer Science 12 (7), 903-921, 2006
82006
Building web services interfaces using predicate path expressions
C Ba, MH Ferrari, M Musicante
Proceedings of SBLP, 147-160, 2005
82005
Formal specification of SNMP MIB's using action semantics: the routing proxy case study
EP Duarte Jr, MA Musicante
Integrated Network Management, 1999. Distributed Management for the …, 1999
81999
Semantic web services testing: A systematic mapping study
JB de Souza Neto, AM Moreira, MA Musicante
Computer Science Review 28, 140-156, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20