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
702004
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
512004
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
392003
Incremental constraint checking for XML documents
MA Abrao, B Bouchou, M Halfeld-Ferrari, D Laurent, MA Musicante
Database and XML Technologies, 112-127, 2004
312004
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
Update rules in datalog programs
M Halfeld-Ferrari, D Laurent, N Spyratos
Journal of Logic and Computation 8 (6), 745-775, 1998
29*1998
Update rules in Datalog programs
M Halfeld-Ferrari, D Laurent, N Spyratos
International Conference on Logic Programming and Nonmonotonic Reasoning, 71-84, 1995
29*1995
Update rules in Datalog programs
M Halfeld Ferrari, D Laurent, N Spyratos
Logic Programming and Nonmonotonic Reasoning, 71-84, 1995
29*1995
Efficient maintenance of temporal data warehouses
S De Amo, M Halfeld-Ferrari
Database Engineering and Applications Symposium, 2000 International, 188-196, 2000
192000
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
172005
Efficient constraint validation for updated xml database
B Bouchou, A Cheriat, M Halfeld-Ferrari, D Laurent, MA Lima, ...
Informatica 31 (3), 2007
162007
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
162006
Incremental string correction: Towards correction of XML documents.
A Cheriat, A Savary, B Bouchou, M Halfeld-Ferrari
Stringology, 201-215, 2005
122005
Contraintes d'intégrité pour XML: visite guidée par une syntaxe homogène
B Bouchou, M HALFELD FERRARI, M ADRIANA LIMA
TSI. Technique et science informatiques 28 (3), 331-364, 2009
112009
Tree Automata to Verify XML Key Constraints.
B Bouchou, M Halfeld Ferrari, MA Musicante
WebDB 2003, 37-42, 2003
112003
Attribute grammar for XML integrity constraint validation
B Bouchou, M Halfeld-Ferrari, MAV Lima
Database and Expert Systems Applications, 94-109, 2011
102011
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
101995
Automatic refinement of service compositions
US Costa, M Halfeld-Ferrari, MA Musicante, S Robert
Web Engineering, 400-407, 2013
92013
PEWS platform: a Web services composition environment
C Ba, M Halfeld-Ferrari, MA Musicante
Proceedings of the 6th International Workshop on Enhanced Web Service …, 2011
92011
Aspects dynamiques de XML et spécification des interfaces de services web avec PEWS
M Halfeld-Ferrari
Université François Rabelais-Tours, 2007
9*2007
The system can't perform the operation now. Try again later.
Articles 1–20