| 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 | 62 | 2004 |
| Incremental constraint checking for XML documents M Abrão, B Bouchou, M Ferrari, D Laurent, M Musicante Database and XML Technologies, 358-379, 2004 | 36 | 2004 |
| 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 | 25 | 2018 |
| A bottom-up algorithm for answering context-free path queries in graph databases FC Santos, US Costa, MA Musicante Web Engineering: 18th International Conference, ICWE 2018, Cáceres, Spain …, 2018 | 20 | 2018 |
| An action semantics for ML concurrency primitives P Mosses, M Musicante FME'94: Industrial Benefit of Formal Methods, 461-479, 1994 | 20 | 1994 |
| 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 | 18 | 2005 |
| 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 | 17 | 2007 |
| 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 | 17 | 2006 |
| GM-C: a graph multi-combinator machine MA Musicante, RD Lins Microprocessing and Microprogramming 31 (1-5), 81-84, 1991 | 16 | 1991 |
| 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 | 14 | 2008 |
| Semantic web services testing: a systematic mapping study JB de Souza Neto, AM Moreira, MA Musicante Computer Science Review 28, 140-156, 2018 | 13 | 2018 |
| LL-based query answering over RDF databases CM Medeiros, MA Musicante, US Costa Journal of Computer Languages 51, 75-87, 2019 | 12 | 2019 |
| Tree automata to verify XML key constraints B Bouchou, MHF Alves, MA Musicante International Workshop on the Web and Databases, 2003 | 12 | 2003 |
| Automatic refinement of service compositions US Costa, MH Ferrari, MA Musicante, S Robert International Conference on Web Engineering, 400-407, 2013 | 11 | 2013 |
| The Sun RPC language semantics M Musicante Aarhus University, Computer Science Department, 1992 | 11 | 1992 |
| 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 | 10 | 2009 |
| Object-oriented action semantics specifications C Carvilhe, MA Musicante J. UCS 9 (8), 910-934, 2003 | 10 | 2003 |
| Designing service-based applications in the presence of non-functional properties: A mapping study PAS Neto, G Vargas-Solar, US da Costa, MA Musicante Information and Software Technology 69, 84-105, 2016 | 9 | 2016 |
| PEWS platform: a Web services composition environment C Ba, MH Ferrari, MA Musicante Proceedings of the 6th International Workshop on Enhanced Web Service …, 2011 | 9 | 2011 |
| Expressing workflow patterns for web services: The case of PEWS M Musicante, E Potrich Journal of Universal Computer Science 12 (7), 903-921, 2006 | 9 | 2006 |
Mirian Halfeld Ferrari AlvesProfessor of Computer Science (for citations use Halfeld Ferrari)Verified email at univ-orleans.fr
