Pierre Bourhis

105 papers A* 24A 14B 5C 1Journal 50Unranked 9
YearRankTypeTitle / Venue / Authors
2026 A conf
A Formal Query Language and Automata Model for Aggregation in Complex Event Recognition.
ICDT
Pierre Bourhis, Cristian Riveros, Amaranta Salas
2026 J jnl
A formal query language and automata model for aggregation in complex event recognition.
CoRR
Pierre Bourhis, Cristian Rodrìguez Rivero, Amaranta Salas
2026 J jnl
DOT: Dynamic Knob Selection and Online Sampling for Automated Database Tuning.
CoRR
Yifan Wang, Debabrota Basu, Pierre Bourhis, Romain Rouvoy, Patrick Royer
2025 B conf
DEMO: REST-Q - A Framework to Assess Energy Consumption in Web Applications.
IC2E
Ostap Kilbasovych, Belkis Djeffal, Pierre Bourhis, Romain Rouvoy
2025 J jnl
DOT: Dynamic Knob Selection and Online Sampling for Automated Database Tuning.
Proc. VLDB Endow.
Yifan Wang, Debabrota Basu, Pierre Bourhis, Romain Rouvoy, Patrick Royer
2025 A conf
Dynamic Direct Access of MSO Query Evaluation over Strings.
ICDT
Pierre Bourhis, Florent Capelli, Stefan Mengel, Cristian Riveros
2024 A* conf
Challenges & Opportunities in Automating DBMS: A Qualitative Study.
ASE
Yifan Wang, Pierre Bourhis, Romain Rouvoy, Patrick Royer
2024 — book
Dialog Between Logic, Trees and Circuits. (Dialogue entre Logique, Arbres et Circuits).
Pierre Bourhis
2024 J jnl
Dynamic direct access of MSO query evaluation over strings.
CoRR
Pierre Bourhis, Florent Capelli, Stefan Mengel, Cristian Riveros
2024 A conf
Ranked Enumeration for MSO on Trees via Knowledge Compilation.
ICDT
Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikaël Monet
2024 J jnl
Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032).
Dagstuhl Reports
Pablo Barceló, Pierre Bourhis, Stefan Mengel, Sudeepa Roy
2023 B conf
On Distances Between Words with Parameters.
CPM
Pierre Bourhis, Aaron Boussidan, Philippe Gambette
2023 J jnl
Ranked Enumeration for MSO on Trees via Knowledge Compilation.
CoRR
Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikaël Monet
2023 J jnl
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches.
CoRR
Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton
2022 J jnl
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits.
CoRR
Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton
2022 J jnl
Query Answering with Transitive and Linear-Ordered Data.
CoRR
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2022 A* conf
Revisiting Semiring Provenance for Datalog.
KR
Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo
2022 J jnl
Revisiting Semiring Provenance for Datalog.
CoRR
Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo
2021 J jnl
Balancing Expressiveness and Inexpressiveness in View Design.
ACM Trans. Database Syst.
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura
2021 J jnl
Constant-Delay Enumeration for Nondeterministic Document Spanners.
ACM Trans. Database Syst.
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
2021 J jnl
Inference from Visible Information and Background Knowledge.
ACM Trans. Comput. Log.
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis, Michael Vanden Boom
2021 A conf
Ranked Enumeration of MSO Logic on Words.
ICDT
Pierre Bourhis, Alejandro Grez, Louis Jachiet, Cristian Riveros
2020 A* conf
Balancing Expressiveness and Inexpressiveness in View Design.
KR
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura
2020 J jnl
Balancing expressiveness and inexpressiveness in view design.
CoRR
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura
2020 J jnl
Constant-Delay Enumeration for Nondeterministic Document Spanners.
CoRR
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
2020 J jnl
Constant-Delay Enumeration for Nondeterministic Document Spanners.
SIGMOD Rec.
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
2020 J jnl
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
CoRR
Pierre Bourhis, Carsten Lutz
2020 B conf
Data Centric Workflows for Crowdsourcing.
Petri Nets
Pierre Bourhis, Loïc Hélouët, Zoltán Miklós, Rituraj Singh
2020 — conf
Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries.
SIGMOD Conference
Pierre Bourhis, Daniel Deutch, Yuval Moskovitch
2020 J jnl
Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries.
CoRR
Pierre Bourhis, Daniel Deutch, Yuval Moskovitch
2020 J jnl
JSON: Data model and query languages.
Inf. Syst.
Pierre Bourhis, Juan L. Reutter, Domagoj Vrgoc
2020 J jnl
Making AI Machines Work for Humans in FoW.
SIGMOD Rec.
Sihem Amer-Yahia, Senjuti Basu Roy, Lei Chen, Atsuyuki Morishima, James Abello Monedero, Pierre Bourhis, François Charoy, Marina Danilevsky, Gautam Das, Gianluca Demartini, Shady Elbassuoni, David Gross-Amblard, Emilie Hoareau, Munenari Inoguchi, Jared B. Kenworthy, Itaru Kitahara, Dongwon Lee, Yunyao Li, Ria Mae Borromeo, Paolo Papotti, H. Raghav Rao, Sudeepa Roy, Pierre Senellart, Keishi Tajima, Saravanan Thirumuruganathan, Marion Tommasi, Kazutoshi Umemoto, Andrea Wiggins, Koichiro Yoshida
2020 J jnl
Monadic Datalog, Tree Validity, and Limited Access Containment.
ACM Trans. Comput. Log.
Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart
2020 J jnl
Oblivious and Semi-Oblivious Boundedness for Existential Rules.
CoRR
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
2020 J jnl
Ranked enumeration of MSO logic on words.
CoRR
Pierre Bourhis, Alejandro Grez, Louis Jachiet, Cristian Riveros
2019 A conf
Constant-Delay Enumeration for Nondeterministic Document Spanners.
ICDT
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
2019 J jnl
Definability and Interpolation within Decidable Fixpoint Logics.
Log. Methods Comput. Sci.
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2019 A* conf
Enumeration on Trees with Tractable Combined Complexity and Efficient Updates.
PODS
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
2019 J jnl
Ethical Challenges in the Future of Work.
IEEE Data Eng. Bull.
Pierre Bourhis, Gianluca Demartini, Shady Elbassuoni, Emilie Hoareau, H. Raghav Rao
2019 J jnl
Evaluating Datalog via Tree Automata and Cycluits.
Theory Comput. Syst.
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
2019 — conf
Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract).
Description Logics
Meghyn Bienvenu, Pierre Bourhis
2019 A* conf
Mixed-World Reasoning with Existential Rules under Active-Domain Semantics.
IJCAI
Meghyn Bienvenu, Pierre Bourhis
2019 A* conf
Oblivious and Semi-Oblivious Boundedness for Existential Rules.
IJCAI
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
2019 A* conf
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints.
IJCAI
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo
2019 J jnl
Reasoning about disclosure in data integration in the presence of source constraints.
CoRR
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo
2018 J jnl
Constant-Delay Enumeration for Nondeterministic Document Spanners.
CoRR
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
2018 A conf
Enumeration on Trees under Relabelings.
ICDT
Antoine Amarilli, Pierre Bourhis, Stefan Mengel
2018 J jnl
Enumeration on Trees with Tractable Combined Complexity and Efficient Updates.
CoRR
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
2018 J jnl
Evaluating Datalog via Tree Automata and Cycluits.
CoRR
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
2018 A* conf
Explanations and Transparency in Collaborative Workflows.
PODS
Serge Abiteboul, Pierre Bourhis, Victor Vianu
2018 J jnl
Query Answering with Transitive and Linear-Ordered Data.
J. Artif. Intell. Res.
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2017 A* conf
A Circuit-Based Approach to Efficient Enumeration.
ICALP
Antoine Amarilli, Pierre Bourhis, Louis Jachiet, Stefan Mengel
2017 J jnl
A Circuit-Based Approach to Efficient Enumeration.
CoRR
Antoine Amarilli, Pierre Bourhis, Louis Jachiet, Stefan Mengel
2017 A* conf
Characterizing Definability in Decidable Fixpoint Logics.
ICALP
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2017 J jnl
Characterizing Definability in Decidable Fixpoint Logics.
CoRR
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2017 A conf
Combined Tractability of Query Evaluation via Tree Automata and Cycluits.
ICDT
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
2017 J jnl
Enumeration on Trees under Relabelings.
CoRR
Antoine Amarilli, Pierre Bourhis, Stefan Mengel
2017 A* conf
JSON: Data model, Query languages and Schema specification.
PODS
Pierre Bourhis, Juan L. Reutter, Fernando Suárez, Domagoj Vrgoc
2017 J jnl
JSON: data model, query languages and schema specification.
CoRR
Pierre Bourhis, Juan L. Reutter, Fernando Suárez, Domagoj Vrgoc
2017 A* conf
Making Cross Products and Guarded Ontology Languages Compatible.
IJCAI
Pierre Bourhis, Michael Morak, Andreas Pieris
2017 A* conf
Ontology-Mediated Query Answering for Key-Value Stores.
IJCAI
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana
2017 A* conf
POLYTICS: Provenance-Based Analytics of Data-Centric Applications.
ICDE
Pierre Bourhis, Daniel Deutch, Yuval Moskovitch
2016 A conf
A Formal Study of Collaborative Access Control in Distributed Datalog.
ICDT
Serge Abiteboul, Pierre Bourhis, Victor Vianu
2016 A* conf
A Step Up in Expressiveness of Decidable Fixpoint Logics.
LICS
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2016 A* conf
Analyzing data-centric applications: Why, what-if, and how-to.
ICDE
Pierre Bourhis, Daniel Deutch, Yuval Moskovitch
2016 J jnl
Bounded Repairability for Regular Tree Languages.
ACM Trans. Database Syst.
Pierre Bourhis, Gabriele Puppis, Cristian Riveros, Slawek Staworko
2016 J jnl
Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version).
CoRR
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
2016 A* conf
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
KR
Pierre Bourhis, Carsten Lutz
2016 J jnl
Guarded-Based Disjunctive Tuple-Generating Dependencies.
ACM Trans. Database Syst.
Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris
2016 B conf
PROX: Approximated Summarization of Data Provenance.
EDBT
Eleanor Ainy, Pierre Bourhis, Susan B. Davidson, Daniel Deutch, Tova Milo
2016 A* conf
Query Answering with Transitive and Linear-Ordered Data.
IJCAI
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2016 J jnl
Query Answering with Transitive and Linear-Ordered Data.
CoRR
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2016 A* conf
Querying Visible and Invisible Information.
LICS
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
2016 A* conf
Tractable Lineages on Treelike Instances: Limits and Extensions.
PODS
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
2016 J jnl
Tractable Lineages on Treelike Instances: Limits and Extensions.
CoRR
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
2015 J jnl
Analysis of Schemas with Access Restrictions.
ACM Trans. Database Syst.
Michael Benedikt, Pierre Bourhis, Clemens Ley
2015 A conf
Approximated Summarization of Data Provenance.
CIKM
Eleanor Ainy, Pierre Bourhis, Susan B. Davidson, Daniel Deutch, Tova Milo
2015 J jnl
Highly Expressive Query Languages for Unordered Data Trees.
Theory Comput. Syst.
Serge Abiteboul, Pierre Bourhis, Victor Vianu
2015 J jnl
Provenance Circuits for Trees and Treelike Instances (Extended Version).
CoRR
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
2015 — conf
Provenance Circuits for Trees and Treelike Instances.
ICALP (2)
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
2015 J jnl
Querying Visible and Invisible Tables in the Presence of Integrity Constraints.
CoRR
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
2015 A* conf
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention).
IJCAI
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2015 J jnl
Which XML Schemas are Streaming Bounded Repairable?
Theory Comput. Syst.
Pierre Bourhis, Gabriele Puppis, Cristian Riveros
2014 — conf
Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs.
Description Logics
Pierre Bourhis, Michael Morak, Andreas Pieris
2014 — conf
How to Best Nest Regular Path Queries.
Description Logics
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2014 J jnl
Query Containment for Highly Expressive Datalog Fragments.
CoRR
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2014 — conf
Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules.
MFCS (1)
Pierre Bourhis, Michael Morak, Andreas Pieris
2013 A conf
Access patterns and integrity constraints revisited.
ICDT
Vince Bárány, Michael Benedikt, Pierre Bourhis
2013 A conf
Recursive queries on trees and data trees.
ICDT
Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu
2013 — conf
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.
Description Logics
Pierre Bourhis, Michael Morak, Andreas Pieris
2013 A* conf
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.
IJCAI
Pierre Bourhis, Michael Morak, Andreas Pieris
2013 A conf
Which DTDs are streaming bounded repairable?
ICDT
Pierre Bourhis, Gabriele Puppis, Cristian Riveros
2012 J jnl
Comparing workflow specification languages: A matter of views.
ACM Trans. Database Syst.
Serge Abiteboul, Pierre Bourhis, Victor Vianu
2012 A conf
Highly expressive query languages for unordered data trees.
ICDT
Serge Abiteboul, Pierre Bourhis, Victor Vianu
2012 — conf
Monadic Datalog Containment.
ICALP (2)
Michael Benedikt, Pierre Bourhis, Pierre Senellart
2012 J jnl
Querying Schemas With Access Restrictions
CoRR
Michael Benedikt, Pierre Bourhis, Clemens Ley
2012 J jnl
Querying Schemas With Access Restrictions.
Proc. VLDB Endow.
Michael Benedikt, Pierre Bourhis, Clemens Ley
2011 A conf
Comparing workflow specification languages: a matter of views.
ICDT
Serge Abiteboul, Pierre Bourhis, Victor Vianu
2011 — —
On the dynamics of active documents for distributed data management. (Etude de la dynamique des documents actifs pour la gestion d'information distribuées).
Pierre Bourhis
2010 J jnl
AXART - Enabling Collaborative Work with AXML Artifacts.
Proc. VLDB Endow.
Bogdan Marinoiu, Serge Abiteboul, Pierre Bourhis, Alban Galland
2009 B conf
Efficient maintenance techniques for views over active documents.
EDBT
Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu
2009 A* conf
Satisfiability and relevance for queries over active documents.
PODS
Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu
2009 C conf
The AXML Artifact Model.
TIME
Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu
2008 A* conf
Distributed Monitoring of Peer-to-Peer Systems.
ICDE
Serge Abiteboul, Bogdan Marinoiu, Pierre Bourhis
2007 — conf
Incremental View Maintenance for Active Documents.
BDA
Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu