| 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 | 54 | 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 | 31 | 2004 |
| 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 | 19 | 2005 |
| 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 |
| An action semantics for ML concurrency primitives P Mosses, M Musicante FME'94: Industrial Benefit of Formal Methods, 461-479, 1994 | 17 | 1994 |
| 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 | 16 | 2007 |
| 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 | 15 | 2008 |
| 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 | 13 | 2018 |
| A bottom-up algorithm for answering context-free path queries in graph databases FC Santos, US Costa, MA Musicante International Conference on Web Engineering, 225-233, 2018 | 12 | 2018 |
| Tree automata to verify XML key constraints B Bouchou, MHF Alves, MA Musicante International Workshop on the Web and Databases, 2003 | 12 | 2003 |
| The Sun RPC language semantics M Musicante Aarhus University, Computer Science Department, 1992 | 11 | 1992 |
| Object-oriented action semantics specifications C Carvilhe, MA Musicante J. UCS 9 (8), 910-934, 2003 | 10 | 2003 |
| Automatic refinement of service compositions US Costa, MH Ferrari, MA Musicante, S Robert International Conference on Web Engineering, 400-407, 2013 | 9 | 2013 |
| 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 |
| Semantic web services testing: A systematic mapping study JB de Souza Neto, AM Moreira, MA Musicante Computer Science Review 28, 140-156, 2018 | 8 | 2018 |
| 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 | 8 | 2009 |
| 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 | 8 | 2007 |
| Building web services interfaces using predicate path expressions C Ba, MH Ferrari, M Musicante Proceedings of SBLP, 147-160, 2005 | 8 | 2005 |
Mirian Halfeld Ferrari AlvesProfessor of Computer Science (for citations use Halfeld Ferrari)Verified email at univ-orleans.fr
