Mirian Halfeld Ferrari Alves

According to our database, Mirian Halfeld Ferrari Alves authored at least 60 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

From Text to Knowledge with Graphs: modelling, querying and exploiting textual content.

Genoveva Vargas-Solar, Mirian Halfeld Ferrari Alves, Anne-Lyse Minard Forst

CoRR, 2023

Incremental Consistent Updating of Incomplete Databases.

Jacques Chabin, Mirian Halfeld Ferrari Alves, Nicolas Hiot, Dominique Laurent

CoRR, 2023

Guest editorial: Advances in intelligent data, data engineering, and information systems.

Mírian Halfeld Ferrari, Paolo Ceravolo, Sonja Ristic, Yaser Jararweh, Dimitrios Katsaros

Comput. Sci. Inf. Syst., 2023

Databases and Information Systems: Contributions from ADBIS 2023 Workshops and Doctoral Consortium.

Adam Przybylek, Aleksandra Karpus, Allel Hadjali, Anton Dignös, Carmem S. Hara, Danae Pla Karidi, Ester Zumpano, Fabio Persia, Genoveva Vargas-Solar, George Papastefanatos, Giancarlo Sperlì, Giorgos Giannopoulos, Ivan Lukovic, Julien Aligon, Manolis Terrovitis, Marek Grzegorowski, Mariella Bonomo, Mirian Halfeld Ferrari Alves, Nicolas Labroche, Paul Monsarrat, Richard Chbeir, Sana Sellami, Seshu Tirupathi, Simona E. Rombo, Slavica Kordic, Sonja Ristic, Tommaso Di Noia, Torben Bach Pedersen, Vincenzo Moscato

Proceedings of the New Trends in Database and Information Systems, 2023

Managing Linked Nulls in Property Graphs: Tools to Ensure Consistency and Reduce Redundancy.

Jacques Chabin, Mírian Halfeld Ferrari, Nicolas Hiot, Dominique Laurent

Proceedings of the Advances in Databases and Information Systems, 2023

2022

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

CoRR, 2022

Relation Extraction from Clinical Cases for a Knowledge Graph.

Agata Savary, Alena Silvanovich, Anne-Lyse Minard, Nicolas Hiot, Mirian Halfeld Ferrari Alves

Proceedings of the New Trends in Database and Information Systems, 2022

2021

Graph rewriting rules for RDF database evolution: optimizing side-effect processing.

Jacques Chabin, Cédric Eichler, Mírian Halfeld Ferrari, Nicolas Hiot

Int. J. Web Inf. Syst., 2021

Querying Linked Data: how to ensure user's quality requirements.

Jacques Chabin, Mírian Halfeld Ferrari, Béatrice Markhoff, Thanh Binh Nguyen

CoRR, 2021

Role-Based Access Control on Graph Databases.

Jacques Chabin, Cristina Dutra de Aguiar Ciferri, Mirian Halfeld Ferrari Alves, Carmem S. Hara, Raqueline R. M. Penteado

Proceedings of the SOFSEM 2021: Theory and Practice of Computer Science, 2021

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

Proceedings of the Service-Oriented Computing - ICSOC 2021 Workshops, 2021

The Formal-Language-Constrained Graph Minimization Problem.

Ciro M. Medeiros, Martin A. Musicante, Mírian Halfeld Ferrari

Proceedings of the New Trends in Database and Information Systems, 2021

2020

Consistent updating of databases with marked nulls.

Jacques Chabin, Mírian Halfeld Ferrari, Dominique Laurent

Knowl. Inf. Syst., 2020

DOING@DEFT : cascade de CRF pour l'annotation d'entités cliniques imbriquées (DOING@DEFT : cascade of CRF for the annotation of nested clinical entities).

Anne-Lyse Minard, Andréane Roques, Nicolas Hiot, Mirian Halfeld Ferrari Alves, Agata Savary

Proceedings of the Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 2020

Graph Rewriting Rules for RDF Database Evolution Management.

Jacques Chabin, Cédric Eichler, Mírian Halfeld Ferrari, Nicolas Hiot

Proceedings of the iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30, 2020

Databases and Information Systems in the AI Era: Contributions from ADBIS, TPDL and EDA 2020 Workshops and Doctoral Consortium.

Ladjel Bellatreche, Fadila Bentayeb, Mária Bieliková, Omar Boussaid, Barbara Catania, Paolo Ceravolo, Elena Demidova, Mírian Halfeld Ferrari, María Teresa Gómez-López, Carmem S. Hara, Slavica Kordic, Ivan Lukovic, Andrea Mannocci, Paolo Manghi, Francesco Osborne, Christos Papatheodorou, Sonja Ristic, Dimitris Sacharidis, Oscar Romero, Angelo A. Salatino, Guilaine Talens, Maurice van Keulen, Thanasis Vergoulis, Maja Zumer

Proceedings of the ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium, 2020

Natural Language Querying System Through Entity Enrichment.

Joshua Amavi, Mírian Halfeld Ferrari, Nicolas Hiot

Proceedings of the ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium, 2020

2018

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

Mirian Halfeld Ferrari Alves, Carmem S. Hara, Nádia P. Kozievitch, Flávio R. Uber

Proceedings of the Latin America Data Science Workshop co-located with 44th International Conference on Very Large Data Bases (VLDB 2018), 2018

Validating Data from Semantic Web Providers.

Jacques Chabin, Mírian Halfeld Ferrari, Béatrice Markhoff, Thanh Binh Nguyen

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

A Context-driven Querying System for Urban Graph Analysis.

Jacques Chabin, Luiz Celso Gomes Jr., Mírian Halfeld Ferrari

Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

2017

RDF Updates with Constraints.

Mírian Halfeld Ferrari, Carmem S. Hara, Flávio R. Uber

Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017

Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data.

Laurent DOrazio, Mirian Halfeld Ferrari Alves, Carmem Satie Hara, Nádia P. Kozievitch, Martin A. Musicante

Proceedings of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017

Updating RDF/S Databases Under Constraints.

Mirian Halfeld Ferrari Alves, Dominique Laurent

Proceedings of the Advances in Databases and Information Systems, 2017

2016

Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático.

Simone de Oliveira Santos, Martin A. Musicante, Mirian Halfeld Ferrari Alves

RITA, 2016

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, Sophie Robert

Int. J. Web Grid Serv., 2016

2014

Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems.

Joshua Amavi, Mirian Halfeld Ferrari Alves

Trans. Large Scale Data Knowl. Centered Syst., 2014

A ToolBox for Conservative XML Schema Evolution and Document Adaptation.

Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty

Proceedings of the Database and Expert Systems Applications, 2014

Preference-driven Refinement of Service Compositions.

Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante, Verónika Peralta, Sophie Robert

Proceedings of the CLOSER 2014, 2014

2013

Conservative Type Extensions for XML Data.

Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty

Trans. Large Scale Data Knowl. Centered Syst., 2013

Filtering XFD toward interoperability.

Joshua Amavi, Mirian Halfeld Ferrari Alves

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Automatic Refinement of Service Compositions.

Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert

Proceedings of the Web Engineering - 13th International Conference, 2013

2012

A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates.

Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima

Trans. Large Scale Data Knowl. Centered Syst., 2012

2011

Weak Inclusion for XML Types.

Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty

Proceedings of the Implementation and Application of Automata, 2011

PEWS platform: a web services composition environment.

Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante

Proceedings of the 6th Workshop on Emerging Web Services Technology, 2011

Attribute Grammar for XML Integrity Constraint Validation.

Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima

Proceedings of the Database and Expert Systems Applications, 2011

2010

Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.

Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty

Proceedings of the Theoretical Aspects of Computing, 2010

2009

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

Béatrice Bouchou, Mírian Halfeld Ferrari, Maria Adriana Lima

Tech. Sci. Informatiques, 2009

2008

Dependence graphs for verifications of web service compositions with PEWS.

Cheikh Ba, Mírian Halfeld Ferrari

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

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

Efficient Constraint Validation for Updated XML Database.

Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari, Dominique Laurent, Maria Adriana Lima, Martin A. Musicante

Informatica (Slovenia), 2007

Aspects dynamiques de XML et spécification des interfaces de services web avec PEWS. (Dynamic aspects of XML and web service interface specification with PEWS).

Mirian Halfeld Ferrari Alves

, 2007

2006

XML Document Correction: Incremental Approach Activated by Schema Validation.

Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary

Proceedings of the Tenth International Database Engineering and Applications Symposium (IDEAS 2006), 2006

Composing Web Services with PEWS: A Trace-Theoretical Approach.

Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Integrating Correction into Incremental Validation.

Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary

Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

2005

PEWS: A New Language for Building Web Service Interfaces.

Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante

J. Univers. Comput. Sci., 2005

Incremental string correction: Towards correction of XML documents.

Ahmed Cheriat, Agata Savary, Béatrice Bouchou, Mirian Halfeld Ferrari Alves

Proceedings of the Prague Stringology Conference, 2005

2004

Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators.

Sandra de Amo, Mirian Halfeld Ferrari Alves

J. Univers. Comput. Sci., 2004

Incremental Constraint Checking for XML Documents.

Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante

Proceedings of the Database and XML Technologies, 2004

Conservative Extensions of Regular Languages .

Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

Schema Evolution for XML: A Consistency-Preserving Approach.

Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

XRM: An XML-Based Language for Rule Mining Systems.

Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Tao-Yuan Jen, Dominique Laurent

Proceedings of the ICEIS 2004, 2004

Business to Business Transaction Modeling and WWW Support.

Mateus Barcellos Costa, Rodolfo F. Resende, Mirian Halfeld Ferrari Alves, Marcelo Eduardo Vieira Segatto

Proceedings of the Business Process Management: Second International Conference, 2004

2003

Tree Automata to Verify XML Key Constraints.

Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante

Proceedings of the International Workshop on Web and Databases, 2003

Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints.

Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Denio Duarte

Proceedings of the ICEIS 2003, 2003

Updates and Incremental Validation of XML Documents.

Béatrice Bouchou, Mirian Halfeld Ferrari Alves

Proceedings of the Database Programming Languages, 9th International Workshop, 2003

2000

Efficient Maintenance of Temporal Data Warehouses.

Sandra de Amo, Mirian Halfeld Ferrari Alves

Proceedings of the 2000 International Database Engineering and Applications Symposium, 2000

1998

Update Rules in Datalog Programs.

Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos

J. Log. Comput., 1998

1996

Point fixe alterné et bases de données Datalog étendues.

Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos

Proceedings of the JFPLC'96, 1996

1995

Règles de mises à jour et programmes Datalog^neg.

Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos

Proceedings of the JFPLC'95, 1995

1994

Passive and Active Rules in Deductive Databases.

Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994