|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto |
JCML: A specification language for the runtime verification of Java Card programs.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante |
PEWS platform: a web services composition environment. |
WEWST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty |
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
An Implementation of Object-Oriented Action Semantics in Maude. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
Maude Object-Oriented Action Tool. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin A. Musicante, Edinardo Potrich, Marcos Aurélio Carrero |
A programming environment for web services. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
PEWS, back-end, front-end |
| 1 | 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) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto da Silva Bigonha, Martin A. Musicante |
Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages. |
J. UCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
Using Visitor Patterns in Object-Oriented Action Semantics. |
J. UCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Martin A. Musicante, Edinardo Potrich |
Expressing Workflow Patterns for Web Services: The Case of PEWS. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Composing Web Services with PEWS: A Trace-Theoretical Approach. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin A. Musicante, Ricardo Massa Ferreira Lima |
The 9th Brazilian Symposium on Programming Languages J.UCS Special Issue. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
PEWS: A New Language for Building Web Service Interfaces. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante |
Schema Evolution for XML: A Consistency-Preserving Approach. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Araújo, Martin A. Musicante |
LFL: A Library of Generic Classes for Object-Oriented Action Semantics. |
SCCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante |
Conservative Extensions of Regular Languages . |
SCCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante |
Incremental Constraint Checking for XML Documents. |
XSym |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudio Carvilhe, Martin A. Musicante |
Object-Oriented Action Semantics Specifications. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Tree Automata to Verify XML Key Constraints. |
WebDB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Henrique Denes H. Fernandes, Martin A. Musicante, Elias Procópio Duarte Jr. |
ANEMONA: A language for programming NEtwork MONitoring Applications. |
LANOMS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Décio Krause, Emerson Faria Nobre, Martin A. Musicante |
Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation. |
SCCC |
2001 |
DBLP DOI BibTeX RDF |
Bibel´s matrix connection method, theorem prover, paraconsistent logic, annotated logic |
| 1 | Elias Procópio Duarte Jr., Martin A. Musicante |
Formal Specification of SNMP MIB's Using Action Semantics: The Routing Proxy Case Study. |
Integrated Network Management |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")