Mirian Halfeld Ferrari Alves

49 papers A 1B 6C 5Misc 2Journal 16Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
Extracting node comparison insights for the interactive exploration of property graphs.
CoRR
Cristina Dutra Aguiar, Jacques Chabin, Alexandre Chanson, Mirian Halfeld Ferrari Alves, Nicolas Hiot, Nicolas Labroche, Patrick Marcel, Verónika Peralta, Felipe Vasconcelos
2025 B conf
Lazy Prediction in Querying Graph Databases.
CoopIS
Jacques Chabin, Cristina Dutra de Aguiar Ciferri, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Lingchen Wang
2024 J jnl
Natural Language Querying System Through Entity Enrichment.
CoRR
Joshua Amavi, Mirian Halfeld Ferrari Alves, Nicolas Hiot
2023 — conf
Databases and Information Systems: Contributions from ADBIS 2023 Workshops and Doctoral Consortium.
ADBIS (Short Papers)
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
2023 J jnl
From Text to Knowledge with Graphs: modelling, querying and exploiting textual content.
CoRR
Genoveva Vargas-Solar, Mirian Halfeld Ferrari Alves, Anne-Lyse Minard Forst
2023 J jnl
Incremental Consistent Updating of Incomplete Databases.
CoRR
Jacques Chabin, Mirian Halfeld Ferrari Alves, Nicolas Hiot, Dominique Laurent
2022 J jnl
Comparing graph data science libraries for querying and analysing datasets: towards data science queries on graphs.
CoRR
Genoveva Vargas-Solar, Pierre Marrec, Mirian Halfeld Ferrari Alves
2022 J jnl
NLDS-QL: From natural language data science questions to queries on graphs: analysing patients conditions & treatments.
CoRR
Genoveva Vargas-Solar, Karim Dao, Mirian Halfeld Ferrari Alves
2022 — conf
Relation Extraction from Clinical Cases for a Knowledge Graph.
ADBIS (Short Papers)
Agata Savary, Alena Silvanovich, Anne-Lyse Minard, Nicolas Hiot, Mirian Halfeld Ferrari Alves
2021 — conf
Comparing Graph Data Science Libraries for Querying and Analysing Datasets: Towards Data Science Queries on Graphs.
ICSOC Workshops
Genoveva Vargas-Solar, Pierre Marrec, Mirian Halfeld Ferrari Alves
2021 B conf
Role-Based Access Control on Graph Databases.
SOFSEM
Jacques Chabin, Cristina Dutra de Aguiar Ciferri, Mirian Halfeld Ferrari Alves, Carmem S. Hara, Raqueline R. M. Penteado
2020 — conf
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)
Anne-Lyse Minard, Andréane Roques, Nicolas Hiot, Mirian Halfeld Ferrari Alves, Agata Savary
2018 — conf
Urban Data Consistency in RDF: A Case Study of Curitiba Transportation System.
LADaS@VLDB
Mirian Halfeld Ferrari Alves, Carmem S. Hara, Nádia P. Kozievitch, Flávio R. Uber
2017 — conf
Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data.
iThings/GreenCom/CPSCom/SmartData
Laurent d'Orazio, Mirian Halfeld Ferrari Alves, Carmem Satie Hara, Nádia P. Kozievitch, Martin A. Musicante
2017 C conf
Updating RDF/S Databases Under Constraints.
ADBIS
Mirian Halfeld Ferrari Alves, Dominique Laurent
2016 J jnl
Experiments on service composition refinement on the basis of preference-driven recommendation.
Int. J. Web Grid Serv.
Cheikh Ba, Thiago Cerqueira, Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert
2016 J jnl
Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático.
RITA
Simone de Oliveira Santos, Martin A. Musicante, Mirian Halfeld Ferrari Alves
2014 — conf
A ToolBox for Conservative XML Schema Evolution and Document Adaptation.
DEXA (1)
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty
2014 J jnl
A ToolBox for Conservative XML Schema Evolution and Document Adaptation.
CoRR
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty
2014 J jnl
Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems.
Trans. Large Scale Data Knowl. Centered Syst.
Joshua Amavi, Mirian Halfeld Ferrari Alves
2013 B conf
Automatic Refinement of Service Compositions.
ICWE
Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert
2013 J jnl
Conservative Type Extensions for XML Data.
Trans. Large Scale Data Knowl. Centered Syst.
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty
2013 Misc conf
Filtering XFD toward interoperability.
SAC
Joshua Amavi, Mirian Halfeld Ferrari Alves
2012 J jnl
A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates.
Trans. Large Scale Data Knowl. Centered Syst.
Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima
2011 — conf
Attribute Grammar for XML Integrity Constraint Validation.
DEXA (1)
Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima
2011 C conf
Weak Inclusion for XML Types.
CIAA
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty
2010 C conf
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.
ICTAC
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty
2007 — book
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 J jnl
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator).
J. Algorithms
Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante
2006 — conf
Composing Web Services with PEWS: A Trace-Theoretical Approach.
ECOWS
Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante
2006 — conf
Integrating Correction into Incremental Validation.
BDA
Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary
2006 C conf
XML Document Correction: Incremental Approach Activated by Schema Validation.
IDEAS
Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary
2005 Misc conf
Incremental string correction: Towards correction of XML documents.
PSC
Ahmed Cheriat, Agata Savary, Béatrice Bouchou, Mirian Halfeld Ferrari Alves
2005 J jnl
PEWS: A New Language for Building Web Service Interfaces.
J. Univers. Comput. Sci.
Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante
2004 A conf
Business to Business Transaction Modeling and WWW Support.
Business Process Management
Mateus Barcellos Costa, Rodolfo F. Resende, Mirian Halfeld Ferrari Alves, Marcelo Eduardo Vieira Segatto
2004 — conf
Conservative Extensions of Regular Languages .
SCCC
Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
2004 — conf
Incremental Constraint Checking for XML Documents.
XSym
Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
2004 J jnl
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators.
J. Univers. Comput. Sci.
Sandra de Amo, Mirian Halfeld Ferrari Alves
2004 B conf
Schema Evolution for XML: A Consistency-Preserving Approach.
MFCS
Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante
2004 — conf
XRM: An XML-Based Language for Rule Mining Systems.
ICEIS (1)
Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Tao-Yuan Jen, Dominique Laurent
2003 — conf
Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints.
ICEIS (1)
Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Denio Duarte
2003 — conf
Tree Automata to Verify XML Key Constraints.
WebDB
Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante
2003 — conf
Updates and Incremental Validation of XML Documents.
DBPL
Béatrice Bouchou, Mirian Halfeld Ferrari Alves
2000 C conf
Efficient Maintenance of Temporal Data Warehouses.
IDEAS
Sandra de Amo, Mirian Halfeld Ferrari Alves
1998 J jnl
Update Rules in Datalog Programs.
J. Log. Comput.
Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
1996 — conf
Point fixe alterné et bases de données Datalog étendues.
JFPLC
Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos
1995 — conf
Règles de mises à jour et programmes Datalog
JFPLC
Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
1995 B conf
Update Rules in Datalog Programs.
LPNMR
Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
1994 B conf
Passive and Active Rules in Deductive Databases.
MFCS
Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos