Ban3

Informations sur l'auteur

Nabil Layaïda

http://pistou.imag.fr/site/author/233

  
Équipe(s) :
WAM Du 01/01/1994 au 31/12/2099 		 

Publications de l'auteur

La liste contient 46 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2011
1
Pierre Genevès, Nabil Layaïda, Vincent Quint.
Impact of XML Schema Evolution.
ACM Transactions on Internet Technology (TOIT), 11:4:1--4:27, jul 2011.
Www-128x128 Www-128x128
bibtex/ html
2010
2
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda.
Semantic Adaptation of Multimedia Documents.
Multimedia Tools and Applications (MTAP), :1-20, jun 2010.
Www-128x128 Www-128x128 [ abstract ]
bibtex/ html
2007
3
Pierre Genevès, Nabil Layaïda.
Deciding XPath Containment with MSO.
Data and Knowledge Engineering (DKE), 63(1):108-136, oct 2007.
Www-128x128 [ abstract ]
bibtex/ html
2006
4
Pierre Genevès, Nabil Layaïda.
A System for the Static Analysis of XPath.
ACM Transactions on Information Systems (TOIS), 24(4):475-502, oct 2006.
Www-128x128 [ abstract ]
bibtex/ html
2003
5
Nabil Layaïda, Tayeb Lemlouma.
NAC: An Architecture for Multimedia Content Adaptation for Mobile Devices.
ERCIM News, (54), jul 2003.
Pdf-128x128 [ abstract ]
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
6
Nils Gesbert, Pierre Genevès, Nabil Layaïda.
Parametric Polymorphism and Semantic Subtyping: the Logical Connection.
ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, :107-116, 2011.
bibtex/ html
7
Pierre Genevès, Nabil Layaïda.
Inconsistent path detection for XML IDEs.
Proceeding of the 33rd international conference on Software engineering, :983--985, ICSE '11, New York, NY, USA, 2011.
Www-128x128 Www-128x128
bibtex/ html
8
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
Query reasoning on trees with types, interleaving and counting.
IJCAI'11 : Proceedings of the 22nd International Joint Conference on Artificial Intelligence, :718-723, 2011.
bibtex/ html
2010
9
Pierre Genevès, Nabil Layaïda.
Eliminating Dead-Code from XQuery Programs.
Proceedings of the 32nd ACM/IEEE International Conf on Software Engineering, ICSE 2010, may 2010.
Pdf-128x128 [ abstract ]
bibtex/ html
10
Nabil Layaïda, Pierre Genevès.
Michael Rappa, Paul Jones, Juliana Freire, Soumen Chakrabarti.
Debugging Standard Document Formats.
Proceedings of the 19th International Conference on World Wide Web (WWW 2010), :1269--1272, apr 2010.
Pdf-128x128 Www-128x128 [ abstract ]
bibtex/ html
11
Pierre Genevès, Nabil Layaïda.
XML Reasoning Made Practical.
Proceedings of the 26th IEEE International Conference on Data Engineering, ICDE 2010, :1169-1172, mar 2010.
Pdf-128x128 [ abstract ]
bibtex/ html
2009
12
Pierre Genevès, Nabil Layaïda, Vincent Quint.
Identifying Query Incompatibilities with Evolving XML Schemas.
14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, :221-230, Edinburgh, Scotland, aug 2009.
[ abstract ]
bibtex/ html
13
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda.
Counting in Trees along Multidirectional Regular Paths.
PLAN-X 2009, Programming Language Techniques for XML, jan 2009.
Www-128x128 Www-128x128 [ abstract ]
bibtex/ html
14
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda.
On the Analysis of Queries with Counting Constraints.
DocEng'09: Proceedings of the Ninth ACM Symposium on Document Engineering, sep 2009.
Pdf-128x128 [ abstract ]
bibtex/ html
15
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), San Sebastián (ES), :44-49, 2009.
Pdf-128x128 [ abstract ]
bibtex/ html
2007
16
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
Efficient Static Analysis of XML Paths and Types.
PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, :342--351, jun 2007.
Www-128x128 Www-128x128 [ abstract ]
bibtex/ html
17
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda.
Multimedia document summarization based on a semantic adaptation framework.
Proc. 1st international workshop on Semantically aware document processing and indexing (SADPI), Montpellier (FR), :87-94, may 2007.
Www-128x128 Pdf-128x128 [ abstract ]
bibtex/ html
18
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X 2007, Programming Languages Technologies for XML, :61-72, jan 2007.
Www-128x128 [ abstract ]
bibtex/ html
2006
19
Pierre Genevès, Nabil Layaïda.
D. Brailsford.
Comparing XML Path Expressions.
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, :65-74, oct 2006.
Pdf-128x128 [ abstract ]
bibtex/ html
2005
20
Tayeb Lemlouma, Nabil Layaïda.
P. King.
Content Interaction and Formatting for Mobile Devices.
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, :98-100, nov 2005.
Pdf-128x128 [ abstract ]
bibtex/ html
2004
21
Nabil Layaïda, Cecile Roisin.
Le temps dans les documents - Langage SMIL.
Document numériques -- Gestion de contenu, 249 rue de Crimée, 75925 Paris Cedex 19, 2004.
Www-128x128 [ abstract ]
bibtex/ html
22
Nabil Layaïda, Tayeb Lemlouma, Vincent Quint.
Adaptation et multimédia mobile sur le Web.
Conférence nationale sur le multimédia mobile, Mcube 2004, :34-41, mar 2004.
Www-128x128 [ abstract ]
bibtex/ html
23
Tayeb Lemlouma, Nabil Layaïda.
Context-Aware Adaptation for Mobile Devices.
MDM2004 International Conference on Mobile Data Management, :106-111, jan 2004.
Pdf-128x128 [ abstract ]
bibtex/ html
2003
24
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, :31-36, aug 2003.
Pdf-128x128 [ abstract ]
bibtex/ html
25
Jean-Yves Vion-Dury, Nabil Layaïda.
Containment of XPath expressions: an Inference and Rewriting based approach.
Extreme Markup Languages, aug 2003.
Pdf-128x128 [ abstract ]
bibtex/ html
26
Tayeb Lemlouma, Nabil Layaïda.
Encoding Multimedia Presentation for User Preferences and Limited Environments.
Proceedings of IEEE International Conference on Multimedia and Expo (ICME), :165-168, jul 2003.
Pdf-128x128 [ abstract ]
bibtex/ html
27
Tayeb Lemlouma, Nabil Layaïda.
Media Resources Adaptation for Limited Devices.
Proceedings of the 7th ICCC/IFIP International Conference on Electronic Publishing, ELPUB 2003, :209-218, Portugal, jun 2003.
Pdf-128x128 [ abstract ]
bibtex/ html
28
Tayeb Lemlouma, Nabil Layaïda.
SMIL Content Adaptation for Embedded Devices.
Proceedings of the Synchronized Multimedia Integration Language European Conference, feb 2003.
Pdf-128x128 [ abstract ]
bibtex/ html
29
Tayeb Lemlouma, Nabil Layaïda.
Adapted Content Delivery for Different Contexts.
Proc. International Symposium on Applications and the Internet (SAINT 2003), :190-197, jan 2003.
Pdf-128x128 [ abstract ]
bibtex/ html
Short communications [COM] and posters [AFF] in conferences and workshops
2006
30
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda.
Yannis Avrithis, Yiannis Kompatsiaris, Steffen Staab.
A spatial algebra for multimedia document adaptation.
Proc. 1st poster session of the International Conference on Semantic and Digital Media Technologies (SAMT), Athens (GR), :7-8, 2006.
[ abstract ]
bibtex/ html
National peer reviewed journal [ACLN]
2005
31
Nabil Layaïda, Tayeb Lemlouma, Vincent Quint.
NAC, une architecture pour l'adaptation multimédia sur le web.
Technique et Science Informatiques (TSI), 24(7):789-813, 2005.
Pdf-128x128 [ abstract ]
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2008
32
Sébastien Laborie, Jérôme 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), :1-13, jun 2008.
Pdf-128x128 [ abstract ]
bibtex/ html
2006
33
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda.
Adaptation spatiale efficace de documents SMIL.
Actes 15e conférence AFIA-AFRIF sur reconnaissance des formes et intelligence artificielle (RFIA), Tours (FR), :127, jan 2006.
Pdf-128x128 [ abstract ]
bibtex/ html
34
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, Giens (FR), :1-5, 2006.
Pdf-128x128
bibtex/ html
2005
35
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, Nice (FR), :47-58, may 2005.
Pdf-128x128 [ abstract ]
bibtex/ html
Other Publications [AP]
2010
36
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
A Tree Logic with Graded Paths and Nominals.
Research Report, (7251), INRIA, apr 2010.
Www-128x128 [ abstract ]
bibtex/ html
37
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
On the Count of Trees.
Technical Report, INRIA, aug 2010. Note: RR-7251.
bibtex/ html
2008
38
Pierre Genevès, Nabil Layaïda, Vincent Quint.
Ensuring Query Compatibility with Evolving XML Schemas.
Research Report, (6711), INRIA, nov 2008.
Www-128x128 [ abstract ]
bibtex/ html
39
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
Efficient Static Analysis of XML Paths and Types.
Research Report, (6590), INRIA, jul 2008.
Www-128x128 [ abstract ]
bibtex/ html
40
Pierre Genevès, Nabil Layaïda.
XML Reasoning Solver User Manual.
Research Report, (6726), INRIA, nov 2008.
Www-128x128 [ abstract ]
bibtex/ html
41
Pierre Genevès, Nabil Layaïda.
Static Analysis of XML Programs.
ERCIM News, (72):33-34, jan 2008.
Www-128x128 [ abstract ]
bibtex/ html
2006
42
Pierre Genevès, Nabil Layaïda.
A Decision Procedure for XPath Containment.
Research Report, (5867), INRIA, mar 2006.
Pdf-128x128 [ abstract ]
bibtex/ html
2005
43
Dick Bulterman, Guido Grassel, Jack Jansen, Antti Koivisto, Nabil Layaïda, Thierry Michel, Sjoerd Mullender, Daniel Zucker.
Synchronized Multimedia Integration Language (SMIL 2.1).
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128 [ abstract ]
bibtex/ html
44
Nabil Layaïda.
SMIL 2.1 Language Profile.
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128 [ abstract ]
bibtex/ html
45
Nabil Layaïda.
SMIL 2.1 Basic Profile and Scalability Framework.
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128 [ abstract ]
bibtex/ html
46
Romain Deltour, Nabil Layaïda, Daniel Weck.
LimSee2: A Cross-Platform SMIL Authoring Tool.
ERCIM News, (62), jul 2005.
Www-128x128 [ abstract ]
bibtex/ html