Nombre de documents

104

CV de Tyrex Equipe


Communication dans un congrès65 documents

  • Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda. On Attitude Estimation with Smartphones. IEEE International Conference on Pervasive Computing and Communications, Mar 2017, Kona, United States. <hal-01376745v2>
  • Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda. SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark. The 15th International Semantic Web Conference, Oct 2016, Kobe, Japan. The 15th International Semantic Web Conference, <10.1007/978-3-319-46547-0_9>. <hal-01344915>
  • Damien Graux, Pierre Genevès, Nabil Layaïda. Smart Trip Alternatives for the Curious. 15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan. 15th International Semantic Web Conference. <hal-01342030v2>
  • Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda. SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark. 15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan. 15th International Semantic Web Conference. <hal-01358125>
  • Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda. SPARQLGX : Une Solution Distribuée pour RDF Traduisant SPARQL vers Spark. BDA 2016 - 32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Nov 2016, Poitiers, France. BDA2016. <hal-01412035>
  • Martí Bosch, Pierre Genevès, Nabil Layaïda. Reasoning with Style. International Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina. <hal-01149248>
  • Joel Ferreira dos Santos, Christiano Braga, Débora Muchaluat-Saade, Cécile Roisin, Nabil Layaïda. Spatio-temporal Validation of Multimedia Documents. DocEng'15, Sep 2015, Lausanne, Switzerland. 2015, Document Engineering 2015. <10.1145/2682571.2797060>. <hal-01211807>
  • Nicola Guido, Pierre Geneves, Nabil Layaida, Cécile Roisin. On Query-Update Independence for SPARQL. ACM. CIKM'15, Oct 2015, Melbourne, Australia. CIKM'15, pp.1675-1678, <10.1145/2806416.2806586>. <hal-01211811>
  • Pierre Genevès, Nils Gesbert. XQuery and Static Typing: Tackling the Problem of Backward Axes. 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>. <hal-01082635v3>
  • Pierre Genevès, Alan Schmitt. Expressive Logical Combinators for Free. International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina. <hal-00868724v4>
  • Thibaud Michel, Hassen Fourati, Pierre Genevès, Nabil Layaïda. A Comparative Analysis of Attitude Estimation for Pedestrian Navigation with Smartphones. 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>. <hal-01194811>
  • Simon J. Gay, Nils Gesbert, António Ravara. Session Types as Generic Process Types. 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>. <hal-01102349>
  • Martí Bosch, Pierre Genevès, Nabil Layaïda. Automated Refactoring for Size Reduction of CSS Style Sheets. Proceedings of the 2014 ACM symposium on Document engineering, Sep 2014, Fort Collins, Denver, United States. <http://www.doceng2014.org/>. <10.1145/2644866.2644885>. <hal-01081876v2>
  • Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. Evaluating and benchmarking SPARQL query containment solvers. 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; The semantic web. <10.1007/978-3-642-41338-4_26>. <hal-00917911>
  • Pierre Genevès, Nabil Layaïda. XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible. 22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil. 2013. <hal-00837765>
  • Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment Under SHI Axioms. 26th AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. AAAI Press, pp.10-16, 2012. <hal-00749080>
  • Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment under RDFS Entailment Regime. 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>. <hal-00749087>
  • Muhammad Junedi, Pierre Genevès, Nabil Layaïda. XML Query-Update Independence Analysis Revisited. DocEng 2012, Sep 2012, Paris, France. ACM, 2012, <10.1145/2361354.2361375>. <hal-00734668>
  • Raquel Oliveira, Pierre Genevès, Nabil Layaïda. Toward Automated Schema-directed Code Revision. DocEng 2012, Sep 2012, Paris, France. ACM, 2012, <10.1145/2361354.2361377>. <hal-00734678>
  • Pierre Genevès, Nabil Layaïda, Vincent Quint. On the Analysis of Cascading Style Sheets. 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>. <hal-00690899>
  • Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. PSPARQL Query Containment. DBPL 2011 The 13th International Symposium on Database Programming Languages, Aug 2011, Seattle, United States. 8 p., 2011. <hal-00619342>
  • Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda, Alan Schmitt. Query Reasoning on Trees with Types, Interleaving, and Counting. 22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain. 2011. <inria-00609556>
  • Nils Gesbert, Pierre Genevès, Nabil Layaïda. Parametric Polymorphism and Semantic Subtyping: the Logical Connection. 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>. <inria-00585686v2>
  • Fabien Cazenave, Vincent Quint, Cécile Roisin. Timesheets.js: When SMIL Meets HTML5 and CSS3. DocEng 2011, 11th ACM Symposium on Document Engineering, Sep 2011, Mountain View, United States. 10 p., 2011. <hal-00619382>
  • Fabien Cazenave, Vincent Quint, Cécile Roisin. Timesheets.js: Tools for Web Multimedia. ACM Multimedia 2011, Nov 2011, Scottsdale, Arizona, United States. 4 p., 2011. <hal-00619396>
  • Pierre Genevès, Nabil Layaïda. Inconsistent Path Detection for XML IDEs. 33rd International Conference on Software Engineering, ICSE 2011, May 2011, Honolulu, United States. ACM, pp.983-985, 2011, <10.1145/1985793.1985967>. <inria-00609513>
  • Pierre Genevès, Nabil Layaïda. Eliminating Dead-Code from XQuery Programs. 32nd ACM/IEEE International Conference on Software Engineering, May 2010, Cape Town, South Africa. ACM, pp.305-306, 2010, <10.1145/1810295.1810363>. <hal-00494233>
  • Nabil Layaïda, Pierre Genevès. Debugging Standard Document Formats. 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>. <hal-00494245>
  • Stéphane Sire, Christine Vanoirbeek, Vincent Quint, Cécile Roisin. Authoring XML all the Time, Everywhere and by Everyone. XML Prague 2010, Mar 2010, Prague, Czech Republic. Institute for Theoretical Computer Science, Prague, pp. 125-149, 2010. <hal-00494255>
  • Pierre Genevès, Nabil Layaïda. XML Reasoning Made Practical. 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>. <hal-00494261>
  • Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda. Counting Trees Along Multidirectional Regular Paths. PLAN-X 2009, Jan 2009, Savannah, United States. 2009. <inria-00358797>
  • Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Semantic multimedia document adaptation with functional annotations. 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>. <hal-00794919>
  • Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda. On the Analysis of Queries with Counting Constraints. DocEng'09: Proceedings of the 2009 ACM Symposium on Document Engineering, Sep 2009, Munich, Germany. ACM, pp.21-24, 2009, <10.1145/1600193.1600199>. <inria-00422964>
  • Pierre Genevès, Nabil Layaïda, Vincent Quint. Identifying Query Incompatibilities with Evolving XML Schemas. ICFP'09, Aug 2009, Edinburgh, United Kingdom. ACM, pp.221-230, 2009, <10.1145/1596550.1596583>. <inria-00423058>
  • Sébastien Laborie, Jérome Euzenat, Nabil Layaïda. Adaptation spatio-temporelle et hypermédia de documents multimédia. Atelier Représentation et Raisonnement sur le Temps et l'Espace (RTE), Jun 2008, France. pp.1-13, 2008. <hal-00548857>
  • Jan Mikác, Cécile Roisin, Bao Le Duc. An Export Architecture for a Multimedia Authoring Environment. 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. <inria-00325692>
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani. A Theory of Contracts for Web Services. ACM Press. POPL '08, 35th ACM Symposium on Principles of Programming Languages, Jan 2008, San Francisco, United States. pp.261-272, 2008, <10.1145/1328897.1328471>. <hal-00277238>
  • Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Multimedia document summarization based on a semantic adaptation framework. 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>. <inria-00192895>
  • Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. 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>. <hal-00189123>
  • Pierre Genevès, Nabil Layaïda, Alan Schmitt. XPath Typing Using a Modal Logic with Converse for Finite Trees. Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1, 2007. <hal-00189131>
  • Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. 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>. <inria-00502789>
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani. A Theory of Contracts for Web Services. PLAN-X, ACM-SIGPLAN Workshop on Programming Language Technologies for XML, 2007, France. 2007. <hal-00152547>
  • Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Adaptation spatiale efficace de documents SMIL. 2006, Presses Universitaires François-Rabelais, pp.127, 2006. <hal-00023822>
  • Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. A Spatial Algebra for Multimedia Document Adaptation. 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. <hal-00167160>
  • Romain Deltour, Agnes Guerraz, Cécile Roisin. Multimedia Authoring for CoPs. Nikos Karacapilidis. Oct 2006, conference proceedings, pp.60, 2006. <hal-00135864>
  • Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Adaptation sémantique de documents SMIL. 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. <hal-00825944>
  • Pierre Genevès, Nabil Layaïda. Comparing XML Path Expressions. 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>. <inria-00423062>
  • Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Adapter temporellement un document SMIL. 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. <hal-00922286>
  • Marc Caillet, Jean Carrive, Vincent Brunie, Cécile Roisin. PACE: an Experimental Web-Based Audiovisual Application using FDL. Web Document Analysis 2005, Aug 2005, Singapour, Singapore. 2005. <inria-00423351>
  • Tayeb Lemlouma, Nabil Layaïda. Content Interaction and Formatting for Mobile Devices. 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>. <inria-00423312>
  • Pierre Genevès, Kristoffer Rose. Compiling XPath for Streaming Access Policy. P. King. Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. ACM, pp.52-54, 2005. <inria-00423319>
  • Ali Choumane, Hervé Blanchon, Cécile Roisin. Integrating Translation Services within a Structured Editor. 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>. <inria-00423333>
  • Pierre Genevès, Jean-Yves Vion-Dury. Logic-Based XPath Optimization. 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>. <inria-00423355>
  • Pierre Genevès, Jean-Yves Vion-Dury. XPath Formal Semantics and Beyond: a Coq based approach. 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. <inria-00423372>
  • Pierre Genevès, Jean-Yves Vion-Dury. Logic-Based XPath Optimization. First International Workshop on High Performance XML Processing, May 2004, New York, United States. 2004. <inria-00423381>
  • Tayeb Lemlouma, Nabil Layaïda. Context-Aware Adaptation for Mobile Devices. MDM2004, International Conference on Mobile Data Management, Jan 2004, Berkeley, CA, United States. IEEE, pp.106-111, 2004. <inria-00423390>
  • Pierre Genevès. Improving Efficiency of XPath-Based XML Querying. M. Kaâniche. IFIP 18th World Computer Congress, Aug 2004, Toulouse, France. Kluwer Academic Publishers, pp.143-153, 2004. <inria-00423375>
  • Pierre Genevès, Kristoffer Rose. Compiling XPath into a State-less Forward-only Subset. First International Workshop on High Performance XML Processing, May 2004, New York, United States. 2004. <inria-00423382>
  • Tayeb Lemlouma, Nabil Layaïda. Adapted Content Delivery for Different Contexts. Proc. International Symposium on Applications and the Internet (SAINT 2003), Jan 2003, Orlando, FL, United States. pp.190-197, 2003. <inria-00423426>
  • Tayeb Lemlouma, Nabil Layaïda. Media Resources Adaptation for Limited Devices. Proceedings of the 7th ICCC/IFIP International Conference on Electronic Publishing, ELPUB 2003, Jun 2003, Minho, Portugal. pp.209-218, 2003. <inria-00423425>
  • Fateh Boulmaiz, Cécile Roisin, Frédéric Bès. Improving Formatting Documents by Coupling Formatting Systems. Proceedings of the 2003 ACM Symposium on Document Engineering, DocEng2003, Nov 2003, Grenoble, France. ACM, pp.92-94, 2003, <10.1145/958220.958237>. <inria-00423395>
  • Jérôme Euzenat, Nabil Layaïda, Victor Dias. A semantic framework for multimedia document adaptation. Proceedings of the 18th International Joint Conference on Artificial Intelligence IJCAI'2003, Aug 2003, Acapulco, Mexico. Morgan Kauffman, pp.31-36, 2003. <inria-00423411>
  • Tien Tran-Thuong, Cécile Roisin. Multimedia Modeling Using MPEG-7 for Authoring Multimedia Integration. 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>. <inria-00423406>
  • Jean-Yves Vion-Dury, Nabil Layaïda. Containment of XPath expressions: an Inference and Rewriting based approach. Extreme Markup Languages, Aug 2003, Montréal, Canada. IDEAlliance, 2003. <inria-00423413>
  • Tayeb Lemlouma, Nabil Layaïda. Encoding Multimedia Presentation for User Preferences and Limited Environments. Proceedings of IEEE International Conference on Multimedia and Expo (ICME), Jul 2003, Baltimore, MD, United States. IEEE Computer Society, pp.165-168, 2003. <inria-00423422>

Pré-publication, Document de travail4 documents

  • Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda. A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators. Submitted. 2016. <hal-01381781>
  • Louis Jachiet, Pierre Genevès, Nabil Layaïda. An efficient translation from a modal μ-calculus with converse to tree automata. Submitted. 2016. <hal-01117830v2>
  • Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda. SPARQL Query Containment with ShEx Constraints. Submitted. 2016. <hal-01414509>
  • Marti Bosch, Pierre Genevès, Nabil Layaïda. Automated Refactoring for Size Reduction of CSS Style Sheets. 2014. <hal-01021332>

Article dans une revue13 documents

  • Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert. Efficiently Deciding µ-calculus with Converse over Finite Trees. ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 16 (2), pp.41. <http://tocl.acm.org/>. <10.1145/2724712>. <hal-00868722v5>
  • Nils Gesbert, Pierre Genevès, Nabil Layaïda. A Logical Approach To Deciding Semantic Subtyping. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2015, 38 (1), pp.31. <http://toplas.acm.org/>. <10.1145/2812805>. <hal-00848023v2>
  • Pierre Genevès, Nabil Layaïda. Equipping IDEs with XML-Path Reasoning Capabilities. ACM Transactions on Internet Technology, Association for Computing Machinery, 2014, 13 (4), pp.20. <10.1145/2602573>. <hal-00868723v2>
  • Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel. Mobile Augmented Reality Applications for Smart Cities. ERCIM News 98, 2014, ERCIM News 98, pp.45-46. <hal-01102797v2>
  • Marc Caillet, Cécile Roisin, Jean Carrive. Multimedia applications for playing with digitized theater performances. Multimedia Tools and Applications, Springer Verlag, 2013, <http://link.springer.com/article/10.1007%2Fs11042-013-1651-1>. <10.1007/s11042-013-1651-1 >. <hal-00855102>
  • Pierre Genevès, Nabil Layaïda, Vincent Quint. Impact of XML Schema Evolution. ACM Transactions on Internet Technology, Association for Computing Machinery, 2011, 11 (1), pp.4:1-4:27. <10.1145/1993083.1993087>. <inria-00619225>
  • Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Semantic adaptation of multimedia documents. Multimedia Tools and Applications, Springer Verlag, 2011, 55 (3), pp.379-398. <10.1007/s11042-010-0552-9>. <hal-00781024>
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani. A theory of contracts for Web services. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2009, 31 (5), pp.1-61. <10.1145/1538917.1538920>. <hal-00434459>
  • Jan Mikác, Cécile Roisin. Comment bâtir un cours multimédia avec LimSee3 ?. Revue de l'EPI (Enseignement Public et Informatique), EPI, 2008, <http://www.epi.asso.fr/revue/articles/a0810a.htm>. <inria-00410370>
  • Pierre Genevès, Nabil Layaïda. Deciding XPath Containment with MSO. Data and Knowledge Engineering, Elsevier, 2007, 63 (1), p. 108-136. <hal-00189134>
  • Pierre Genevès, Nabil Layaïda. A System for the Static Analysis of XPath. ACM Transactions on Information Systems, Association for Computing Machinery, 2006, 24 (4), pp.475--502. <hal-00189137>
  • Pierre Genevès, Nabil Layaïda. A Decision Procedure for XPath Containment. ACM Transactions on Information Systems, Association for Computing Machinery, 2005. <inria-00000391>
  • Nabil Layaïda, Tayeb Lemlouma, Vincent Quint. NAC, une architecture pour l'adaptation multimédia sur le web. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (7), pp.789-813. <inria-00423067>

Rapport16 documents

  • Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability. [Research Report] RR-8128, INRIA. 2012, pp.10. <hal-00749286v2>
  • Melisachew Wudagae Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment under RDFS Entailment Regime. [Research Report] 2012, pp.25. <hal-00691610>
  • Melisachew Wudagae Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment under SHI Axioms. [Research Report] 2012. <hal-00691638>
  • Pierre Genevès, Nabil Layaïda, Christine Vanoirbeek. XQTC: A Static Type-Checker for XQuery Using Backward Type Inference. [Research Report] RR-8149, INRIA. 2012, pp.25. <hal-00757867>
  • Pierre Genevès, Nabil Layaïda, Alan Schmitt. Logical Combinators for Rich Type Systems. [Research Report] RR-8010, INRIA. 2012, pp.18. <hal-00714353v2>
  • Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. PSPARQL Query Containment. [Research Report] INRIA. 2011. <inria-00598819v2>
  • Pierre Genevès, Nabil Layaïda, Quint Vincent. On the Analysis of Cascading Style Sheets. [Research Report] RR-7808, INRIA. 2011. <hal-00643075>
  • Pierre Genevès, Nabil Layaïda, Vojtech Knyttl. XML Reasoning Solver User Manual. [Research Report] RR-6726, INRIA. 2011. <inria-00339184v2>
  • Everardo Barcenas, Pierre Geneves, Nabil Layaida, Alan Schmitt. On the Count of Trees. [Research Report] RR-7251, INRIA. 2010. <inria-00473160v2>
  • Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types. [Research Report] RR-6590, INRIA. 2008. <inria-00305302v3>
  • Pierre Genevès, Nabil Layaïda, Vincent Quint. Ensuring Query Compatibility with Evolving XML Schemas. [Research Report] RR-6711, INRIA. 2008. <inria-00336360>
  • Pierre Genevès, Nabil Layaïda. Mu-Calculus Based Resolution of XPath Decision Problems. [Research Report] RR-5868, INRIA. 2006, pp.30. <inria-00070158>
  • Pierre Genevès, Nabil Layaïda. A Decision Procedure for XPath Containment. [Research Report] RR-5867, INRIA. 2006, pp.41. <inria-00070159>
  • Roger Mohr, Cécile Roisin, Tien Tran-Thuong, Laurent Villard. Description XML des Structures de Vidéo. [Rapport de recherche] 1999. <inria-00548307>
  • Muriel Jourdan, Nabil Layaïda, Loay Sabry-Ismail. Presentation Services in MADEUS: an Authoring Environment for Multimedia Documents. [Research Report] RR-2983, INRIA. 1996. <inria-00073715>
  • Cécile Roisin, C. Vatton. Formatting structured documents. RR-2044, INRIA. 1993. <inria-00074628>

Thèse2 documents

  • Pierre Genevès. Logics for XML. Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English. <tel-00133591v3>
  • Nabil Layaida. Madeus : système d'édition et de présentation de documents structurés multimédia. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français. <tel-00004952>

Chapitre d'ouvrage1 document

  • Nabil Layaïda, Cécile Roisin. Le temps dans les documents -- Langage SMIL. Les Techniques de l'Ingénieur. Représentation et traitement des documents numériques, H7228, Les Techniques de l'Ingénieur, 2013, TIB312DUO. <hal-00873214>

HDR3 documents

  • Pierre Genevès. Static Analysis for Data-Centric Web Programming. Computer Science [cs]. Université Grenoble Alpes, 2014. <tel-01102401>
  • Nabil Layaïda. Representation and Analyses of Web Content and Processing. Web. Université de Grenoble, 2013. <tel-00872752>
  • Cécile Roisin. Documents structurés multimédia. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1999. <tel-00004847>