The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin A. Musicante: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante
    Composing Web Services with PEWS: A Trace-Theoretical Approach. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:65-74 [Conf]
  2. Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
    Schema Evolution for XML: A Consistency-Preserving Approach. [Citation Graph (0, 0)][DBLP]
    MFCS, 2004, pp:876-888 [Conf]
  3. Marcelo Araújo, Martin A. Musicante
    LFL: A Library of Generic Classes for Object-Oriented Action Semantics. [Citation Graph (0, 0)][DBLP]
    SCCC, 2004, pp:39-47 [Conf]
  4. Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
    Conservative Extensions of Regular Languages . [Citation Graph (0, 0)][DBLP]
    SCCC, 2004, pp:99-109 [Conf]
  5. Décio Krause, Emerson Faria Nobre, Martin A. Musicante
    Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation. [Citation Graph (0, 0)][DBLP]
    SCCC, 2001, pp:161-167 [Conf]
  6. Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante
    Tree Automata to Verify XML Key Constraints. [Citation Graph (0, 0)][DBLP]
    WebDB, 2003, pp:37-42 [Conf]
  7. Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
    Incremental Constraint Checking for XML Documents. [Citation Graph (0, 0)][DBLP]
    XSym, 2004, pp:112-127 [Conf]
  8. Elias Procópio Duarte Jr., Martin A. Musicante, Diógenes Cogo Furlan
    Formal specification of SNMPv3 entities using action semantics. [Citation Graph (0, 0)][DBLP]
    Int. Journal of Network Management, 2004, v:14, n:5, pp:295-303 [Journal]
  9. Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante
    PEWS: A New Language for Building Web Service Interfaces. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:7, pp:1215-1233 [Journal]
  10. Claudio Carvilhe, Martin A. Musicante
    Object-Oriented Action Semantics Specifications. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:8, pp:910-934 [Journal]
  11. Martin A. Musicante, Ricardo Massa Ferreira Lima
    The 9th Brazilian Symposium on Programming Languages J.UCS Special Issue. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:7, pp:1115-1116 [Journal]
  12. Martin A. Musicante, Edinardo Potrich
    Expressing Workflow Patterns for Web Services: The Case of PEWS. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:7, pp:903-921 [Journal]
  13. Julio C. T. da Silva, Martin A. Musicante, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio
    XML Schema Evolution by Context Free Grammar Inference. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:444-0 [Conf]

  14. An Implementation of Object-Oriented Action Semantics in Maude. [Citation Graph (, )][DBLP]


  15. Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. [Citation Graph (, )][DBLP]


  16. A programming environment for web services. [Citation Graph (, )][DBLP]


  17. Maude Object-Oriented Action Tool. [Citation Graph (, )][DBLP]


  18. Specification and Runtime Verification of Java Card Programs. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002