Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

21 Results
authFullName_s : Mirian Halfeld Ferrari Alves

A Context-driven Querying System for Urban Graph Analysis

Jacques Chabin , Luiz Gomes-Jr. , Mirian Halfeld Ferrari Alves
Proceedings of the 22nd International Database Engineering & Applications Symposium, IDEAS 2018, Villa San Giovanni, Italy, June 18-20, 2018, 2018, Villa Saint Giovani, Italy. pp.297--301, ⟨10.1145/3216122.3216148⟩
Conference papers hal-01837921v1

Attribute Grammar for XML Integrity Constraint Validation

Béatrice Bouchou , Mirian Halfeld Ferrari Alves , Maria Adriana Lima
Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Aug 2011, Toulouse, France. pp.94-109
Conference papers inria-00617991v1

Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)

Robson da Luz , Mirian Halfeld Ferrari Alves , Martin A. Musicante
J. Algorithms, 2007, 62 (3-4), pp.148-167
Journal articles inria-00461223v1

XML Document Correction: Incremental Approach Activated by Schema Validation

Béatrice Bouchou , Ahmed Cheriat , Mirian Halfeld Ferrari Alves , Agata Savary
Tenth International Database Engineering and Applications Symposium (IDEAS 2006), Dec 2006, Delhi, India. pp.228-238
Conference papers inria-00461226v1

Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène

Béatrice Bouchou , Mirian Halfeld Ferrari Alves , Maria Adriana Lima
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (3), pp.331-364
Journal articles inria-00459417v1

Minimal Extensions of Tree Languages: Application to XML Schema Evolution

Jacques Chabin , Mirian Halfeld Ferrari Alves , Pierre Réty , Martin A. Musicante
[Research Report] RR-2009-06, 2009
Reports inria-00464116v1
Image document

Aspects dynamiques de XML et spécification des interfaces de services web avec PEWS

Mirian Halfeld Ferrari Alves
Informatique [cs]. Université François Rabelais - Tours, 2007
Habilitation à diriger des recherches tel-00271099v1

Weak Inclusion for XML Types

Joshua Amavi , Jacques Chabin , Mirian Halfeld Ferrari Alves , Pierre Réty
International Conference on Implementation and Application of Automata (CIAA), Jul 2011, Blois, France. pp.30-41
Conference papers inria-00594520v1

Minimal Extensions of Tree Languages: Application to XML Schema Evolution

Jacques Chabin , Mirian Halfeld Ferrari Alves , Pierre Réty , Martin A. Musicante
Journées informatiques de la région centre (JIRC), Jan 2010, Blois, France
Conference papers inria-00464120v1

Integrating Correction into Incremental Validation

Béatrice Bouchou , Ahmed Cheriat , Mirian Halfeld Ferrari Alves , Agata Savary
BDA, Oct 2006, Lille, France
Conference papers inria-00461224v1

Composing Web Services with PEWS: A Trace-Theoretical Approach

Cheikh Ba , Mirian Halfeld Ferrari Alves , Martin A. Musicante
ECOWS - Fourth IEEE European Conference on Web Services, Dec 2006, Zurich, Switzerland. pp.65-74
Conference papers inria-00461225v1

Experiments on service composition refinement on the basis of preference-driven recommendation

Cheikh Ba , Thiago Cerqueira , Umberto Souza Da Costa , Mirian Halfeld Ferrari Alves , Martin A. Musicante et al.
IJWGS, 2016, 12 (2), pp.182--214
Journal articles hal-01983131v1

Extending XML Types Using Updates

Béatrice Bouchou , Duarte Denio , Mirian Halfeld Ferrari Alves , Martin A. Musicante
IGI Global. Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes, IGI Global, 2009, ⟨10.4018/978-1-60566-330-2.ch001⟩
Book sections inria-00464001v1

Comparing graph data science libraries for querying and analysing datasets: towards data science queries on graphs

Genoveva Vargas-Solar , Pierre Marrec , Mirian Halfeld Ferrari Alves
2022
Preprints, Working Papers, ... hal-03758665v1

Dependence graphs for verifications of web service compositions with PEWS

Cheikh Ba , Mirian Halfeld Ferrari Alves
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Mar 2008, Fortaleza, Brazil. pp.2387-2391
Conference papers inria-00459420v1

NLDS-QL: From natural language data science questions to queries on graphs: analysing patients conditions & treatments

Genoveva Vargas-Solar , Karim Dao , Mirian Halfeld Ferrari Alves
2022
Preprints, Working Papers, ... hal-03758659v1

PEWS Platform : a web services composition environment

Cheikh Ba , Mirian Halfeld Ferrari Alves , Martin A. Musicante
Workshop on Enhanced Web Service Technologies (WEWST), collocated with the European Conference on Web Services (ECOWS), Sep 2011, Lugano, Switzerland
Conference papers inria-00618807v1

Efficient Constraint Validation for Updated XML Database

Béatrice Bouchou , Ahmed Cheriat , Mirian Halfeld Ferrari Alves , Dominique Laurent , Maria Adriana Lima et al.
Informatica (Slovenia), 2007, 31 (3), pp.285-309
Journal articles inria-00461221v1

Comparing Graph Data Science Libraries for Querying and Analysing Datasets: Towards Data Science Queries on Graphs

Genoveva Vargas-Solar , Pierre Marrec , Mirian Halfeld Ferrari Alves
Service-Oriented Computing – ICSOC 2021 Workshops, 13236, Springer International Publishing, pp.205-216, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-14135-5_16⟩
Book sections hal-03782537v1

Urban Data Consistency in RDF: A Case Study of Curitiba Transportation System

Mirian Halfeld Ferrari Alves , Carmem S. Hara , Nádia P. Kozievitch , Flavio R. Uber
Proceedings of the Latin America Data Science Workshop co-located with 44th International Conference on Very Large Data Bases (VLDB 2018), Rio de Janeiro, Brazil, Aug 27, 2018., 2018, Rio de Janeiro, Brazil. pp.33--40
Conference papers hal-01877614v1

Minimal tree language extensions: a keystone of XML type compatibility and evolution

Jacques Chabin , Mirian Halfeld Ferrari Alves , Martin A. Musicante , Pierre Réty
7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), Sep 2010, Natal, Brazil. pp.60-75
Conference papers inria-00483787v1