Mirian Halfeld Ferrari Alves

Mírian Halfeld Ferrari

	2013
c23		Joshua Amavi, Mirian Halfeld Ferrari Alves: Filtering XFD toward interoperability. SAC 2013: 868-871
	2012
j7		Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima: A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. T. Large-Scale Data- and Knowledge-Centered Systems 6: 167-197 (2012)
	2011
c22		Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima: Attribute Grammar for XML Integrity Constraint Validation. DEXA (1) 2011: 94-109
c21		Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante: PEWS platform: a web services composition environment. WEWST 2011: 1-8
c20		Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty: Weak Inclusion for XML Types. CIAA 2011: 30-41
	2010
c19		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
j6		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
c18		Cheikh Ba, Mírian Halfeld Ferrari: Dependence graphs for verifications of web service compositions with PEWS. SAC 2008: 2387-2391
	2007
j5		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)
j4		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
c17		Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary: Integrating Correction into Incremental Validation. BDA 2006
c16		Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS 2006: 65-74
c15		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
j3		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)
c14		Ahmed Cheriat, Agata Savary, Béatrice Bouchou, Mirian Halfeld Ferrari Alves: Incremental string correction: Towards correction of XML documents. Stringology 2005: 201-215
	2004
j2		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)
c13		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
c12		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
c11		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
c10		Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante: Conservative Extensions of Regular Languages . SCCC 2004: 99-109
c9		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
	2003
c8		Béatrice Bouchou, Mirian Halfeld Ferrari Alves: Updates and Incremental Validation of XML Documents. DBPL 2003: 216-232
c7		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
c6		Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Tree Automata to Verify XML Key Constraints. WebDB 2003: 37-42
	2000
c5		Sandra de Amo, Mirian Halfeld Ferrari Alves: Efficient Maintenance of Temporal Data Warehouses. IDEAS 2000: 188-196
	1998
j1		Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Update Rules in Datalog Programs. J. Log. Comput. 8(6): 745-775 (1998)
	1996
c4		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
c3		Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Règles de mises à jour et programmes Datalogneg. JFPLC 1995: 241-254
c2		Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Update Rules in Datalog Programs. LPNMR 1995: 71-84
	1994
c1		Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Passive and Active Rules in Deductive Databases. MFCS 1994: 383-392

Coauthor Index

Colors in the list of coauthors

Last update Wed May 22 11:35:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page