Mirian Halfeld Ferrari Alves

Mírian Halfeld Ferrari

	2009
24		Bé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
23		Cheikh Ba, Mírian Halfeld Ferrari: Dependence graphs for verifications of web service compositions with PEWS. SAC 2008: 2387-2391
	2007
22		Bé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)
21		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		Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS 2006: 65-74
18		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		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		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		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		Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Conservative Extensions of Regular Languages . SCCC 2004: 99-109
11		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		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		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		Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Tree Automata to Verify XML Key Constraints. WebDB 2003: 37-42
	2000
6		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] [23]
4	Béatrice Bouchou	[7] [8] [9] [11] [12] [13] [14] [17] [18] [20] [22] [24]
5	Marcos Aurélio Carrero	[16]
6	Ahmed Cheriat	[14] [17] [18] [20] [22]
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] [22]
12	M. Lima	[24]
13	Maria Adriana Lima	[22]
14	Robson da Luz	[21]
15	Martin A. Musicante	[7] [11] [12] [13] [16] [19] [21] [22]
16	Rodolfo F. Resende	[15]
17	Agata Savary	[17] [18] [20]
18	Marcelo Eduardo Vieira Segatto	[15]
19	Nicolas Spyratos	[1] [2] [3] [4] [5]

Colors in the list of coauthors