dblp.uni-trier.dewww.uni-trier.de

Mirian Halfeld Ferrari Alves Vis

Mírian Halfeld Ferrari

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
24EEBéatrice Bouchou, Mírian Halfeld Ferrari, M. Lima: Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène. Technique et Science Informatiques 28(3): 331-364 (2009)
2008
23EECheikh Ba, Mírian Halfeld Ferrari: Dependence graphs for verifications of web service compositions with PEWS. SAC 2008: 2387-2391
2007
22EEBéatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari, Dominique Laurent, Maria Adriana Lima, Martin A. Musicante: Efficient Constraint Validation for Updated XML Database. Informatica (Slovenia) 31(3): 285-309 (2007)
21EERobson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). J. Algorithms 62(3-4): 148-167 (2007)
2006
20 Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary: Integrating Correction into Incremental Validation. BDA 2006
19EECheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS 2006: 65-74
18EEBéatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary: XML Document Correction: Incremental Approach Activated by Schema Validation. IDEAS 2006: 228-238
2005
17 Ahmed Cheriat, Agata Savary, Béatrice Bouchou, Mirian Halfeld Ferrari Alves: Incremental string correction: Towards correction of XML documents. Stringology 2005: 201-215
16EECheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante: PEWS: A New Language for Building Web Service Interfaces. J. UCS 11(7): 1215-1233 (2005)
2004
15EEMateus Barcellos Costa, Rodolfo F. Resende, Mirian Halfeld Ferrari Alves, Marcelo Eduardo Vieira Segatto: Business to Business Transaction Modeling and WWW Support. Business Process Management 2004: 132-147
14 Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Tao-Yuan Jen, Dominique Laurent: XRM: An XML-Based Language for Rule Mining Systems. ICEIS (1) 2004: 441-446
13EEBéatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Schema Evolution for XML: A Consistency-Preserving Approach. MFCS 2004: 876-888
12EEBéatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Conservative Extensions of Regular Languages . SCCC 2004: 99-109
11EEMaria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Incremental Constraint Checking for XML Documents. XSym 2004: 112-127
10EESandra de Amo, Mirian Halfeld Ferrari Alves: Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators. J. UCS 10(9): 1035-1064 (2004)
2003
9EEBéatrice Bouchou, Mirian Halfeld Ferrari Alves: Updates and Incremental Validation of XML Documents. DBPL 2003: 216-232
8 Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Denio Duarte: Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints. ICEIS (1) 2003: 184-190
7EEBéatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Tree Automata to Verify XML Key Constraints. WebDB 2003: 37-42
2000
6EESandra de Amo, Mirian Halfeld Ferrari Alves: Efficient Maintenance of Temporal Data Warehouses. IDEAS 2000: 188-196
1998
5 Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Update Rules in Datalog Programs. J. Log. Comput. 8(6): 745-775 (1998)
1996
4 Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos: Point fixe alterné et bases de données Datalog étendues. JFPLC 1996: 33-48
1995
3 Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Règles de mises à jour et programmes Datalogneg. JFPLC 1995: 241-254
2 Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Update Rules in Datalog Programs. LPNMR 1995: 71-84
1994
1EEMirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Passive and Active Rules in Deductive Databases. MFCS 1994: 383-392

Coauthor Index

1Maria Adriana Abrão [11]
2Sandra de Amo [6] [10]
3Cheikh Ba [16] [19] [23]
4Béatrice Bouchou [7] [8] [9] [11] [12] [13] [14] [17] [18] [20] [22] [24]
5Marcos Aurélio Carrero [16]
6Ahmed Cheriat [14] [17] [18] [20] [22]
7Mateus Barcellos Costa [15]
8Denio Duarte [8] [12] [13]
9Tao-Yuan Jen [14]
10Synnöve Kekkonen-Moneta [4]
11Dominique Laurent [1] [2] [3] [4] [5] [8] [11] [12] [13] [14] [22]
12M. Lima [24]
13Maria Adriana Lima [22]
14Robson da Luz [21]
15Martin A. Musicante [7] [11] [12] [13] [16] [19] [21] [22]
16Rodolfo F. Resende [15]
17Agata Savary [17] [18] [20]
18Marcelo Eduardo Vieira Segatto [15]
19Nicolas Spyratos [1] [2] [3] [4] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)