Mírian Halfeld Ferrari Alves



Publications

Different Bibliografy Servers
  • Here is my list of my publications according to the DBLP bibliography server (maintained by Michael Ley).
  • The new Google Scholar service shows citations for my papers.

  • Please, for citations of my papers use my complete last name or: Halfeld Ferrari


    My own list (not always up to date)

    Authors are (almost) always presented in alphabetical order. Exceptions are marked in green .
  • Journals
  • Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari,
    Dominique Laurent, Maria-Adriana Lima and M. Musicante,
    Efficient Constraint Validation for Updated XML Databases
    Informatica, volume 31, number 3, pages 285-310, 2007.

  • Robson da Luz; Mírian Halfeld Ferrari and Martin Musicante
    Regular Expression Transformations to Extend Regular Languages (With Application to a Datalog XML Schema Validator).
    Journal of Algorithms, Special Issue, Volume 62, Issues 3-4, Pages 148-167, July-October 2007.

  • Cheikh Ba; Marcos Aurélio Carrero; Mírian Halfeld Ferrari and Martin Musicante
    PEWS: A New Language for Building Web Service Interfaces.
    Journal of Universal Computer Science, Volume 11, No. 7, Special Issue - Selected papers from the "9th Brazilian Symposium on Programming Languages " July, 2005.
    Impact (citeseer): 0.34 (top 61.83%)

  • Sandra de Amo and Mírian Halfeld Ferrari Alves
    Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators
    Journal of Universal Computer Science, vol 10, no. 9, 2004.
    Impact (citeseer): 0.34 (top 61.83%)

  • M. Halfeld Ferrari Alves; D. Laurent and N. Spyratos.
    Update Rules in Datalog Programs
    Journal of Logic and Computation, Vol 8, numéro 6, december 1998. Impact (citeseer): 1.29 (top 12.69%)

  • Book Chapters
  • Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari and Martin A. Musicante
    Extending XML Types Using Updates;
    in Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes, edited by Dr. Hung, IGI Global.

  • International Conferences (with selection comitee)

  • Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante and Pierre Réty
    Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution;
    Theoretical Aspects of Computing - ICTAC 2010
    Pages 60-75
    Full version: Report 2010

  • Cheikh Ba and Mirian Halfeld Ferrari
    Dependence Graphs for Verifications of Web Service Compositions with PEWS ;
    the 23rd ACM Symposium on Applied Computing - SAC - SIGAPP
    Special track on Web Technologies. SAC 2008
    Acceptation: 30% of the track papers were accepted.

  • Cheikh Ba, Mirian Halfeld Ferrari and Martin Musicante
    Composing Web Services with PEWS: a trace-theoretical approach;
    The 4th IEEE European Conference on Web     Services (ECOWS); December 2006.
    Acceptation ECOWS 2006: 24 papers among 115 submissions.
    Slides

  • Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari and Agata Savary
    XML Document Correction: Incremental Approach Activated by Schema Validation
    Proceedings of the International Database Engineering and Applications Symposium - IDEAS 2006.\\
    Impact (citeseer): 0.27 (top 67.56%)

  • A. Cheriat, A. Savary, B. Bouchou and M. Halfeld Ferrari
    Incremental String Correction: Towards Correction of XML Documents,
    Proceedings of the Prague Stringology Conference '05 (PSC'05), Prague, August 2005.

  • Maria Adriana Abrão, Béatrice Bouchou, Mírian Halfeld Ferrari Alves, Dominique Laurent and Martin Musicante
    Incremental Constraint Checking for XML Documents
    Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, LNCS Volume 3186 / 2004

  • Béatrice Bouchou, Denio Duarte, Mírian Halfeld Ferrari Alves, Dominique Laurent and Martin Musicante
    Conservative Extensions of Regular Languages
    XXIV International Conference of the Chilean Computer Science Society (SCCC 2004)

  • Béatrice Bouchou, Denio Duarte, Mírian Halfeld Ferrari Alves, Dominique Laurent and Martin Musicante
    Schema Evolution for XML: A Consistency-preserving Approach
    29th International Symposium, Mathematical Foundations of Computer Science MFCS 2004, Prague, Czech Republic, August 22-27, LNCS Volume 3153 / 2004.
    Impact (citeseer): 0.48 (top 52.25\%)

  • Mateus Barcellos da Costa, Rodolfo Ferreira Resende, Mirian Halfeld Ferrari, Marcelo Vieira Segatto
    Business to Business Transaction Modeling and WWW Support
    2nd International Conference on Business Process Management - BPM, 2004
    LNCS Volume 3080/2004 (Slides)

  • Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari Alves, Tao Jen and Dominique Laurent
    XRM: An XML-based Language for Rule Mining Systems
    International Conference on Enterprise Information System - ICEIS, 2004.
    Impact (citeseer): 0.03 (top 95.49%)

  • Béatrice Bouchou and Mírian Halfeld Ferrari Alves
    Updates and Incremental Validation of XML Documents
    The 9th International Workshop on Data Base Programming Languages, Potsdam, Germany, September 6 - 8, 2003.
    LNCS Volume 2921/2004 (Slides)
    Impact (citeseer): 1.21 (top 15.56%)

  • Béatrice Bouchou, Mírian Halfeld Ferrari Alves and Martin A. Musicante
    Tree Automata to Verify Key Constraints
    Web and Databases (WebDB), June, San Diego, CA, USA, 2003. (Slides)
    Impact (citeseer): 1.99 (top 2.86\%)

  • Béatrice Bouchou, Denio Duarte, Mírian Halfeld Ferrari Alves and Dominique Laurent
    Extending Tree Automata to Model XML Validation under Element and Attribute Constraints
    International Conference on Enterprise Information System - ICEIS, 2003. (Slides)
    Impact (citeseer): 0.03 (top 95.49%)

  • Sandra de Amo and Mírian Halfeld Ferrari Alves
    Efficient Maintenance of Temporal Data Warehouses
    Proceedings of the International Database Engineering and Applications Symposium(IDEAS), Yokohama, Japan, September 2000.
    Impact (citeseer): 0.27 (top 67.56%)

  • M. Halfeld Ferrari Alves; D. Laurent and N. Spyratos.
    Update Rules in Datalog Programs
    Third Logic Programming and Non-Monotonic Reasoning Conference, Lexington, KY, USA, LNAI - Lecture Notes in Artificial Inteligence, number 928, Springer Verlag, 1995.
    Full version - technical report LRI - number 1156

  • M. Halfeld Ferrari Alves; D. Laurent and N. Spyratos.
    Passive And Active Rules in Deductive Databases
    Proceedings of the International Symposium on Mathematical Foundations of Computer Science, Springer-Verlag, LNCS - Lecture Notes in Computer Science, number 841, 1994.
    Full version - technical report LRI - number 1156


  • National Conferences (with selection comitee)

  • Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari and Agata Savary,
    Integrating Correction into Incremental Validation ,
    Journées de Bases de Données Avancées, BDA 2006.

  • Cheikh Ba, Mírian Halfeld Ferrari and Martin Musicante;
    Building Web Service Interfaces using Predicate Path Expressions
    SBLP 2005 - 9th Brazilian Symposium on Programming

  • M. Halfeld Ferrari Alves; S. Kekkonen; D. Laurent et N. Spyratos,
    Point fixe alterné et bases de données Datalog-neg
    Actes des V-èmes Journées Francophones de Programmation en Logique et Contraintes (JFPLC'96), 1996.
    Full version - technical report LRI - number 1156 (rep95.ps.gz)

  • M. Halfeld Ferrari Alves; D. Laurent and N. Spyratos.
    Update Transactions for Deductive Databases with Update Rules
    Proceedings of the X Brazilian Symposium on Database System - SBBD-95, 1995.

  • M. Halfeld Ferrari Alves; D. Laurent and N. Spyratos.
    Règles de mise à jour et programmes Datalog-neg (extended abstract)
    Actes des IV-èmes Journées Francophones de Programmation en Logique (JFPL'95), Dijon, mai 1995.



  • HDR

  • M. Halfeld Ferrari Alves.
    Aspects dynamiques de XML et spécification des interfaces de services web avec PEWS
    Mémoire pour l'obtention de l'habilitation à diriger des recherches, Université François Rabelais de Tours, France, 30 novembre 2007.
    Memoire (fichier pdf)


  • PhD Thesis

  • M. Halfeld Ferrari Alves.
    Règles de mise à jour pour les bases de données déductives
    Thèse pour l'obtention du titre de doctorat, numéro d'ordre 4360, Université de Paris-Sud (XI), Orsay, France, 1996.
    Abstract


  • Some Research Reports

  • Béatrice Bouchou and Mírian Halfeld Ferrari Alves
    XML Dossiers and Update Operations: an Incremental Validation Method
    Rapport de recherche numéro 270, LI/Université de Tours, 2003

  • Sandra de Amo and Mírian Halfeld Ferrari Alves
    Self-Maintainable Temporal Data Wahehouses,
    Rapport de recherche numéro 258, LI/Université de Tours,2002.


  • Invited Tutorial - Datalog

  • M. Halfeld Ferrari Alves.
    Tutorial - Datalog, programação lógica e negação (A Survey - Datalog, logic programming and negation)
    IV Semana de Informática da Universidade Federal de Uberlândia, MG, Brasil, 1997
    File: In Portugese(tutorial.ps.gz) or in French (fr-tutorial.ps.gz)