The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mirian Halfeld Ferrari Alves: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
    Update Rules in Datalog Programs. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1995, pp:71-84 [Conf]
  2. Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary
    Integrating Correction into Incremental Validation. [Citation Graph (0, 0)][DBLP]
    BDA, 2006, pp:- [Conf]
  3. Mateus Barcellos Costa, Rodolfo F. Resende, Mirian Halfeld Ferrari Alves, Marcelo Vieira Segatto
    Business to Business Transaction Modeling and WWW Support. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2004, pp:132-147 [Conf]
  4. Béatrice Bouchou, Mirian Halfeld Ferrari Alves
    Updates and Incremental Validation of XML Documents. [Citation Graph (0, 0)][DBLP]
    DBPL, 2003, pp:216-232 [Conf]
  5. Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante
    Composing Web Services with PEWS: A Trace-Theoretical Approach. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:65-74 [Conf]
  6. Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Denio Duarte
    Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2003, pp:184-190 [Conf]
  7. Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Tao-Yuan Jen, Dominique Laurent
    XRM: An XML-Based Language for Rule Mining Systems. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2004, pp:441-446 [Conf]
  8. Sandra de Amo, Mirian Halfeld Ferrari Alves
    Efficient Maintenance of Temporal Data Warehouses. [Citation Graph (0, 0)][DBLP]
    IDEAS, 2000, pp:188-196 [Conf]
  9. Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary
    XML Document Correction: Incremental Approach Activated by Schema Validation. [Citation Graph (0, 0)][DBLP]
    IDEAS, 2006, pp:228-238 [Conf]
  10. Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos
    Point fixe alterné et bases de données Datalog étendues. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1996, pp:33-48 [Conf]
  11. Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
    Règles de mises à jour et programmes Datalogneg. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:241-254 [Conf]
  12. Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
    Passive and Active Rules in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:383-392 [Conf]
  13. Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
    Schema Evolution for XML: A Consistency-Preserving Approach. [Citation Graph (0, 0)][DBLP]
    MFCS, 2004, pp:876-888 [Conf]
  14. Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
    Conservative Extensions of Regular Languages . [Citation Graph (0, 0)][DBLP]
    SCCC, 2004, pp:99-109 [Conf]
  15. Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante
    Tree Automata to Verify XML Key Constraints. [Citation Graph (0, 0)][DBLP]
    WebDB, 2003, pp:37-42 [Conf]
  16. Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
    Incremental Constraint Checking for XML Documents. [Citation Graph (0, 0)][DBLP]
    XSym, 2004, pp:112-127 [Conf]
  17. Sandra de Amo, Mirian Halfeld Ferrari Alves
    Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:9, pp:1035-1064 [Journal]
  18. Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante
    PEWS: A New Language for Building Web Service Interfaces. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:7, pp:1215-1233 [Journal]
  19. Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
    Update Rules in Datalog Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:6, pp:745-775 [Journal]
  20. Ahmed Cheriat, Agata Savary, Béatrice Bouchou, Mirian Halfeld Ferrari Alves
    Incremental string correction: Towards correction of XML documents. [Citation Graph (0, 0)][DBLP]
    Stringology, 2005, pp:201-215 [Conf]

  21. Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002