Pierre Genevès

80 papers A* 13A 9B 11C 3Journal 28Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	A Comparative Analysis of Neurosymbolic Methods for Link Prediction. NeSy Guillaume Delplanque, Luisa Werner, Nabil Layaïda, Pierre Genevès
2025	A*	`conf`	Distributed Evaluation of Graph Queries Using Recursive Relational Algebra. ICDE Sarah Chlyah, Pierre Genevès, Nabil Layaïda
2025	J	`jnl`	Efficient iterative programs with distributed data collections. J. Log. Algebraic Methods Program. Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda
2025	J	`jnl`	On Scaling Neurosymbolic Programming through Guided Logical Inference. CoRR Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès, Nabil Layaïda
2025	J	`jnl`	Schema-Based Query Optimisation for Graph Databases. Proc. ACM Manag. Data Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2024	A*	`conf`	A Fast Plan Enumerator for Recursive Queries. ICDE Amela Fejza, Pierre Genevès, Nabil Layaïda
2024	J	`jnl`	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers. Proc. VLDB Endow. Amela Fejza, Pierre Genevès, Nabil Layaïda
2024	A*	`conf`	Reproduce, Replicate, Reevaluate. The Long but Safe Way to Extend Machine Learning Methods. AAAI Luisa Werner, Nabil Layaïda, Pierre Genevès, Jérôme Euzenat, Damien Graux
2024	J	`jnl`	Schema-Based Query Optimisation for Graph Databases. CoRR Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2023	J	`jnl`	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers. CoRR Amela Fejza, Pierre Genevès, Nabil Layaïda
2023	J	`jnl`	Efficient Iterative Programs with Distributed Data Collections. CoRR Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda
2023	B	`conf`	Knowledge Enhanced Graph Neural Networks. DSAA Luisa Werner, Nabil Layaïda, Pierre Genevès, Sarah Chlyah
2023	J	`jnl`	Knowledge Enhanced Graph Neural Networks. CoRR Luisa Werner, Nabil Layaïda, Pierre Genevès, Sarah Chlyah
2023	A	`conf`	The µ-RA System for Recursive Path Queries over Graphs. CIKM Amela Fejza, Pierre Genevès, Nabil Layaïda, Sarah Chlyah
2021	A	`conf`	Compression Boosts Differentially Private Federated Learning. EuroS&P Raouf Kerkouche, Gergely Ács, Claude Castelluccia, Pierre Genevès
2021	J	`jnl`	Constrained Differentially Private Federated Learning for Low-bandwidth Devices. CoRR Raouf Kerkouche, Gergely Ács, Claude Castelluccia, Pierre Genevès
2021	A	`conf`	Constrained differentially private federated learning for low-bandwidth devices. UAI Raouf Kerkouche, Gergely Ács, Claude Castelluccia, Pierre Genevès
2021	J	`jnl`	Distributed Evaluation of Graph Queries using Recursive Relational Algebra. CoRR Sarah Chlyah, Pierre Genevès, Nabil Layaïda
2021	—	`conf`	Privacy-preserving and bandwidth-efficient federated learning: an application to in-hospital mortality prediction. CHIL Raouf Kerkouche, Gergely Ács, Claude Castelluccia, Pierre Genevès
2020	A	`conf`	A Cost Estimation Technique for Recursive Relational Algebra. CIKM Muideen Lawal, Pierre Genevès, Nabil Layaïda
2020	J	`jnl`	Backward type inference for XML queries. Theor. Comput. Sci. Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2020	J	`jnl`	Compression Boosts Differentially Private Federated Learning. CoRR Raouf Kerkouche, Gergely Ács, Claude Castelluccia, Pierre Genevès
2020	—	`conf`	On the Optimization of Recursive Relational Queries: Application to Graph Queries. SIGMOD Conference Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2018	—	`conf`	A Method to Quantitatively Evaluate Geo Augmented Reality Applications. ISMAR Adjunct Thibaud Michel, Pierre Genevès, Nabil Layaïda
2018	—	`conf`	A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators. IEEE BigData Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
2018	J	`jnl`	Attitude estimation for indoor navigation and augmented reality with smartphones. Pervasive Mob. Comput. Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
2018	—	`conf`	Evaluation of Query Transformations without Data: Short paper. WWW (Companion Volume) Jérôme David, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2018	J	`jnl`	SPARQL Query Containment Under Schema. J. Data Semant. Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2018	J	`jnl`	Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission. Big Data Res. Pierre Genevès, Thomas Calmant, Nabil Layaïda, Marion Lepelley, Svetlana Artemova, Jean-Luc Bosson
2018	B	`conf`	Scalable and Interpretable Predictive Models for Electronic Health Records. DSAA Amela Fejza, Pierre Genevès, Nabil Layaïda, Jean-Luc Bosson
2018	B	`conf`	Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions. ICWE Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
2017	A*	`conf`	On attitude estimation with smartphones. PerCom Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
2017	C	`conf`	SPARQL Query Containment with ShEx Constraints. ADBIS Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
2016	—	`conf`	SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark. ISWC (Posters & Demos) Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
2016	—	`conf`	SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark. ISWC (2) Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
2016	—	`conf`	Smart Trip Alternatives for the Curious. ISWC (Posters & Demos) Damien Graux, Pierre Genevès, Nabil Layaïda
2015	J	`jnl`	A Logical Approach to Deciding Semantic Subtyping. ACM Trans. Program. Lang. Syst. Nils Gesbert, Pierre Genevès, Nabil Layaïda
2015	C	`conf`	A comparative analysis of attitude estimation for pedestrian navigation with smartphones. IPIN Thibaud Michel, Hassen Fourati, Pierre Genevès, Nabil Layaïda
2015	J	`jnl`	Efficiently Deciding μ-Calculus with Converse over Finite Trees. ACM Trans. Comput. Log. Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert
2015	A*	`conf`	Expressive Logical Combinators for Free. IJCAI Pierre Genevès, Alan Schmitt
2015	A	`conf`	On Query-Update Independence for SPARQL. CIKM Nicola Guido, Pierre Genevès, Nabil Layaïda, Cécile Roisin
2015	B	`ed.`	Proceedings of the 2015 ACM Symposium on Document Engineering, DocEng 2015, Lausanne, Switzerland, September 8-11, 2015 DocEng Christine Vanoirbeek, Pierre Genevès
2015	A*	`conf`	Reasoning with Style. IJCAI Martí Bosch, Pierre Genevès, Nabil Layaïda
2015	A	`conf`	XQuery and static typing: tackling the problem of backward axes. ICFP Pierre Genevès, Nils Gesbert
2014	B	`conf`	Automated refactoring for size reduction of CSS style sheets. ACM Symposium on Document Engineering Martí Bosch, Pierre Genevès, Nabil Layaïda
2014	J	`jnl`	Equipping IDEs with XML-Path Reasoning Capabilities. ACM Trans. Internet Techn. Pierre Genevès, Nabil Layaïda
2014	J	`jnl`	Mobile Augmented Reality Applications for Smart Cities. ERCIM News Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel
2014	—	`book`	Static Analysis for Data-Centric Web Programming. Pierre Genevès
2013	—	`conf`	Evaluating and Benchmarking SPARQL Query Containment Solvers. ISWC (2) Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2013	—	`conf`	XML validation: looking backward - strongly typed and flexible XML processing are not incompatible. WWW (Companion Volume) Pierre Genevès, Nabil Layaïda
2012	A*	`conf`	On the analysis of cascading style sheets. WWW Pierre Genevès, Nabil Layaïda, Vincent Quint
2012	A*	`conf`	SPARQL Query Containment Under SHI Axioms. AAAI Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2012	A	`conf`	SPARQL Query Containment under RDFS Entailment Regime. IJCAR Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2012	B	`conf`	Toward automated schema-directed code revision. ACM Symposium on Document Engineering Raquel Araújo de Oliveira, Pierre Genevès, Nabil Layaïda
2012	B	`conf`	XML query-update independence analysis revisited. ACM Symposium on Document Engineering Muhammad Junedi, Pierre Genevès, Nabil Layaïda
2011	J	`jnl`	Impact of XML Schema Evolution. ACM Trans. Internet Techn. Pierre Genevès, Nabil Layaïda, Vincent Quint
2011	A*	`conf`	Inconsistent path detection for XML IDEs. ICSE Pierre Genevès, Nabil Layaïda
2011	—	`conf`	PSPARQL Query Containment. DBPL Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2011	A	`conf`	Parametric polymorphism and semantic subtyping: the logical connection. ICFP Nils Gesbert, Pierre Genevès, Nabil Layaïda
2011	A*	`conf`	Query Reasoning on Trees with Types, Interleaving, and Counting. IJCAI Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010	J	`jnl`	A Tree Logic with Graded Paths and Nominals CoRR Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010	A*	`conf`	Debugging standard document formats. WWW Nabil Layaïda, Pierre Genevès
2010	—	`conf`	Eliminating dead-code from XQuery programs. ICSE (2) Pierre Genevès, Nabil Layaïda
2010	J	`jnl`	On the Count of Trees CoRR Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010	A*	`conf`	XML reasoning made practical. ICDE Pierre Genevès, Nabil Layaïda
2009	A	`conf`	Identifying query incompatibilities with evolving XML schemas. ICFP Pierre Genevès, Nabil Layaïda, Vincent Quint
2009	B	`conf`	On the analysis of queries with counting constraints. ACM Symposium on Document Engineering Everardo Bárcenas, Pierre Genevès, Nabil Layaïda
2008	J	`jnl`	Ensuring Query Compatibility with Evolving XML Schemas CoRR Pierre Genevès, Nabil Layaïda, Vincent Quint
2008	J	`jnl`	Logics for XML CoRR Pierre Genevès
2008	J	`jnl`	Static Analysis of XML Programs. ERCIM News Pierre Genevès, Nabil Layaïda
2008	J	`jnl`	XML Static Analyzer User Manual CoRR Pierre Genevès, Nabil Layaïda
2007	J	`jnl`	Deciding XPath containment with MSO. Data Knowl. Eng. Pierre Genevès, Nabil Layaïda
2007	A*	`conf`	Efficient static analysis of XML paths and types. PLDI Pierre Genevès, Nabil Layaïda, Alan Schmitt
2007	—	`conf`	XPath Typing Using a Modal Logic with Converse for Finite Trees. PLAN-X Pierre Genevès, Nabil Layaïda, Alan Schmitt
2006	J	`jnl`	A system for the static analysis of XPath. ACM Trans. Inf. Syst. Pierre Genevès, Nabil Layaïda
2006	B	`conf`	Comparing XML path expressions. ACM Symposium on Document Engineering Pierre Genevès, Nabil Layaïda
2006	—	`—`	Logics for XML. (Logiques pour XML). Pierre Genevès
2005	B	`conf`	Compiling XPath for streaming access policy. ACM Symposium on Document Engineering Pierre Genevès, Kristoffer Høgsbro Rose
2004	—	`conf`	Improving Efficiency of XPath-Based XML Querying. IFIP Student Forum Pierre Genevès
2004	B	`conf`	Logic-based XPath optimization. ACM Symposium on Document Engineering Pierre Genevès, Jean-Yves Vion-Dury