Follow
Mirian Halfeld Ferrari Alves
Mirian Halfeld Ferrari Alves
Professor of Computer Science (for citations use Halfeld Ferrari)
Verified email at univ-orleans.fr - Homepage
Title
Cited by
Cited by
Year
Updates and incremental validation of XML documents
B Bouchou, M Halfeld-Ferrari
Database Programming Languages, 216-232, 2004
752004
Schema evolution for XML: A consistency-preserving approach
B Bouchou, D Duarte, M Halfeld-Ferrari, D Laurent, MA Musicante
Mathematical Foundations of Computer Science 2004, 876-888, 2004
602004
Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints.
B Bouchou, M Halfeld-Ferrari, D Laurent, D Duarte
ICEIS (1), 184-190, 2003
442003
Incremental constraint checking for XML documents
MA Abrao, B Bouchou, M Halfeld-Ferrari, D Laurent, MA Musicante
Database and XML Technologies, 112-127, 2004
322004
Update rules in datalog programs
M Halfeld-Ferrari, D Laurent, N Spyratos
Journal of Logic and Computation 8 (6), 745-775, 1998
32*1998
XML document correction: Incremental approach activated by schema validation
B Bouchou, A Cheriat, M Halfeld-Ferrari, A Savary
Database Engineering and Applications Symposium, 2006. IDEAS'06. 10th …, 2006
292006
PEWS: A New Language for Building Web Service Interfaces.
C Ba, MA Carrero, M Halfeld-Ferrari, MA Musicante
J. UCS 11 (7), 1215-1233, 2005
192005
Integrating correction into incremental validation
B Bouchou, A Cheriat, MHF Alves, A Savary
BDA, 2006
182006
Efficient maintenance of temporal data warehouses
S De Amo, M Halfeld-Ferrari
Database Engineering and Applications Symposium, 2000 International, 188-196, 2000
182000
Composing web services with PEWS: A trace-theoretical approach
C Ba, M Halfeld-Ferrari, M Musicante
Web Services, 2006. ECOWS'06. 4th European Conference on, 65-74, 2006
172006
Efficient constraint validation for updated xml database
B Bouchou, A Cheriat, M Halfeld-Ferrari, D Laurent, MA Lima, ...
Informatica 31 (3), 2007
162007
Incremental string correction: Towards correction of XML documents.
A Cheriat, A Savary, B Bouchou, M Halfeld-Ferrari
Stringology, 201-215, 2005
122005
Tree Automata to Verify XML Key Constraints.
B Bouchou, M Halfeld Ferrari, MA Musicante
WebDB 2003, 37-42, 2003
122003
Update rules and revision programs
M Halfeld Ferrari Alves, D Laurent, N Spyratos, D Stamate
Rapport de Recherche Université de Paris-Sud, Centre d’Orsay, LRI 1010, 12, 1995
121995
Automatic refinement of service compositions
US Costa, M Halfeld-Ferrari, MA Musicante, S Robert
Web Engineering, 400-407, 2013
112013
Contraintes d'intégrité pour XML. visite guidée par une syntaxe homogène
B Bouchou, MHF Alves, MA Lima
Revue des Sciences et Technologies de l'Information-Série TSI: Technique et …, 2009
112009
Conservative extensions of regular languages
B Bouchou, D Duarte, M Halfeld-Ferrari, D Laurent, M Musicante
Computer Science Society, 2004. SCCC 2004. 24th International Conference of …, 2004
112004
Attribute grammar for XML integrity constraint validation
B Bouchou, M Halfeld-Ferrari, MAV Lima
Database and Expert Systems Applications, 94-109, 2011
102011
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators.
SD Amo, M Halfeld-Ferrari
J. UCS 10 (9), 1035-1064, 2004
102004
Passive and active rules in deductive databases
M Halfeld-Ferrari, D Laurent, N Spyratos
Université de Paris-Sud, Centre d'Orsay, Laboratoire de recherche en …, 1995
10*1995
The system can't perform the operation now. Try again later.
Articles 1–20