 | 2009 |
|---|
| 22 |       | André Murbach Maidl,
Cláudio Carvilhe,
Martin A. Musicante:
An Implementation of Object-Oriented Action Semantics in Maude.
Semantics and Algebraic Specification 2009: 81-105 |
| 21 | | Umberto Souza da Costa,
Anamaria Martins Moreira,
Martin A. Musicante,
Plácido A. Souza Neto:
Specification and Runtime Verification of Java Card Programs.
Electr. Notes Theor. Comput. Sci. 240: 61-78 (2009) |
| 2008 |
|---|
| 20 | | Martin A. Musicante,
Edinardo Potrich,
Marcos Aurélio Carrero:
A programming environment for web services.
SAC 2008: 2363-2367 |
| 19 | | André Murbach Maidl,
Cláudio Carvilhe,
Martin A. Musicante:
Maude Object-Oriented Action Tool.
Electr. Notes Theor. Comput. Sci. 205: 105-121 (2008) |
| 18 | | Elias Procópio Duarte Jr.,
Martin A. Musicante,
Henrique Denes H. Fernandes:
ANEMONA: a programming language for network monitoring applications.
Int. Journal of Network Management 18(4): 295-302 (2008) |
| 2007 |
|---|
| 17 |  | Julio C. T. da Silva,
Martin A. Musicante,
Aurora Trinidad Ramirez Pozo,
Silvia Regina Vergilio:
XML Schema Evolution by Context Free Grammar Inference.
SEKE 2007: 444- |
| 16 | | Béatrice Bouchou,
Ahmed Cheriat,
Mírian Halfeld Ferrari,
Dominique Laurent,
Maria Adriana Lima,
Martin A. Musicante:
Efficient Constraint Validation for Updated XML Database.
Informatica (Slovenia) 31(3): 285-309 (2007) |
| 15 | | Robson da Luz,
Mirian Halfeld Ferrari Alves,
Martin A. Musicante:
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator).
J. Algorithms 62(3-4): 148-167 (2007) |
| 14 | | Roberto da Silva Bigonha,
Martin A. Musicante:
Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages.
J. UCS 13(6): 679-681 (2007) |
| 13 | | André Murbach Maidl,
Cláudio Carvilhe,
Martin A. Musicante:
Using Visitor Patterns in Object-Oriented Action Semantics.
J. UCS 13(6): 891-919 (2007) |
| 2006 |
|---|
| 12 | | Cheikh Ba,
Mirian Halfeld Ferrari Alves,
Martin A. Musicante:
Composing Web Services with PEWS: A Trace-Theoretical Approach.
ECOWS 2006: 65-74 |
| 11 | | Martin A. Musicante,
Edinardo Potrich:
Expressing Workflow Patterns for Web Services: The Case of PEWS.
J. UCS 12(7): 903-921 (2006) |
| 2005 |
|---|
| 10 | | Martin A. Musicante,
Ricardo Massa Ferreira Lima:
The 9th Brazilian Symposium on Programming Languages J.UCS Special Issue.
J. UCS 11(7): 1115-1116 (2005) |
| 9 | | Cheikh Ba,
Marcos Aurélio Carrero,
Mirian Halfeld Ferrari Alves,
Martin A. Musicante:
PEWS: A New Language for Building Web Service Interfaces.
J. UCS 11(7): 1215-1233 (2005) |
| 2004 |
|---|
| 8 | | Béatrice Bouchou,
Denio Duarte,
Mirian Halfeld Ferrari Alves,
Dominique Laurent,
Martin A. Musicante:
Schema Evolution for XML: A Consistency-Preserving Approach.
MFCS 2004: 876-888 |
| 7 | | Marcelo Araújo,
Martin A. Musicante:
LFL: A Library of Generic Classes for Object-Oriented Action Semantics.
SCCC 2004: 39-47 |
| 6 | | Béatrice Bouchou,
Denio Duarte,
Mirian Halfeld Ferrari Alves,
Dominique Laurent,
Martin A. Musicante:
Conservative Extensions of Regular Languages .
SCCC 2004: 99-109 |
| 5 | | Maria Adriana Abrão,
Béatrice Bouchou,
Mirian Halfeld Ferrari Alves,
Dominique Laurent,
Martin A. Musicante:
Incremental Constraint Checking for XML Documents.
XSym 2004: 112-127 |
| 4 | | Elias Procópio Duarte Jr.,
Martin A. Musicante,
Diógenes Cogo Furlan:
Formal specification of SNMPv3 entities using action semantics.
Int. Journal of Network Management 14(5): 295-303 (2004) |
| 2003 |
|---|
| 3 | | Béatrice Bouchou,
Mirian Halfeld Ferrari Alves,
Martin A. Musicante:
Tree Automata to Verify XML Key Constraints.
WebDB 2003: 37-42 |
| 2 | | Cláudio Carvilhe,
Martin A. Musicante:
Object-Oriented Action Semantics Specifications.
J. UCS 9(8): 910-934 (2003) |
| 2001 |
|---|
| 1 | | Décio Krause,
Emerson Faria Nobre,
Martin A. Musicante:
Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation.
SCCC 2001: 161-167 |
