Tyrex | Project

Publications

2020

  • On the Optimization of Recursive Relational Queries: Application to Graph Queries [HAL, PDF, Abstract]

    Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda
    SIGMOD 2020 - ACM International Conference on Management of Data, Jun 2020, Portland, United States. pp.1-23, ⟨10.1145/3318464.3380567⟩
  • Backward Type Inference for XML Queries [HAL, PDF, Abstract]

    Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
    Theoretical Computer Science, Elsevier, 2020, Theoretical Computer Science, 823, pp.69 - 99. ⟨10.1016/j.tcs.2020.03.020⟩
  • RDF graph anonymization robust to data linkage [HAL, PDF, Abstract]

    Rémy Delanaux, Angela Bonifati, Marie-Christine Rousset, Romuald Thion
    WISE 2019 - 20th International Conference on Web Information Systems Engineering, Jan 2020, Hong Kong, China. pp.491-506, ⟨10.1007/978-3-030-34223-4_31⟩

2019

  • Approximate Querying on Property Graphs [HAL, PDF, Abstract]

    Stefania Dumbrava, Angela Bonifati, Amaia Nazabal Ruiz Diaz, Romain Vuillemot
    SUM 2019 - 13th international conference on Scalable Uncertainty Management, Dec 2019, Compiègne, France. pp.250-265, ⟨10.1007/978-3-030-35514-2_19⟩
  • A trichotomy for regular simple path queries on graphs [HAL, Abstract]

    Guillaume Bagan, Angela Bonifati, Benoit Groz
    Journal of Computer and System Sciences, Elsevier, In press, 108, pp.29-48. ⟨10.1016/j.jcss.2019.08.006⟩
  • Graph Generators: State of the Art and Open Challenges [HAL, Abstract]

    Angela Bonifati, Irena Holubovà, Arnau Prat-Pérez
    ACM Computing Surveys, Association for Computing Machinery, In press
  • Schema validation and evolution for graph databases [HAL, Abstract]

    Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt
    ER 2019 - 38th International Conference on Conceptual Modeling, Nov 2019, Salvador, Brazil. pp.448-456, ⟨10.1007/978-3-030-33223-5_37⟩
  • What can millions of laboratory test results tell us about the temporal aspect of data quality? Study of data spanning 17 years in a clinical data warehouse [HAL, PDF, Abstract]

    Vincent Looten, Liliane Kong Win Chang, Antoine Neuraz, Marie-Anne Landau-Loriot, Benoit Vedie, Jean-Louis Paul, Laetitia Mauge, Nadia Rivet, Angela Bonifati, Gilles Chatellier, Anita Burgun, Bastien Rance
    Computer Methods and Programs in Biomedicine, Elsevier, 2019, 181, pp.1-20. ⟨10.1016/j.cmpb.2018.12.030⟩
  • Repairing mappings under policy views [HAL, Abstract]

    Angela Bonifati, Ugo Comignani, Efthymia Tsamoura
    SIGMOD 2019 - ACM SIGMOD/PODS International Conference on Management of Data, Jun 2019, Amsterdam, Netherlands. pp.1873-1876 (Demonstration)
  • Interactive Mapping Specification with Exemplar Tuples [HAL, Abstract]

    Angela Bonifati, Ugo Comignani, Emmanuel Coquery, Romuald Thion
    ACM Transactions on Database Systems, Association for Computing Machinery, 2019, 44 (3), pp.44
  • Navigating the Maze of Wikidata Query Logs [HAL, Abstract]

    Angela Bonifati, Wim Martens, Thomas Timm
    WWW 2019 - The World Wide Web Conference, May 2019, San Francisco, United States. pp.127-138, ⟨10.1145/3308558.3313472⟩
  • An Algebra with a Fixpoint Operator for Distributed Data Collections [HAL, PDF, Abstract]

    Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda
    2019

2018

  • A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators [HAL, PDF, Abstract]

    Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
    Big Data 2018 - IEEE International Conference on Big Data, Dec 2018, Seattle, United States. pp.1-10
  • Graph Queries: From Theory to Practice [HAL, Abstract]

    Angela Bonifati, Stefania Dumbrava
    SIGMOD record, ACM, 2018, 47 (4)
  • A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents [HAL, PDF, Abstract]

    Joel Dos Santos, Débora Muchaluat-Saade, Cécile Roisin, Nabil Layaïda
    ACM Transactions on Multimedia Computing, Communications and Applications, Association for Computing Machinery, 2018, 14 (4), pp.1-24. ⟨10.1145/3267127⟩
  • A Method to Quantitatively Evaluate Geo Augmented Reality Applications [HAL, PDF, Abstract]

    Thibaud Michel, Pierre Genevès, Nabil Layaïda
    ISMAR 2018 - International Symposium on Mixed and Augmented Reality, Oct 2018, Munich, Germany. pp.1-6
  • Query-based Linked Data Anonymization [HAL, PDF, Abstract]

    Rémy Delanaux, Angela Bonifati, Marie-Christine Rousset, Romuald Thion
    The 17th International Semantic Web Conference (ISWC 2018), Oct 2018, Monterey, United States. pp.530-546, ⟨10.1007/978-3-030-00671-6_31⟩
  • Querying Graphs [HAL, Abstract]

    Angela Bonifati, George Fletcher, Hannes Voigt, Nikolay Yakovets
    Morgan & Claypool Publishers, 10 (3), pp.1-184, 2018, Synthesis Lectures on Data Management, ⟨10.2200/S00873ED1V01Y201808DTM051⟩
  • Scalable and Interpretable Predictive Models for Electronic Health Records [HAL, PDF, Abstract]

    Amela Fejza, Pierre Genevès, Nabil Layaïda, Jean-Luc Bosson
    DSAA 2018 - 5th IEEE International Conference on Data Science and Advanced Analytics, Oct 2018, Turin, Italy. pp.1-10
  • On the foundations for the compilation of web data queries: optimization and distributed evaluation of SPARQL. [HAL, PDF, Abstract]

    Louis Jachiet
    Web. Communauté Université Grenoble Alpes, 2018. English
  • ProvSQL: Provenance and Probability Management in PostgreSQL [HAL, PDF, Abstract]

    Pierre Senellart, Louis Jachiet, Silviu Maniu, Yann Ramusat
    Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2018, 11 (12), pp.2034-2037. ⟨10.14778/3229863.3236253⟩
  • The GazePlay Project: Open and Free Eye-trackers Games and a Community for People with Multiple Disabilities [HAL, PDF, Abstract]

    Didier Schwab, Amela Fejza, Loïc Vial, Yann Robert
    ICCHP 2018 - 16th International Conference on Computers Helping People with Special Needs, Jul 2018, Linz, Austria. pp.254-261, ⟨10.1007/978-3-319-94277-3_41⟩
  • Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions [HAL, PDF, Abstract]

    Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
    ICWE'18 - 18th International Conference on Web Engineering, Jun 2018, Cáceres, Spain. pp.195-209, ⟨10.1007/978-3-319-91662-0_15⟩
  • Evaluation of Query Transformations without Data [HAL, Abstract]

    Jérôme David, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    WWW 2018 - Companion of The Web Conference, Apr 2018, Lyon, France. pp.1599-1602, ⟨10.1145/3184558.3191617⟩
  • SPARQL Query Containment under Schema [HAL, PDF, Abstract]

    Melisachew Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    Journal on Data Semantics, Springer, 2018, 7 (3), pp.133-154. ⟨10.1007/s13740-018-0087-1⟩
  • Attitude Estimation for Indoor Navigation and Augmented Reality with Smartphones [HAL, PDF, Abstract]

    Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
    Pervasive and Mobile Computing, Elsevier, 2018, 46, pp.96-121. ⟨10.1016/j.pmcj.2018.03.004⟩
  • Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission [HAL, PDF, Abstract]

    Pierre Genevès, Thomas Calmant, Nabil Layaïda, Marion Lepelley, Svetlana Artemova, Jean-Luc Bosson
    Big Data Research, Elsevier, 2018, 12, pp.23-34. ⟨10.1016/j.bdr.2018.02.004⟩
  • The GazePlay Project : Overview in February 2018 [HAL, PDF, Abstract]

    Didier Schwab, Amela Fejza, Loïc Vial, Yann Robert
    [Research Report] LIG lab. 2018, pp.1-5

2017

  • Extending the SPARQL Algebra for the optimization of Property Paths [HAL, PDF, Abstract]

    Louis Jachiet, Pierre Genevès, Nabil Layaïda, Nils Gesbert
    BDA 2017 - 33ème conférence sur la « Gestion de Données , Nov 2017, Nancy, France. pp.1-2
  • Une classification expérimentale multi-critère des évaluateurs SPARQL répartis [HAL, PDF, Abstract]

    Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
    BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications » , Nov 2017, Nancy, France. pp.1-2
  • Optimising SPARQL Query Evaluation in the Presence of ShEx Constraints [HAL, PDF, Abstract]

    Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
    BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications », Nov 2017, Nancy, France. pp.1-12
  • On Mobile Augmented Reality Applications based on Geolocation [HAL, PDF, Abstract]

    Thibaud Michel
    Mobile Computing. Université Grenoble Alpes, 2017. English
  • Static Analysis of Semantic Web Queries with ShEx Schema Constraints [HAL, PDF, Abstract]

    Abdullah Abbas
    Web. Université Grenoble - Alpes, 2017. English
  • The SPARQLGX System for Distributed Evaluation of SPARQL Queries [HAL, PDF, Abstract]

    Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
    2017
  • SPARQL Query Containment with ShEx Constraints [HAL, PDF, Abstract]

    Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
    ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus
  • A Circuit-Based Approach to Efficient Enumeration [HAL, PDF, Abstract]

    Antoine Amarilli, Pierre Bourhis, Louis Jachiet, Stefan Mengel
    ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. pp.1-15, ⟨10.4230/LIPIcs.ICALP.2017.111⟩
  • SPARUB: SPARQL UPDATE Benchmark [HAL, PDF, Abstract]

    Damien Graux, Pierre Genevès, Nabil Layaïda
    2017
  • Optimizing SPARQL query evaluation with a worst-case cardinality estimation based on statistics on the data [HAL, PDF, Abstract]

    Louis Jachiet, Pierre Genevès, Nabil Layaïda
    2017
  • On Attitude Estimation with Smartphones [HAL, PDF, Abstract]

    Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
    IEEE International Conference on Pervasive Computing and Communications, Mar 2017, Kona, United States
  • HAP: Building Pipelines with Heterogeneous Data and Hive [HAL, PDF, Abstract]

    Damien Graux, Pierre Genevès, Nabil Layaïda
    2017

2016

  • On the efficient distributed evaluation of SPARQL queries [HAL, PDF, Abstract]

    Damien Graux
    Other [cs.OH]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM058⟩
  • SPARQLGX : Une Solution Distribuée pour RDF Traduisant SPARQL vers Spark [HAL, PDF, Abstract]

    Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
    BDA 2016 - 32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Nov 2016, Poitiers, France
  • SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark [HAL, PDF, Abstract]

    Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
    The 15th International Semantic Web Conference, Oct 2016, Kobe, Japan. ⟨10.1007/978-3-319-46547-0_9⟩
  • SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark [HAL, PDF, Abstract]

    Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
    15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan
  • Smart Trip Alternatives for the Curious [HAL, PDF, Abstract]

    Damien Graux, Pierre Genevès, Nabil Layaïda
    15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan
  • An efficient translation from a modal μ-calculus over finite trees with converse to tree automata [HAL, PDF, Abstract]

    Louis Jachiet, Pierre Genevès, Nabil Layaïda
    2016
  • Behavioral Types in Programming Languages [HAL, Abstract]

    Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco Vasconcelos, Nobuko Yoshida
    Foundations and Trends in Programming Languages, Now Publishers, 2016, 3 (2-3), pp.95-230. ⟨10.1561/2500000031⟩
  • Behavioral Types in Programming Languages [HAL, Abstract]

    Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng Bono, Luca Padovani, Vasco Vasconcelos, Nobuko Yoshida
    Foundations and Trends in Programming Languages, Now Publishers, 2016, 3 (2-3), pp.95-230. ⟨10.1561/2500000031⟩

2015

  • Modular session types for objects [HAL, PDF, Abstract]

    Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
    Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩
  • On the Static Analysis for SPARQL Queries using Modal Logic [HAL, PDF, Abstract]

    Nicola Guido
    Web. Université Grenoble Alpes, 2015. Français. ⟨NNT : 2015GREAM059⟩
  • On Query-Update Independence for SPARQL [HAL, PDF, Abstract]

    Nicola Guido, Pierre Genevès, Nabil Layaïda, Cécile Roisin
    CIKM'15, ACM, Oct 2015, Melbourne, Australia. pp.1675-1678, ⟨10.1145/2806416.2806586⟩
  • A Comparative Analysis of Attitude Estimation for Pedestrian Navigation with Smartphones [HAL, PDF, Abstract]

    Thibaud Michel, Hassen Fourati, Pierre Genevès, Nabil Layaïda
    Indoor Positioning and Indoor Navigation, Oct 2015, Banff, Canada. pp.10, ⟨10.1109/IPIN.2015.7346767⟩
  • Spatio-temporal Validation of Multimedia Documents [HAL, PDF, Abstract]

    Joel Ferreira dos Santos, Christiano Braga, Débora Muchaluat-Saade, Cécile Roisin, Nabil Layaïda
    DocEng'15, ACM, Sep 2015, Lausanne, Switzerland. ⟨10.1145/2682571.2797060⟩
  • XQuery and Static Typing: Tackling the Problem of Backward Axes [HAL, PDF, Abstract]

    Pierre Genevès, Nils Gesbert
    ICFP (International Conference on Functional Programming), ACM SIGPLAN, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784746⟩
  • Expressive Logical Combinators for Free [HAL, PDF, Abstract]

    Pierre Genevès, Alan Schmitt
    International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
  • Reasoning with Style [HAL, PDF, Abstract]

    Martí Bosch, Pierre Genevès, Nabil Layaïda
    International Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
  • On the Static Analysis for SPARQL Queries Using Modal Logic [HAL, PDF, Abstract]

    Nicola Guido
    IJCAI 2015, Jul 2015, Buenos Aires, Argentina
  • A Logical Approach To Deciding Semantic Subtyping [HAL, PDF, Abstract]

    Nils Gesbert, Pierre Genevès, Nabil Layaïda
    ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2015, 38 (1), pp.31. ⟨10.1145/2812805⟩
  • A Core Calculus for XQuery 3.0 [HAL, PDF, Abstract]

    Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
    ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩
  • Efficiently Deciding µ-calculus with Converse over Finite Trees [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert
    ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 16 (2), pp.41. ⟨10.1145/2724712⟩

2014

  • Static Analysis for Data-Centric Web Programming [HAL, PDF, Abstract]

    Pierre Genevès
    Computer Science [cs]. Université Grenoble Alpes, 2014
  • Automated Refactoring for Size Reduction of CSS Style Sheets [HAL, PDF, Abstract]

    Martí Bosch, Pierre Genevès, Nabil Layaïda
    Proceedings of the 2014 ACM symposium on Document engineering, Sep 2014, Fort Collins, Denver, United States. ⟨10.1145/2644866.2644885⟩
  • Personal Shopping Assistance and Navigator System for Visually Impaired People [HAL, PDF, Abstract]

    Paul Chippendale, Valeria Tomaselli, Viviana D'Alto, Giulio Urlini, Carla Maria Modena, Stefano Messelodi, Sebastiano Mauro Strano, Günter Alce, Klas Hermodsson, Mathieu Razafimahazo, Thibaud Michel, Maria Farinella Giovanni
    ACVR2014: Second Workshop on Assistive Computer Vision and Robotics, Sep 2014, Zurich, Switzerland
  • Session Types as Generic Process Types [HAL, PDF, Abstract]

    Simon J. Gay, Nils Gesbert, António Ravara
    Proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics (EXPRESS/SOS)., Sep 2014, Rome, Italy. pp.94 - 110, ⟨10.4204/EPTCS.160.9⟩
  • Automated Refactoring for Size Reduction of CSS Style Sheets [HAL, PDF, Abstract]

    Marti Bosch, Pierre Genevès, Nabil Layaïda
    2014
  • Mobile Augmented Reality Applications for Smart Cities [HAL, PDF, Abstract]

    Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel
    ERCIM News, ERCIM, 2014, ERCIM News 98, pp.45-46
  • Equipping IDEs with XML-Path Reasoning Capabilities [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    ACM Transactions on Internet Technology, Association for Computing Machinery, 2014, 13 (4), pp.20. ⟨10.1145/2602573⟩
  • SPARQL Query Rewriting with Paths [Master's Thesis] [HAL, PDF, Abstract]

    Abdullah Abbas
    Web. 2014

2013

  • Evaluating and benchmarking SPARQL query containment solvers [HAL, PDF, Abstract]

    Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    Proc. 12th International semantic web conference (ISWC), Oct 2013, Sydney, Australia. pp.408-423, ⟨10.1007/978-3-642-41338-4_26⟩
  • Mixed Reality Browsers and Pedestrian Navigation in Augmented Cities [HAL, PDF, Abstract]

    Jacques Lemordant, Thibaud Michel, Mathieu Razafinahazo
    The Graphical Web Conference, Oct 2013, San Francisco, United States
  • Multimedia applications for playing with digitized theater performances [HAL, PDF, Abstract]

    Marc Caillet, Cécile Roisin, Jean Carrive
    Multimedia Tools and Applications, Springer Verlag, 2013, ⟨10.1007/s11042-013-1651-1 ⟩
  • XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil
  • Le temps dans les documents -- Langage SMIL [HAL, Abstract]

    Nabil Layaïda, Cécile Roisin
    Les Techniques de l'Ingénieur. Représentation et traitement des documents numériques, H7228, Les Techniques de l'Ingénieur, 2013, TIB312DUO
  • Representation and Analyses of Web Content and Processing [HAL, PDF, Abstract]

    Nabil Layaïda
    Web. Université de Grenoble, 2013

2012

  • L'émergence de la réalité augmentée, à la frontière du réel et du virtuel [HAL, PDF, Abstract]

    Jacques Lemordant, Jean-Dominique Gascuel, Isabelle Bellin
    Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 3 p