Martin Musicante
Martin Musicante
Verifierad e-postadress på dimap.ufrn.br - Startsida
TitelCiteras avÅr
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
472004
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
An action semantics for ML concurrency primitives
P Mosses, M Musicante
FME'94: Industrial Benefit of Formal Methods, 461-479, 1994
181994
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
GM-C: a graph multi-combinator machine
MA Musicante, RD Lins
Microprocessing and Microprogramming 31 (1-5), 81-84, 1991
171991
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
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
152007
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
142008
Tree automata to verify XML key constraints
B Bouchou, MHF Alves, MA Musicante
International Workshop on the Web and Databases, 2003
112003
Object-oriented action semantics specifications
C Carvilhe, MA Musicante
J. UCS 9 (8), 910-934, 2003
102003
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
92007
The Sun RPC language semantics
M Musicante
Aarhus University, Computer Science Department, 1992
91992
Automatic refinement of service compositions
US Costa, MH Ferrari, MA Musicante, S Robert
International Conference on Web Engineering, 400-407, 2013
82013
PEWS platform: a Web services composition environment
C Ba, MH Ferrari, MA Musicante
Proceedings of the 6th International Workshop on Enhanced Web Service …, 2011
82011
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
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
72009
Lfl: A library of generic classes for object-oriented action semantics
M Araújo, MA Musicante
XXIV International Conference of the Chilean Computer Science Society, 39-47, 2004
72004
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
72004
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20