| 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 | 51 | 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 | 17 | 2005 |
| 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 |
| 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 | 16 | 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 | 15 | 2008 |
| Tree automata to verify XML key constraints B Bouchou, MHF Alves, MA Musicante International Workshop on the Web and Databases, 2003 | 11 | 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 |
| 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 |
| Expressing workflow patterns for web services: The case of PEWS M Musicante, E Potrich Journal of Universal Computer Science 12 (7), 903-921, 2006 | 8 | 2006 |
| Building web services interfaces using predicate path expressions C Ba, MH Ferrari, M Musicante Proceedings of SBLP, 147-160, 2005 | 8 | 2005 |
| Formal specification of SNMP MIB's using action semantics: the routing proxy case study EP Duarte Jr, MA Musicante Integrated Network Management, 1999. Distributed Management for the …, 1999 | 8 | 1999 |
| 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 | 7 | 2018 |
| 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 | 7 | 2018 |
| A reusable component-based model for WSN storage simulation MA Carrero, MA Musicante, AL dos Santos, CS Hara Proceedings of the 13th ACM Symposium on QoS and Security for Wireless and …, 2017 | 7 | 2017 |
Mirian Halfeld Ferrari AlvesProfessor of Computer Science (for citations use Halfeld Ferrari)Verified email at univ-orleans.fr
