Mirian Halfeld Ferrari Alves

Mírian Halfeld Ferrari

2008
22	EE	Cheikh Ba, Mírian Halfeld Ferrari: Dependence graphs for verifications of web service compositions with PEWS. SAC 2008: 2387-2391
2007
21	EE	Robson 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
19	EE	Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS 2006: 65-74
18	EE	Bé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
16	EE	Cheikh 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
15	EE	Mateus 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
13	EE	Bé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
12	EE	Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Conservative Extensions of Regular Languages . SCCC 2004: 99-109
11	EE	Maria 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
10	EE	Sandra 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
9	EE	Bé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
7	EE	Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Tree Automata to Verify XML Key Constraints. WebDB 2003: 37-42
2000
6	EE	Sandra 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
1		Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Passive and Active Rules in Deductive Databases. MFCS 1994: 383-392

Coauthor Index

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

Colors in the list of coauthors