Tyrex | Project

Publications

2017

  • [PRE-PRINT] Predicting At-Risk Patient Profiles from Big Prescription Data [HAL, PDF, Abstract]

    Pierre Genevès, Thomas Calmant, Nabil Layaïda, Marion Lepelley, Svetlana Artemova, Jean-Luc Bosson
    2017
  • [PRE-PRINT] Attitude Estimation with Smartphones [HAL, PDF, Abstract]

    Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
    2017
  • [POSTER] 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
  • [PHD] On Mobile Augmented Reality Applications based on Geolocation [HAL, PDF, Abstract]

    Thibaud Michel
    Mobile Computing. Université Grenoble Alpes, 2017. English
  • [PRE-PRINT] The SPARQLGX System for Distributed Evaluation of SPARQL Queries [HAL, PDF, Abstract]

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

    Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
    Advances in Databases and Information Systems, Sep 2017, Nicosia, Cyprus
  • [CONFERENCE] 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〉
  • [PRE-PRINT] SPARUB: SPARQL UPDATE Benchmark [HAL, PDF, Abstract]

    Damien Graux, Pierre Genevès, Nabil Layaïda
    2017
  • [PRE-PRINT] 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
  • [CONFERENCE] 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
  • [PRE-PRINT] Backward Type Inference for XML Queries [HAL, PDF, Abstract]

    Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
    2017
  • [PRE-PRINT] HAP: Building Pipelines with Heterogeneous Data and Hive [HAL, PDF, Abstract]

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

2016

  • [PHD] On the Efficient Distributed Evaluation of SPARQL Queries [HAL, PDF, Abstract]

    Damien Graux
    Web. Université Grenoble Alpes, 2016. English
  • [CONFERENCE] 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
  • [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
  • [CONFERENCE] 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
  • [CONFERENCE] 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〉
  • [PRE-PRINT] A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators [HAL, PDF, Abstract]

    Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
    Submitted. 2016
  • [PRE-PRINT] An efficient translation from a modal μ-calculus over finite tress with converse to tree automata [HAL, PDF, Abstract]

    Louis Jachiet, Pierre Genevès, Nabil Layaïda
    2016
  • [JOURNAL] 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

  • [JOURNAL] 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〉
  • [CONFERENCE] 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〉
  • [JOURNAL] 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〉
  • [CONFERENCE] 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〉
  • [CONFERENCE] 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〉
  • [CONFERENCE] 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〉
  • [CONFERENCE] 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〉
  • [CONFERENCE] 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
  • [CONFERENCE] 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
  • [CONFERENCE] On the Static Analysis for SPARQL Queries Using Modal Logic [HAL, PDF, Abstract]

    Nicola Guido
    IJCAI 2015, Jul 2015, Buenos Aires, Argentina. 2015
  • [JOURNAL] 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

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

    Pierre Genevès
    Computer Science [cs]. Université Grenoble Alpes, 2014
  • [CONFERENCE] 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〉
  • [CONFERENCE] 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/〉
  • [CONFERENCE] 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〉
  • [JOURNAL] 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〉
  • [JOURNAL] Mobile Augmented Reality Applications for Smart Cities [HAL, PDF, Abstract]

    Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel
    ERCIM News 98, 2014, ERCIM News 98, pp.45-46
  • [PRE-PRINT] Automated Refactoring for Size Reduction of CSS Style Sheets [HAL, PDF, Abstract]

    Marti Bosch, Pierre Genevès, Nabil Layaïda
    2014

2013

  • [CONFERENCE] 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〉
  • [CONFERENCE] 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
  • [JOURNAL] 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 〉
  • [CONFERENCE] 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
  • [BOOK] 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
  • [HDR] Representation and Analyses of Web Content and Processing [HAL, PDF, Abstract]

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

2012

  • [JOURNAL] 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
  • [REPORT] A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability [HAL, PDF, Abstract]

    Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    [Research Report] RR-8128, INRIA. 2012, pp.10
  • [REPORT] XQTC: A Static Type-Checker for XQuery Using Backward Type Inference [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Christine Vanoirbeek
    [Research Report] RR-8149, INRIA. 2012, pp.25
  • [JOURNAL] Le web devient un outil universel aux fonctionnalités croissantes [HAL, PDF, Abstract]

    Françoise Breton, Vincent Quint
    Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 2 p
  • [CONFERENCE] Toward Automated Schema-directed Code Revision [HAL, PDF, Abstract]

    Raquel Oliveira, Pierre Genevès, Nabil Layaïda
    DocEng 2012, Sep 2012, Paris, France. ACM, 2012, 〈10.1145/2361354.2361377〉
  • [CONFERENCE] XML Query-Update Independence Analysis Revisited [HAL, PDF, Abstract]

    Muhammad Junedi, Pierre Genevès, Nabil Layaïda
    DocEng 2012, Sep 2012, Paris, France. ACM, 2012, 〈10.1145/2361354.2361375〉
  • [CONFERENCE] SPARQL Query Containment Under SHI Axioms [HAL, PDF, Abstract]

    Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    26th AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. AAAI Press, pp.10-16, 2012
  • [REPORT] Logical Combinators for Rich Type Systems [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Alan Schmitt
    [Research Report] RR-8010, INRIA. 2012, pp.18
  • [CONFERENCE] SPARQL Query Containment under RDFS Entailment Regime [HAL, PDF, Abstract]

    Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    Bernhard Gramlich and Dale Miller and Uli Sattler. 6th International Joint Conference on Automated Reasoning (IJCAR), Jun 2012, Manchester, United Kingdom. Springer, pp.134-148, 2012, 〈10.1007/978-3-642-31365-3_13〉
  • [JOURNAL] A Lightweight Framework for Authoring XML Multimedia Content on the Web [HAL, PDF, Abstract]

    Christine Vanoirbeek, Vincent Quint, Stéphane Sire, Cécile Roisin
    Multimedia Tools and Applications, Springer Verlag, 2012, 〈10.1007/s11042-012-1159-0〉
  • [REPORT] SPARQL Query Containment under RDFS Entailment Regime [HAL, PDF, Abstract]

    Melisachew Wudagae Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    [Research Report] RR-7942, Inria - Sophia Antipolis. 2012, pp.25
  • [REPORT] SPARQL Query Containment under SHI Axioms [HAL, PDF, Abstract]

    Melisachew Wudagae Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    [Research Report] RR-7943, Inria - Sophia Antipolis. 2012
  • [CONFERENCE] On the Analysis of Cascading Style Sheets [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Vincent Quint
    WWW '12 - 21st international conference on World Wide Web - 2012, Apr 2012, Lyon, France. pp.809-818, 2012, 〈http://dl.acm.org/citation.cfm?doid=2187836.2187946〉. 〈10.1145/2187836.2187946〉

2011

  • [REPORT] Le language audio pour mobiles MAUDL et son moteur de rendu audio interactif IXE [HAL, PDF, Abstract]

    Yohan Lasorsa, Jacques Lemordant
    [Rapport de recherche] RR-7847, INRIA. 2011, pp.40
  • [REPORT] One Idea and Three Concepts for Indoor-Outdoor Navigation [HAL, PDF, Abstract]

    Audrey Colbrant, Yohan Lasorsa, Jacques Lemordant, David Liodenot, Mathieu Razafimahazo
    [Research Report] RR-7849, INRIA. 2011, pp.12
  • [REPORT] A Lightweight Framework for Authoring XML Multimedia Content on the Web [HAL, PDF, Abstract]

    Christine Vanoirbeek, Vincent Quint, Stéphane Sire, Cécile Roisin
    [Research Report] RR-7848, INRIA. 2011, pp.23
  • [REPORT] The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report [HAL, PDF, Abstract]

    Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz, James L. Crowley, Yves Denneulin, Lydie Du Bousquet, Andrzej Duda, Rachid Echahed, Marie-Christine Fauvet, Catherine Garbay, Eric Gaussier, Isabelle Guillet, Christian Laugier, Yves Ledru, Arnaud Legrand, Nadine Mandran, Hervé Martin, Jean-François Méhaut, Thierry Morturier, Brigitte Plateau, Elisabeth Pons, Joëlle Prévost, Frédéric Prost, Vincent Quint, Patrick Reignier, Franck Rousseau, Marie-Christine Rousset, Eric Rutten, Michel Vacher
    2011
  • [CONFERENCE] Mixed Reality Browsers [HAL, PDF, Abstract]

    Jacques Lemordant
    AR Standards Meeting, Dec 2011, Barcelone, Spain. 2011
  • [JOURNAL] Semantic adaptation of multimedia documents [HAL, PDF, Abstract]

    Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
    Multimedia Tools and Applications, Springer Verlag, 2011, 55 (3), pp.379-398. 〈10.1007/s11042-010-0552-9〉
  • [CONFERENCE] Timesheets.js: Tools for Web Multimedia [HAL, PDF, Abstract]

    Fabien Cazenave, Vincent Quint, Cécile Roisin
    ACM Multimedia 2011, Nov 2011, Scottsdale, Arizona, United States. 4 p., 2011
  • [REPORT] On the Analysis of Cascading Style Sheets [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Quint Vincent
    [Research Report] RR-7808, INRIA. 2011
  • [CONFERENCE] Parametric Polymorphism and Semantic Subtyping: the Logical Connection [HAL, PDF, Abstract]

    Nils Gesbert, Pierre Genevès, Nabil Layaïda
    International conference on functional programming, Sep 2011, Tokyo, Japan. pp.107-116, 2011, Proceeding of the 16th ACM SIGPLAN international conference on Functional programming. 〈10.1145/2034773.2034789〉
  • [CONFERENCE] Timesheets.js: When SMIL Meets HTML5 and CSS3 [HAL, PDF, Abstract]

    Fabien Cazenave, Vincent Quint, Cécile Roisin
    DocEng 2011, 11th ACM Symposium on Document Engineering, Sep 2011, Mountain View, United States. 10 p., 2011
  • [CONFERENCE] PSPARQL Query Containment [HAL, PDF, Abstract]

    Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    DBPL 2011 The 13th International Symposium on Database Programming Languages, Aug 2011, Seattle, United States. 8 p., 2011
  • [CONFERENCE] Query Reasoning on Trees with Types, Interleaving, and Counting [HAL, PDF, Abstract]

    Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda, Alan Schmitt
    22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain. 2011
  • [JOURNAL] Impact of XML Schema Evolution [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Vincent Quint
    ACM Transactions on Internet Technology, Association for Computing Machinery, 2011, 11 (1), pp.4:1-4:27. 〈10.1145/1993083.1993087〉
  • [REPORT] Enhancing an XML Publishing Workflow for Web Multimedia [HAL, PDF, Abstract]

    Cécile Roisin, Fabien Cazenave, Vincent Quint, Ludovic Gaillard, Dominique Saint-Martin
    [Research Report] RR-7836, INRIA. 2011, pp.23
  • [REPORT] XML Reasoning Solver User Manual [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Vojtech Knyttl
    [Research Report] RR-6726, INRIA. 2011
  • [REPORT] PSPARQL Query Containment [HAL, PDF, Abstract]

    Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
    [Research Report] INRIA. 2011
  • [CONFERENCE] Inconsistent Path Detection for XML IDEs [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    33rd International Conference on Software Engineering, ICSE 2011, May 2011, Honolulu, United States. ACM, pp.983-985, 2011, 〈10.1145/1985793.1985967〉
  • [PHD] Automated reasoning on trees with cardinality constraints [HAL, PDF, Abstract]

    Ismael Barcenas Patino
    Other [cs.OH]. Université Grenoble Alpes, 2011. English. 〈NNT : 2011GRENM004〉

2010

  • [CONFERENCE] Instrumentation des interrogations orales Support multimédia à l'évaluation et à la capitalisation des interrogations orales [HAL, PDF, Abstract]

    Jan Mikác, Cécile Roisin, Jean-Marc Wolff
    TICE2010 : 7ème Colloque Technologies de l'Information et de la Communication pour l'Enseignement, Dec 2010, Nancy, France. pp.6, 2010
  • [CONFERENCE] From templates to schemas: bridging the gap between free editing and safe data processing [HAL, PDF, Abstract]

    Vincent Quint, Cécile Roisin, Stéphane Sire, Christine Vanoirbeek
    10th ACM symposium on Document engineering, Sep 2010, Manchester, United Kingdom. ACM, pp.61-64, 2010, 〈10.1145/1860559.1860572〉
  • [CONFERENCE] A Low-Cost Global Network for Data Collection and Query [HAL, PDF, Abstract]

    Audrey Colbrant, Jacques Lemordant, Phuntsok Dorjee
    2nd Extreme Workshop on Communication, Sep 2010, Dharamsala, India. http://www.cs.st-andrews.ac.uk/~fehmi/extremecom/2010/program.html, 2010, 〈http://www.cs.st-andrews.ac.uk/~fehmi/extremecom/2010/ColbrantExtremeCom10.pdf〉
  • [CONFERENCE] Sound Objects for SVG [HAL, PDF, Abstract]

    Audrey Colbrant, Yohan Lasorsa, Jacques Lemordant, David Liodenot, Mathieu Razafimahazo
    SVG Open 2010, Aug 2010, Paris, France. 2010, 〈https://www.svgopen.org/2010/papers/34-Sound_Objects_for_SVG/〉
  • [REPORT] On the Count of Trees [HAL, PDF, Abstract]

    Everardo Barcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
    [Research Report] RR-7251, INRIA. 2010
  • [CONFERENCE] Basic Concepts in Augmented Reality Audio [HAL, PDF, Abstract]

    Jacques Lemordant
    W3C Workshop: Augmented Reality on the Web, Jun 2010, Barcelona, Spain. pp.4, 2010
  • [CONFERENCE] Augmented Reality Audio Editing [HAL, PDF, Abstract]

    Jacques Lemordant, Yohan Lasorsa
    128th AES Convention, May 2010, London, United Kingdom. paper 8143, 2010
  • [CONFERENCE] Eliminating Dead-Code from XQuery Programs [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    32nd ACM/IEEE International Conference on Software Engineering, May 2010, Cape Town, South Africa. ACM, pp.305-306, 2010, 〈10.1145/1810295.1810363〉
  • [CONFERENCE] Debugging Standard Document Formats [HAL, PDF, Abstract]

    Nabil Layaïda, Pierre Genevès
    Michael Rappa, Paul Jones, Juliana Freire, Soumen Chakrabarti. 19th International Conference on World Wide Web (WWW 2010), Apr 2010, Raleigh, NC, United States. ACM, pp. 1269-1272, 2010, 〈10.1145/1772690.1772899〉
  • [CONFERENCE] Authoring XML all the Time, Everywhere and by Everyone [HAL, PDF, Abstract]

    Stéphane Sire, Christine Vanoirbeek, Vincent Quint, Cécile Roisin
    XML Prague 2010, Mar 2010, Prague, Czech Republic. Institute for Theoretical Computer Science, Prague, pp. 125-149, 2010
  • [CONFERENCE] XML Reasoning Made Practical [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    26th IEEE International Conference on Data Engineering, ICDE 2010, Mar 2010, Long Beach, CA, United States. IEEE, pp. 1169-1172, 2010, 〈10.1109/ICDE.2010.5447786〉

2009

  • [CONFERENCE] Semantic multimedia document adaptation with functional annotations [HAL, PDF, Abstract]

    Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
    Proc. 4th international workshop on Semantic Media Adaptation and Personalization (SMAP2009), Dec 2009, San Sebastián, Spain. No commercial editor., pp.44-49, 2009, 〈10.1109/SMAP.2009.19〉
  • [CONFERENCE] An Interactive Audio System for Mobiles [HAL, PDF, Abstract]

    Yohan Lasorsa, Jacques Lemordant
    127th AES Convention, Oct 2009, New York, United States. 2009
  • [CONFERENCE] On the Analysis of Queries with Counting Constraints [HAL, PDF, Abstract]

    Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda
    DocEng'09: Proceedings of the 2009 ACM Symposium on Document Engineering, Sep 2009, Munich, Germany. ACM, pp.21-24, 2009, 〈10.1145/1600193.1600199〉
  • [CONFERENCE] Identifying Query Incompatibilities with Evolving XML Schemas [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Vincent Quint
    ICFP'09, Aug 2009, Edinburgh, United Kingdom. ACM, pp.221-230, 2009, 〈10.1145/1596550.1596583〉
  • [JOURNAL] Analysis of Haptics Evolution from Web Search Engines' Data [HAL, Abstract]

    Agnès Guerraz, Céline Loscos
    Journal of Multimedia, Academy Publisher, 2009, 4 (4), pp.196-203. 〈http://www.academypublisher.com/jmm/vol04/no04/jmm0404196203.pdf〉
  • [CONFERENCE] Réifier et réutiliser les pratiques d'enseignement : développement participatif d'un scénario et de services pour les communautés de pratique [HAL, PDF, Abstract]

    Bernadette Charlier, Aida Boukottaya, Amaury Daele, France Henri, Cécile Roisin, Annick Rossier-Morel
    EIAH 09, Jun 2009, Le Mans, France. INRP Lyon, pp.223-230, 2009
  • [CONFERENCE] Counting Trees Along Multidirectional Regular Paths [HAL, PDF, Abstract]

    Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda
    PLAN-X 2009, Jan 2009, Savannah, United States. 2009

2008

  • [REPORT] Ensuring Query Compatibility with Evolving XML Schemas [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Vincent Quint
    [Research Report] RR-6711, INRIA. 2008
  • [BOOK] An incremental framework for adapting the hypermedia structure of multimedia documents [HAL, PDF, Abstract]

    Sébastien Laborie, Jérôme Euzenat
    Manolis Wallace, Marios Angelides, Phivos Mylonas. Advances in Semantic Media Adaptation and Personalization, 93 (8), Springer, pp.157-176, 2008, Studies in computational intelligence, 978-3-540-76359-8. 〈10.1007/978-3-540-76361_8〉
  • [REPORT] Efficient Static Analysis of XML Paths and Types [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Alan Schmitt
    [Research Report] RR-6590, INRIA. 2008
  • [BOOK] Indeterminate Adaptive Digital Audio for Games on Mobiles [HAL, PDF, Abstract]

    Agnes Guerraz, Jacques Lemordant
    Karen Collins. From Pac-Man to Pop Music, ashgate, 2008
  • [JOURNAL] Comment bâtir un cours multimédia avec LimSee3 ? [HAL, PDF, Abstract]

    Jan Mikác, Cécile Roisin
    Revue de l'EPI (Enseignement Public et Informatique), EPI, 2008, 〈http://www.epi.asso.fr/revue/articles/a0810a.htm〉
  • [CONFERENCE] An Export Architecture for a Multimedia Authoring Environment [HAL, PDF, Abstract]

    Jan Mikác, Cécile Roisin, Bao Le Duc
    Dick C. A. Bulterman and Luis Fernando G. Soares and Maria da Graça C. Pimentel. DocEng'08, Sep 2008, Sao Paulo, Brazil. ACM, pp.28-31, 2008, DocEng'08 Proceedings of the Eighth ACM Symposium on Document Engineering
  • [CONFERENCE] Adaptation spatio-temporelle et hypermédia de documents multimédia [HAL, PDF, Abstract]

    Sébastien Laborie, Jérome Euzenat, Nabil Layaïda
    Atelier Représentation et Raisonnement sur le Temps et l'Espace (RTE), Jun 2008, France. pp.1-13, 2008
  • [PHD] Adaptation sémantique de documents multimédia [HAL, PDF, Abstract]

    Sébastien Laborie
    Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2008. Français
  • [PRE-PRINT] Modèle d'édition de document multimédia Mémoire de fin d'études Master d'Informatique [HAL, PDF, Abstract]

    Duc Bao Le
    2008

2007

  • [JOURNAL] Deciding XPath Containment with MSO [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    Data and Knowledge Engineering, Elsevier, 2007, 63 (1), p. 108-136
  • [REPORT] Modèle d'édition de document multimédia [HAL, PDF, Abstract]

    Duc Bao Le
    [Stage] 2007, pp.66
  • [REPORT] Towards automatic XML structure building for Web documents [HAL, PDF, Abstract]

    Agnès Guerraz
    [Research Report] RR-6147, INRIA. 2007, pp.8
  • [CONFERENCE] XPath Typing Using a Modal Logic with Converse for Finite Trees [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Alan Schmitt
    Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1, 2007
  • [OTHER] First version of Amaya offering a template mechanism [HAL, PDF, Abstract]

    Vincent Quint, Émilien Kia, Étienne Vandeput, Irène Vatton
    PALETTE deliverable - report number D.INF.02. 2007
  • [OTHER] Description of six scenarios and of the results of six validated trials [HAL, PDF, Abstract]

    Aida Boukottaya, Michel Buffa, Bernadette Charlier, Amaury Daele, Nathalie Deschryver, Adil El Ghali, Sandy El Helou, Liliane Esnault, Christina Evangelou, Alain Giboin, Nikos Karacapilidis, Manfred Künzel, Amagoia Madina, Christian Maissen, Jan Mikáč, Arnaud Milstein, Hervé Platteaux, Robert Peeters, Vincent Quint, Murray Saunders, Amira Tifous, Manolis Tzagarakis, Étienne Vandeput, Nathalie Van De Wiele, Irène Vatton, Frédéric Vermeulin, Géraldine Vidou
    Description of six scenarios and of the results of six validated trials. 2007
  • [JOURNAL] Multimedia Authoring for Communities of Teachers [HAL, PDF, Abstract]

    Agnès Guerraz, Cécile Roisin, Jan Mikác, Romain Deltour
    International Journal of Web-Based Learning and Teaching Technologies, IGI Global, 2007, 2 (3), pp.1-18
  • [CONFERENCE] Mobile Immersive Music [HAL, PDF, Abstract]

    Jacques Lemordant, Agnes Guerraz
    International Computer Music Conference '07, Aug 2007, Copenhagen, Denmark. 2007
  • [CONFERENCE] Editing with Style [HAL, PDF, Abstract]

    Vincent Quint, Irène Vatton
    S. Simske. ACM Symposium on Document Engineering, DocEng 2007, Aug 2007, Winnipeg, Canada. ACM Press, pp.151--160, 2007
  • [CONFERENCE] Un système expert d'aide à la classification taxonomique de classes de descripteurs [HAL, PDF, Abstract]

    Marc Caillet
    18es Journées Francophones d'Ingénierie des Connaissances, Jul 2007, Grenoble, France. not specified, 2007
  • [CONFERENCE] Efficient Static Analysis of XML Paths and Types [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Alan Schmitt
    Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp.342--351, 2007, 〈10.1145/1250734.1250773〉
  • [CONFERENCE] Bi-Intervals for Backtracking on Temporal Constraint Networks [HAL, Abstract]

    Jean-François Baget, Sébastien Laborie
    TIME: Temporal Represetation and Reasoning, Jun 2007, Alicante, Spain. IEEE, International Symposium on Temporal Represetation and Reasoning, pp.163-168, 2007, 〈10.1109/TIME.2007.44〉
  • [CONFERENCE] Efficient Static Analysis of XML Paths and Types [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda, Alan Schmitt
    2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. ACM Press, pp.342--351, 2007, PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation. 〈10.1145/1250734.1250773〉
  • [CONFERENCE] Multimedia document summarization based on a semantic adaptation framework [HAL, PDF, Abstract]

    Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
    International workshop on Semantically aware document processing and indexing, May 2007, Montpellier, France. ACM, 259, 2007, ACM International Conference Proceeding Series. 〈10.1145/1283880.1283896〉
  • [CONFERENCE] Engineering Multimedia Applications on the basis of Multi-Structured Descriptions of Audiovisual Contents [HAL, PDF, Abstract]

    Marc Caillet, Cécile Roisin, Jean Carrive, François Yvon
    Marc Nanard and Peter King. Proceedings of the 2007 international workshop on Semantically aware document processing and indexing, May 2007, Montpellier, France. ACM Press, 259, 2007, ACM International Conference Proceeding Series
  • [CONFERENCE] Structured Templates for Authoring Semantically Rich Documents [HAL, PDF, Abstract]

    Vincent Quint, Irène Vatton
    2007 international workshop on Semantically aware document processing and indexing, May 2007, Montpellier, France. 259, pp.41 - 48, 2007, ACM International Conference Proceeding Series. 〈10.1145/1283880.128388〉

2006

  • [REPORT] Mu-Calculus Based Resolution of XPath Decision Problems [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    [Research Report] RR-5868, INRIA. 2006, pp.30
  • [REPORT] A Decision Procedure for XPath Containment [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    [Research Report] RR-5867, INRIA. 2006, pp.41
  • [CONFERENCE] A Spatial Algebra for Multimedia Document Adaptation [HAL, Abstract]

    Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
    Yannis Avrithis, Yiannis Kompatsiaris, Stephen Staab, Noel E. O'Connor. The 1st International Conference on Semantic and Digital Media Technologies (SAMT), Dec 2006, Athènes, Greece. pp.7-8, 2006
  • [CONFERENCE] Adaptation spatiale efficace de documents SMIL [HAL, PDF, Abstract]

    Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
    2006, Presses Universitaires François-Rabelais, pp.127, 2006
  • [JOURNAL] A System for the Static Analysis of XPath [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    ACM Transactions on Information Systems, Association for Computing Machinery, 2006, 24 (4), pp.475--502
  • [PHD] Logics for XML [HAL, PDF, Abstract]

    Pierre Genevès
    Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English
  • [CONFERENCE] Adapting the Hypermedia Structure in a Generic Multimedia Adaptation Framework [HAL, Abstract]

    Sébastien Laborie, Jérôme Euzenat
    Phivos Mylonas, Manolis Wallace and Marios Angelides. The First International Workshop on Semantic Media Adaptation and Personalization, Dec 2006, Athènes, Greece. IEEE, pp.62-67, 2006, ISBN: 978-0-7695-2692-8. 〈10.1109/SMAP.2006.6〉
  • [CONFERENCE] Adaptation sémantique de documents SMIL [HAL, PDF, Abstract]

    Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
    Actes journées de travail interdisciplinaire sur autour des documents structurés, Oct 2006, Giens, France. No commercial editor., pp.1-5, 2006, Actes journées de travail interdisciplinaire sur autour des documents structurés
  • [CONFERENCE] Comparing XML Path Expressions [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    D. Brailsford. Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, Oct 2006, Amsterdam, Netherlands. ACM, pp.65-74, 2006, 〈10.1145/1166160.1166182〉
  • [CONFERENCE] Templates, Microformats and Structured Editing [HAL, PDF, Abstract]

    Francesc Campoy Flores, Vincent Quint, Irène Vatton
    D. Brailsford. ACM Symposium on Document Engineering, Oct 2006, Amsterdam, Netherlands. ACM Press, pp.188-197, 2006, 〈10.1145/1166160.1166211〉
  • [CONFERENCE] The LimSee3 Multimedia Authoring Model [HAL, PDF, Abstract]

    Romain Deltour, Cécile Roisin
    David F. Brailsford. ACM symposium on Document engineering, Oct 2006, Amsterdam, Netherlands. ACM Press, pp.173 - 175, 2006, Proceedings of the 2006 ACM symposium on Document engineering. 〈10.1145/1166160.1166203〉
  • [CONFERENCE] Multimedia Authoring for CoPs [HAL, PDF, Abstract]

    Romain Deltour, Agnes Guerraz, Cécile Roisin
    Nikos Karacapilidis. Oct 2006, conference proceedings, pp.60, 2006
  • [CONFERENCE] Spatio-temporal proximities for multimedia document adaptation [HAL, Abstract]

    Sébastien Laborie
    Jérôme Euzenat, John Domingue. Proc. 12th Artificial intelligence: methodology, systems and applications (AIMSA), Sep 2006, Varna, Bulgaria. Springer verlag, 4183, pp.128-137, 2006, Lecture notes in computer science. 〈10.1007/11861461_15〉

2005

  • [JOURNAL] NAC, une architecture pour l'adaptation multimédia sur le web [HAL, PDF, Abstract]

    Nabil Layaïda, Tayeb LEMLOUMA, Vincent Quint
    Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (7), pp.789-813
  • [CONFERENCE] Integrating Translation Services within a Structured Editor [HAL, PDF, Abstract]

    Ali Choumane, Hervé Blanchon, Cécile Roisin
    P. King. Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. ACM, pp.165-167, 2005, 〈10.1145/1096601.1096644〉
  • [CONFERENCE] Towards Active Web Clients [HAL, PDF, Abstract]

    Vincent Quint, Irène Vatton
    P. King. Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. ACM, pp.168-176, 2005
  • [CONFERENCE] Content Interaction and Formatting for Mobile Devices [HAL, PDF, Abstract]

    Tayeb LEMLOUMA, Nabil Layaïda
    P. King. Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. ACM, pp.98-100, 2005, 〈10.1145/1096601.1096627〉
  • [CONFERENCE] Compiling XPath for Streaming Access Policy [HAL, PDF, Abstract]

    Pierre Genevès, Kristoffer Rose
    P. King. Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. ACM, pp.52-54, 2005
  • [JOURNAL] A Decision Procedure for XPath Containment [HAL, PDF, Abstract]

    Pierre Genevès, Nabil Layaïda
    ACM Transactions on Information Systems, Association for Computing Machmnery. "005
  • [CONFERENCE] PACE: an Experimental Web-Based Audiovisual Application using FDL [HAL, PDF, Abstract]

    Marc Caillet, Jean Carrive, Vincent Brunie, Cécile Roisin
    Web Document Analysis 2005, Aug 2005, Singapour, Singapore. 2005
  • [CONFERENCE] Adapter temporellement un document SMIL [HAL, PDF, Abstract]

    Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
    Actes atelier plate-forme AFIA 2005 sur Connaissance et document temporel, May 2005, Nice, France. No commercial editor., pp.47-58, 2005, Actes atelier plate-forme AFIA 2005 sur Connaissance et document temporel

2004

  • [MASTER] Adaptation de documents multimédia : Approche sémantique de la dimension spatiotemporelle des documents SMIL [HAL, PDF, Abstract]

    Sébastien Laborie
    Intelligence artificielle [cs.AI]. 2004
  • [CONFERENCE] Techniques for Authoring Complex XML Documents [HAL, PDF, Abstract]

    Vincent Quint, Irène Vatton
    Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, Oct 2004, MilWaukee, WI, United States. pp.115-123, 2004, 〈10.1145/1030397.1030422〉
  • [CONFERENCE] Logic-Based XPath Optimization [HAL, PDF, Abstract]

    Pierre Genevès, Jean-Yves Vion-Dury
    Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, Oct 2004, MilWaukee, WI, United States. pp.211-219, 2004, 〈10.1145/1030397.1030437〉
  • [CONFERENCE] XPath Formal Semantics and Beyond: a Coq based approach [HAL, PDF, Abstract]

    Pierre Genevès, Jean-Yves Vion-Dury
    Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004, Aug 2004, Utah, United States. University of Utah, pp.181-198, 2004
  • [CONFERENCE] Improving Efficiency of XPath-Based XML Querying [HAL, PDF, Abstract]

    Pierre Genevès
    M. Kaâniche. IFIP 18th World Computer Congress, Aug 2004, Toulouse, France. Kluwer Academic Publishers, pp.143-153, 2004
  • [PHD] Multimedia Services Negotiation and Adaptation Architecture in Heterogeneous Environments [HAL, PDF, Abstract]

    Tayeb LEMLOUMA
    Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
  • [CONFERENCE] Logic-Based XPath Optimization [HAL, PDF, Abstract]

    Pierre Genevès, Jean-Yves Vion-Dury
    First International Workshop on High Performance XML Processing, May 2004, New York, United States. 2004
  • [CONFERENCE] Compiling XPath into a State-less Forward-only Subset [HAL, PDF, Abstract]

    Pierre Genevès, Kristoffer Rose
    First International Workshop on High Performance XML Processing, May 2004, New York, United States. 2004
  • [CONFERENCE] Context-Aware Adaptation for Mobile Devices [HAL, PDF, Abstract]

    Tayeb LEMLOUMA, Nabil Layaïda
    MDM2004, International Conference on Mobile Data Management, Jan 2004, Berkeley, CA, United States. IEEE, pp.106-111, 2004

2003

  • [CONFERENCE] Improving Formatting Documents by Coupling Formatting Systems [HAL, PDF, Abstract]

    Fateh Boulmaiz, Cécile Roisin, Frédéric Bès
    Proceedings of the 2003 ACM Symposium on Document Engineering, DocEng2003, Nov 2003, Grenoble, France. ACM, pp.92-94, 2003, 〈10.1145/958220.958237〉
  • [CONFERENCE] XPath on Left and Right Sides of Rules: Toward Compact XML Tree Rewriting through Node Patterns [HAL, PDF, Abstract]

    Jean-Yves Vion-Dury
    Proceedings of the 2003 ACM Symposium on Document Engineering, DocEng2003, Nov 2003, Grenoble, France. pp.19-25, 2003, 〈10.1145/958220.958225〉
  • [CONFERENCE] Multimedia Modeling Using MPEG-7 for Authoring Multimedia Integration [HAL, PDF, Abstract]

    Tien Tran-Thuong, Cécile Roisin
    5th ACM SIGMM International Workshop on Multimedia Information Retrieval (ACM MIR'03), Nov 2003, Berkeley, CA, United States. pp.171-178, 2003, 〈10.1145/973264.973292〉
  • [CONFERENCE] A semantic framework for multimedia document adaptation [HAL, PDF, Abstract]

    Jérôme Euzenat, Nabil Layaïda, Victor Dias
    Proceedings of the 18th International Joint Conference on Artificial Intelligence IJCAI'2003, Aug 2003, Acapulco, Mexico. Morgan Kauffman, pp.31-36, 2003
  • [CONFERENCE] Containment of XPath expressions: an Inference and Rewriting based approach [HAL, PDF, Abstract]

    Jean-Yves Vion-Dury, Nabil Layaïda
    Extreme Markup Languages, Aug 2003, Montréal, Canada. IDEAlliance, 2003
  • [CONFERENCE] A framework for aligning and indexing movies with their script [HAL, PDF, Abstract]

    Rémi Ronfard, Tien Tran-Thuong
    Proceedings of IEEE International Conference on Multimedia and Expo (ICME), Jul 2003, Baltimore, MD, United States. 2003
  • [CONFERENCE] Encoding Multimedia Presentation for User Preferences and Limited Environments [HAL, PDF, Abstract]

    Tayeb LEMLOUMA, Nabil Layaïda
    Proceedings of IEEE International Conference on Multimedia and Expo (ICME), Jul 2003, Baltimore, MD, United States. IEEE Computer Society, pp.165-168, 2003
  • [CONFERENCE] Media Resources Adaptation for Limited Devices [HAL, PDF, Abstract]

    Tayeb LEMLOUMA, Nabil Layaïda
    Proceedings of the 7th ICCC/IFIP International Conference on Electronic Publishing, ELPUB 2003, Jun 2003, Minho, Portugal. pp.209-218, 2003
  • [CONFERENCE] Adapted Content Delivery for Different Contexts [HAL, PDF, Abstract]

    Tayeb LEMLOUMA, Nabil Layaïda
    Proc. International Symposium on Applications and the Internet (SAINT 2003), Jan 2003, Orlando, FL, United States. pp.190-197, 2003