Mirian Halfeld Ferrari Alves

Orcid: 0000-0003-2601-3224

Affiliations:
  • University of Orléans, France


According to our database1, Mirian Halfeld Ferrari Alves authored at least 61 papers between 1994 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Vers des requêtes déclaratives en science des données : EASI-GDS pour Neo4J.
Proceedings of the Extraction et Gestion des Connaissances, 2024

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

Incremental Consistent Updating of Incomplete Databases.
CoRR, 2023

Guest editorial: Advances in intelligent data, data engineering, and information systems.
Comput. Sci. Inf. Syst., 2023


Managing Linked Nulls in Property Graphs: Tools to Ensure Consistency and Reduce Redundancy.
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.
CoRR, 2022

Relation Extraction from Clinical Cases for a Knowledge Graph.
Proceedings of the New Trends in Database and Information Systems, 2022

2021
Graph rewriting rules for RDF database evolution: optimizing side-effect processing.
Int. J. Web Inf. Syst., 2021

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

Role-Based Access Control on Graph Databases.
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.
Proceedings of the Service-Oriented Computing - ICSOC 2021 Workshops, 2021

The Formal-Language-Constrained Graph Minimization Problem.
Proceedings of the New Trends in Database and Information Systems, 2021

2020
Consistent updating of databases with marked nulls.
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).
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.
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.
Proceedings of the ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium, 2020

Natural Language Querying System Through Entity Enrichment.
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.
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.
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.
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

2017
RDF Updates with Constraints.
Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017

Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data.
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.
Proceedings of the Advances in Databases and Information Systems, 2017

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

Experiments on service composition refinement on the basis of preference-driven recommendation.
Int. J. Web Grid Serv., 2016

2014
Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems.
Trans. Large Scale Data Knowl. Centered Syst., 2014

A ToolBox for Conservative XML Schema Evolution and Document Adaptation.
Proceedings of the Database and Expert Systems Applications, 2014

Preference-driven Refinement of Service Compositions.
Proceedings of the CLOSER 2014, 2014

2013
Conservative Type Extensions for XML Data.
Trans. Large Scale Data Knowl. Centered Syst., 2013

Filtering XFD toward interoperability.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Automatic Refinement of Service Compositions.
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.
Trans. Large Scale Data Knowl. Centered Syst., 2012

2011
Weak Inclusion for XML Types.
Proceedings of the Implementation and Application of Automata, 2011

PEWS platform: a web services composition environment.
Proceedings of the 6th Workshop on Emerging Web Services Technology, 2011

Attribute Grammar for XML Integrity Constraint Validation.
Proceedings of the Database and Expert Systems Applications, 2011

2010
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.
Proceedings of the Theoretical Aspects of Computing, 2010

2009
Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène.
Tech. Sci. Informatiques, 2009

2008
Dependence graphs for verifications of web service compositions with PEWS.
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).
J. Algorithms, 2007

Efficient Constraint Validation for Updated XML Database.
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).
, 2007

2006
XML Document Correction: Incremental Approach Activated by Schema Validation.
Proceedings of the Tenth International Database Engineering and Applications Symposium (IDEAS 2006), 2006

Composing Web Services with PEWS: A Trace-Theoretical Approach.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Integrating Correction into Incremental Validation.
Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

2005
PEWS: A New Language for Building Web Service Interfaces.
J. Univers. Comput. Sci., 2005

Incremental string correction: Towards correction of XML documents.
Proceedings of the Prague Stringology Conference, 2005

2004
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators.
J. Univers. Comput. Sci., 2004

Incremental Constraint Checking for XML Documents.
Proceedings of the Database and XML Technologies, 2004

Conservative Extensions of Regular Languages .
Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

Schema Evolution for XML: A Consistency-Preserving Approach.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

XRM: An XML-Based Language for Rule Mining Systems.
Proceedings of the ICEIS 2004, 2004

Business to Business Transaction Modeling and WWW Support.
Proceedings of the Business Process Management: Second International Conference, 2004

2003
Tree Automata to Verify XML Key Constraints.
Proceedings of the International Workshop on Web and Databases, 2003

Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints.
Proceedings of the ICEIS 2003, 2003

Updates and Incremental Validation of XML Documents.
Proceedings of the Database Programming Languages, 9th International Workshop, 2003

2000
Efficient Maintenance of Temporal Data Warehouses.
Proceedings of the 2000 International Database Engineering and Applications Symposium, 2000

1998
Update Rules in Datalog Programs.
J. Log. Comput., 1998

1996
Point fixe alterné et bases de données Datalog étendues.
Proceedings of the JFPLC'96, 1996

1995
Règles de mises à jour et programmes Datalog<sup>neg</sup>.
Proceedings of the JFPLC'95, 1995

1994
Passive and Active Rules in Deductive Databases.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994


  Loading...