default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMirian Halfeld Ferrari Alves
Person information
- affiliation: University of Orléans, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c43]Valentin Bouvresse, Jacques Chabin, Virgile Crvenka, Mírian Halfeld Ferrari, Genoveva Vargas-Solar, Lingchen Wang:
Vers des requêtes déclaratives en science des données : EASI-GDS pour Neo4J. EGC 2024: 433-440- 2023
- [j14]Mírian Halfeld Ferrari, Paolo Ceravolo, Sonja Ristic, Yaser Jararweh, Dimitrios Katsaros:
Guest editorial: Advances in intelligent data, data engineering, and information systems. Comput. Sci. Inf. Syst. 20(3): v-vii (2023) - [c42]Jacques Chabin
, Mírian Halfeld Ferrari, Nicolas Hiot, Dominique Laurent:
Managing Linked Nulls in Property Graphs: Tools to Ensure Consistency and Reduce Redundancy. ADBIS 2023: 180-194 - [c41]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:
Databases and Information Systems: Contributions from ADBIS 2023 Workshops and Doctoral Consortium. ADBIS (Short Papers) 2023: 293-311 - [i6]Jacques Chabin, Mirian Halfeld Ferrari Alves, Nicolas Hiot, Dominique Laurent:
Incremental Consistent Updating of Incomplete Databases. CoRR abs/2302.06246 (2023) - [i5]Genoveva Vargas-Solar, Mirian Halfeld Ferrari Alves, Anne-Lyse Minard Forst:
From Text to Knowledge with Graphs: modelling, querying and exploiting textual content. CoRR abs/2310.06122 (2023) - 2022
- [c40]Agata Savary, Alena Silvanovich, Anne-Lyse Minard, Nicolas Hiot, Mirian Halfeld Ferrari Alves:
Relation Extraction from Clinical Cases for a Knowledge Graph. ADBIS (Short Papers) 2022: 353-365 - [i4]Genoveva Vargas-Solar, Pierre Marrec, Mirian Halfeld Ferrari Alves:
Comparing graph data science libraries for querying and analysing datasets: towards data science queries on graphs. CoRR abs/2208.09672 (2022) - [i3]Genoveva Vargas-Solar, Karim Dao, Mirian Halfeld Ferrari Alves:
NLDS-QL: From natural language data science questions to queries on graphs: analysing patients conditions & treatments. CoRR abs/2208.10415 (2022) - 2021
- [j13]Jacques Chabin, Cédric Eichler, Mírian Halfeld Ferrari, Nicolas Hiot:
Graph rewriting rules for RDF database evolution: optimizing side-effect processing. Int. J. Web Inf. Syst. 17(6): 622-644 (2021) - [c39]Ciro M. Medeiros, Martin A. Musicante, Mírian Halfeld Ferrari:
The Formal-Language-Constrained Graph Minimization Problem. ADBIS (Short Papers) 2021: 139-145 - [c38]Genoveva Vargas-Solar, Pierre Marrec, Mirian Halfeld Ferrari Alves:
Comparing Graph Data Science Libraries for Querying and Analysing Datasets: Towards Data Science Queries on Graphs. ICSOC Workshops 2021: 205-216 - [c37]Jacques Chabin, Cristina Dutra de Aguiar Ciferri, Mirian Halfeld Ferrari Alves, Carmem S. Hara, Raqueline R. M. Penteado:
Role-Based Access Control on Graph Databases. SOFSEM 2021: 519-534 - [i2]Jacques Chabin, Mírian Halfeld Ferrari, Béatrice Markhoff, Thanh Binh Nguyen:
Querying Linked Data: how to ensure user's quality requirements. CoRR abs/2107.06139 (2021) - 2020
- [j12]Jacques Chabin, Mírian Halfeld Ferrari, Dominique Laurent:
Consistent updating of databases with marked nulls. Knowl. Inf. Syst. 62(4): 1571-1609 (2020) - [c36]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:
Databases and Information Systems in the AI Era: Contributions from ADBIS, TPDL and EDA 2020 Workshops and Doctoral Consortium. ADBIS/TPDL/EDA Workshops 2020: 3-20 - [c35]Joshua Amavi, Mírian Halfeld Ferrari, Nicolas Hiot:
Natural Language Querying System Through Entity Enrichment. ADBIS/TPDL/EDA Workshops 2020: 36-48 - [c34]Jacques Chabin, Cédric Eichler, Mírian Halfeld Ferrari, Nicolas Hiot:
Graph Rewriting Rules for RDF Database Evolution Management. iiWAS 2020: 134-143 - [c33]Anne-Lyse Minard, Andréane Roques, Nicolas Hiot, Mirian Halfeld Ferrari Alves, Agata Savary:
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). JEP-TALN-RECITAL (DEFT) 2020: 66-78
2010 – 2019
- 2018
- [c32]Jacques Chabin, Luiz Celso Gomes Jr., Mírian Halfeld Ferrari:
A Context-driven Querying System for Urban Graph Analysis. IDEAS 2018: 297-301 - [c31]Jacques Chabin, Mírian Halfeld Ferrari, Béatrice Markhoff, Thanh Binh Nguyen:
Validating Data from Semantic Web Providers. SOFSEM 2018: 682-695 - [c30]Mirian Halfeld Ferrari Alves, Carmem S. Hara, Nádia P. Kozievitch, Flávio R. Uber:
Urban Data Consistency in RDF: A Case Study of Curitiba Transportation System. LADaS@VLDB 2018: 33-40 - 2017
- [c29]Mirian Halfeld Ferrari Alves, Dominique Laurent:
Updating RDF/S Databases Under Constraints. ADBIS 2017: 357-371 - [c28]Laurent DOrazio, Mirian Halfeld Ferrari Alves, Carmem Satie Hara, Nádia P. Kozievitch, Martin A. Musicante:
Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data. iThings/GreenCom/CPSCom/SmartData 2017: 1118-1124 - [c27]Mírian Halfeld Ferrari, Carmem S. Hara, Flávio R. Uber:
RDF Updates with Constraints. KESW 2017: 229-245 - 2016
- [j11]Cheikh Ba, Thiago Cerqueira, Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert:
Experiments on service composition refinement on the basis of preference-driven recommendation. Int. J. Web Grid Serv. 12(2): 182-214 (2016) - [j10]Simone de Oliveira Santos, Martin A. Musicante, Mirian Halfeld Ferrari Alves:
Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático. RITA 23(1): 10-68 (2016) - 2014
- [j9]Joshua Amavi, Mirian Halfeld Ferrari Alves:
Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems. Trans. Large Scale Data Knowl. Centered Syst. 14: 83-113 (2014) - [c26]Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante, Verónika Peralta, Sophie Robert:
Preference-driven Refinement of Service Compositions. CLOSER 2014: 268-275 - [c25]Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty:
A ToolBox for Conservative XML Schema Evolution and Document Adaptation. DEXA (1) 2014: 299-307 - [i1]Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty:
A ToolBox for Conservative XML Schema Evolution and Document Adaptation. CoRR abs/1406.1423 (2014) - 2013
- [j8]Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty:
Conservative Type Extensions for XML Data. Trans. Large Scale Data Knowl. Centered Syst. 9: 65-94 (2013) - [c24]Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert:
Automatic Refinement of Service Compositions. ICWE 2013: 400-407 - [c23]Joshua Amavi, Mirian Halfeld Ferrari Alves:
Filtering XFD toward interoperability. SAC 2013: 868-871 - 2012
- [j7]Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima:
A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. Trans. Large Scale Data Knowl. Centered Syst. 6: 167-197 (2012) - 2011
- [c22]Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima:
Attribute Grammar for XML Integrity Constraint Validation. DEXA (1) 2011: 94-109 - [c21]Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante:
PEWS platform: a web services composition environment. WEWST 2011: 1-8 - [c20]Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty:
Weak Inclusion for XML Types. CIAA 2011: 30-41 - 2010
- [c19]Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty:
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. ICTAC 2010: 60-75
2000 – 2009
- 2009
- [j6]Béatrice Bouchou, Mírian Halfeld Ferrari, Maria Adriana Lima:
Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène. Tech. Sci. Informatiques 28(3): 331-364 (2009) - 2008
- [c18]Cheikh Ba, Mírian Halfeld Ferrari:
Dependence graphs for verifications of web service compositions with PEWS. SAC 2008: 2387-2391 - 2007
- [b1]Mirian Halfeld Ferrari Alves:
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). François Rabelais University, Tours, France, 2007 - [j5]Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari, Dominique Laurent, Maria Adriana Lima, Martin A. Musicante:
Efficient Constraint Validation for Updated XML Database. Informatica (Slovenia) 31(3): 285-309 (2007) - [j4]Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). J. Algorithms 62(3-4): 148-167 (2007) - 2006
- [c17]Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary:
Integrating Correction into Incremental Validation. BDA 2006 - [c16]Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS 2006: 65-74 - [c15]Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary:
XML Document Correction: Incremental Approach Activated by Schema Validation. IDEAS 2006: 228-238 - 2005
- [j3]Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
PEWS: A New Language for Building Web Service Interfaces. J. Univers. Comput. Sci. 11(7): 1215-1233 (2005) - [c14]Ahmed Cheriat, Agata Savary, Béatrice Bouchou, Mirian Halfeld Ferrari Alves:
Incremental string correction: Towards correction of XML documents. Stringology 2005: 201-215 - 2004
- [j2]Sandra de Amo, Mirian Halfeld Ferrari Alves:
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators. J. Univers. Comput. Sci. 10(9): 1035-1064 (2004) - [c13]Mateus Barcellos Costa, Rodolfo F. Resende, Mirian Halfeld Ferrari Alves, Marcelo Eduardo Vieira Segatto:
Business to Business Transaction Modeling and WWW Support. Business Process Management 2004: 132-147 - [c12]Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Tao-Yuan Jen, Dominique Laurent:
XRM: An XML-Based Language for Rule Mining Systems. ICEIS (1) 2004: 441-446 - [c11]Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante:
Schema Evolution for XML: A Consistency-Preserving Approach. MFCS 2004: 876-888 - [c10]Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante:
Conservative Extensions of Regular Languages . SCCC 2004: 99-109 - [c9]Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante:
Incremental Constraint Checking for XML Documents. XSym 2004: 112-127 - 2003
- [c8]Béatrice Bouchou, Mirian Halfeld Ferrari Alves:
Updates and Incremental Validation of XML Documents. DBPL 2003: 216-232 - [c7]Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Denio Duarte:
Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints. ICEIS (1) 2003: 184-190 - [c6]Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
Tree Automata to Verify XML Key Constraints. WebDB 2003: 37-42 - 2000
- [c5]Sandra de Amo, Mirian Halfeld Ferrari Alves:
Efficient Maintenance of Temporal Data Warehouses. IDEAS 2000: 188-196
1990 – 1999
- 1998
- [j1]Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos:
Update Rules in Datalog Programs. J. Log. Comput. 8(6): 745-775 (1998) - 1996
- [c4]Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos:
Point fixe alterné et bases de données Datalog étendues. JFPLC 1996: 33-48 - 1995
- [c3]Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos:
Règles de mises à jour et programmes Datalogneg. JFPLC 1995: 241-254 - [c2]Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos:
Update Rules in Datalog Programs. LPNMR 1995: 71-84 - 1994
- [c1]Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos:
Passive and Active Rules in Deductive Databases. MFCS 1994: 383-392
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
