Mirian Halfeld Ferrari Alves

Mírian Halfeld Ferrari

	2011
28		Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty: Weak Inclusion for XML Types. CIAA 2011: 30-41
27		Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima: Attribute Grammar for XML Integrity Constraint Validation. DEXA (1) 2011: 94-109
26		Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante: PEWS platform: a web services composition environment. WEWST 2011: 1-8
	2010
25		Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty: Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. ICTAC 2010: 60-75
	2009
24		Béatrice Bouchou, Mírian Halfeld Ferrari, Maria Adriana 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	Joshua Amavi	[28]
2	Sandra de Amo	[6] [10]
3	Cheikh Ba	[16] [19] [23] [26]
4	Béatrice Bouchou-Markhoff (Béatrice Bouchou, Béatrice Markhoff)	[7] [8] [9] [11] [12] [13] [14] [17] [18] [20] [22] [24] [27]
5	Marcos Aurélio Carrero	[16]
6	Jacques Chabin	[25] [28]
7	Ahmed Cheriat	[14] [17] [18] [20] [22]
8	Mateus Barcellos Costa	[15]
9	Denio Duarte	[8] [12] [13]
10	Tao-Yuan Jen	[14]
11	Synnöve Kekkonen-Moneta	[4]
12	Dominique Laurent	[1] [2] [3] [4] [5] [8] [11] [12] [13] [14] [22]
13	Maria Adriana Lima (Maria Adriana Vidigal de Lima, Maria Adriana Abrão)	[11] [22] [24] [27]
14	Robson da Luz	[21]
15	Martin A. Musicante	[7] [11] [12] [13] [16] [19] [21] [22] [25] [26]
16	Rodolfo F. Resende	[15]
17	Pierre Réty	[25] [28]
18	Agata Savary	[17] [18] [20]
19	Marcelo Eduardo Vieira Segatto	[15]
20	Nicolas Spyratos	[1] [2] [3] [4] [5]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page