Tyrex | Project

Publications

2018

  • A Method to Quantitatively Evaluate Geo Augmented Reality Applications [HAL, PDF, Abstract]

    Thibaud Michel, Pierre Genevès, Nabil Layaïda
    International Symposium on Mixed and Augmented Reality (ISMAR), Oct 2018, Munich, Germany
  • 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. IEEE, pp.1-10
  • 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.1-8
  • Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions [HAL, PDF, Abstract]

    Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
    18th International Conference on Web Engineering (ICWE'18), Jun 2018, Cáceres, Spain. 2018
  • Evaluation of Query Transformations without Data [HAL, Abstract]

    Jérôme David, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    Companion of The Web Conference 2018, Apr 2018, Lyon, France. ACM Press, 〈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, pp.1-22. 〈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, 〈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〉

2017

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

    Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda
    2017
  • 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, 〈https://project.inria.fr/bda2017/〉
  • 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, 〈https://project.inria.fr/bda2017/〉
  • 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
  • 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. Springer, 10509, LNCS - Lecture Notes in Computer Science
  • A Circuit-Based Approach to Efficient Enumeration [HAL, PDF, Abstract]

    Antoine Amarilli, Pierre Bourhis, Louis Jachiet, Stefan Mengel
    Ioannis Chatzigiannakis; Piotr Indyk; Anca Muscholl. 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
  • Backward Type Inference for XML Queries [HAL, PDF, Abstract]

    Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
    2017
  • 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. BDA2016
  • 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. The 15th International Semantic Web Conference, 〈10.1007/978-3-319-46547-0_9〉
  • 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. 15th International Semantic Web Conference
  • 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. 15th International Semantic Web Conference
  • A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators [HAL, PDF, Abstract]

    Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
    Submitted. 2016
  • 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〉

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. 〈http://www.lmcs-online.org/〉. 〈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
    ACM. CIKM'15, Oct 2015, Melbourne, Australia. CIKM'15, 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, 2015, 2015 International Conference on Indoor Positioning and Indoor Navigation. 〈http://www.ucalgary.ca/ipin2015/〉. 〈10.1109/IPIN.2015.7346767〉
  • 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. 2015, 〈10.1007/978-3-662-46669-8_10〉
  • 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. 〈http://toplas.acm.org/〉. 〈10.1145/2812805〉
  • 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, Sep 2015, Lausanne, Switzerland. 2015, Document Engineering 2015. 〈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), Aug 2015, Vancouver, Canada. ACM SIGPLAN International Conference on Functional Programming, 〈http://icfpconference.org/icfp2015/〉. 〈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. 2015
  • 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. 〈http://tocl.acm.org/〉. 〈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. 〈http://www.doceng2014.org/〉. 〈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. 〈http://www.ino.it/ACVR2014/〉
  • 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. 160, pp.94 - 110, 2014, Electronic Proceedings in Theoretical Computer Science. 〈http://www.math.unipd.it/~crafa/EXPRESSSOS2014/〉. 〈10.4204/EPTCS.160.9〉
  • 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〉
  • Automated Refactoring for Size Reduction of CSS Style Sheets [HAL, PDF, Abstract]

    Marti Bosch, Pierre Genevès, Nabil Layaïda
    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
    Harith Alani and Lalana Kagal and Achile Fokoue and Paul Groth and Chris Biemann and Parreira, Josiane Xavier and Lora Aroyo and Natalya Noy and Christopher Welty and Krzysztof Janowicz. Proc. 12th International semantic web conference (ISWC), Oct 2013, Sydney, Australia. Springer Verlag, 8219, pp.408-423, 2013, Lecture notes in computer science. 〈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. 2013
  • 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, 〈http://link.springer.com/article/10.1007%2Fs11042-013-1651-1〉. 〈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. 2013
  • 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