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
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
Semantic Adaptation of Multimedia Documents.
Multimedia Tools and Applications (MTAP), :1-20, jun 2010.
Www-128x128 Www-128x128abstract ]
bibtex/ html
2007
3
Deciding XPath Containment with MSO.
Data and Knowledge Engineering (DKE), 63(1):108-136, oct 2007.
Www-128x128abstract ]
bibtex/ html
2006
4
A System for the Static Analysis of XPath.
ACM Transactions on Information Systems (TOIS), 24(4):475-502, oct 2006.
Www-128x128abstract ]
bibtex/ html
2003
5
NAC: An Architecture for Multimedia Content Adaptation for Mobile Devices.
ERCIM News, (54), jul 2003.
Pdf-128x128abstract ]
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
6
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
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
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
Eliminating Dead-Code from XQuery Programs.
Proceedings of the 32nd ACM/IEEE International Conf on Software Engineering, ICSE 2010, may 2010.
Pdf-128x128abstract ]
bibtex/ html
10
Debugging Standard Document Formats.
Proceedings of the 19th International Conference on World Wide Web (WWW 2010), :1269--1272, apr 2010.
Pdf-128x128 Www-128x128abstract ]
bibtex/ html
11
XML Reasoning Made Practical.
Proceedings of the 26th IEEE International Conference on Data Engineering, ICDE 2010, :1169-1172, mar 2010.
Pdf-128x128abstract ]
bibtex/ html
2009
12
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
Counting in Trees along Multidirectional Regular Paths.
PLAN-X 2009, Programming Language Techniques for XML, jan 2009.
Www-128x128 Www-128x128abstract ]
bibtex/ html
14
On the Analysis of Queries with Counting Constraints.
DocEng'09: Proceedings of the Ninth ACM Symposium on Document Engineering, sep 2009.
Pdf-128x128abstract ]
bibtex/ html
15
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-128x128abstract ]
bibtex/ html
2007
16
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-128x128abstract ]
bibtex/ html
17
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-128x128abstract ]
bibtex/ html
18
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X 2007, Programming Languages Technologies for XML, :61-72, jan 2007.
Www-128x128abstract ]
bibtex/ html
2006
19
Comparing XML Path Expressions.
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, :65-74, oct 2006.
Pdf-128x128abstract ]
bibtex/ html
2005
20
Content Interaction and Formatting for Mobile Devices.
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, :98-100, nov 2005.
Pdf-128x128abstract ]
bibtex/ html
2004
21
Le temps dans les documents - Langage SMIL.
Document numériques -- Gestion de contenu, 249 rue de Crimée, 75925 Paris Cedex 19, 2004.
Www-128x128abstract ]
bibtex/ html
22
Adaptation et multimédia mobile sur le Web.
Conférence nationale sur le multimédia mobile, Mcube 2004, :34-41, mar 2004.
Www-128x128abstract ]
bibtex/ html
23
Context-Aware Adaptation for Mobile Devices.
MDM2004 International Conference on Mobile Data Management, :106-111, jan 2004.
Pdf-128x128abstract ]
bibtex/ html
2003
24
A semantic framework for multimedia document adaptation.
Proceedings of the 18th International Joint Conference on Artificial Intelligence IJCAI'2003, :31-36, aug 2003.
Pdf-128x128abstract ]
bibtex/ html
25
Containment of XPath expressions: an Inference and Rewriting based approach.
Extreme Markup Languages, aug 2003.
Pdf-128x128abstract ]
bibtex/ html
26
Encoding Multimedia Presentation for User Preferences and Limited Environments.
Proceedings of IEEE International Conference on Multimedia and Expo (ICME), :165-168, jul 2003.
Pdf-128x128abstract ]
bibtex/ html
27
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-128x128abstract ]
bibtex/ html
28
SMIL Content Adaptation for Embedded Devices.
Proceedings of the Synchronized Multimedia Integration Language European Conference, feb 2003.
Pdf-128x128abstract ]
bibtex/ html
29
Adapted Content Delivery for Different Contexts.
Proc. International Symposium on Applications and the Internet (SAINT 2003), :190-197, jan 2003.
Pdf-128x128abstract ]
bibtex/ html
Short communications [COM] and posters [AFF] in conferences and workshops
2006
30
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
NAC, une architecture pour l'adaptation multimédia sur le web.
Technique et Science Informatiques (TSI), 24(7):789-813, 2005.
Pdf-128x128abstract ]
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2008
32
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-128x128abstract ]
bibtex/ html
2006
33
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-128x128abstract ]
bibtex/ html
34
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
Adapter temporellement un document SMIL.
Actes atelier plate-forme AFIA 2005 sur Connaissance et document temporel, Nice (FR), :47-58, may 2005.
Pdf-128x128abstract ]
bibtex/ html
Other Publications [AP]
2010
36
A Tree Logic with Graded Paths and Nominals.
Research Report, (7251), INRIA, apr 2010.
Www-128x128abstract ]
bibtex/ html
37
On the Count of Trees.
Technical Report, INRIA, aug 2010. Note: RR-7251.
bibtex/ html
2008
38
Ensuring Query Compatibility with Evolving XML Schemas.
Research Report, (6711), INRIA, nov 2008.
Www-128x128abstract ]
bibtex/ html
39
Efficient Static Analysis of XML Paths and Types.
Research Report, (6590), INRIA, jul 2008.
Www-128x128abstract ]
bibtex/ html
40
XML Reasoning Solver User Manual.
Research Report, (6726), INRIA, nov 2008.
Www-128x128abstract ]
bibtex/ html
41
Static Analysis of XML Programs.
ERCIM News, (72):33-34, jan 2008.
Www-128x128abstract ]
bibtex/ html
2006
42
A Decision Procedure for XPath Containment.
Research Report, (5867), INRIA, mar 2006.
Pdf-128x128abstract ]
bibtex/ html
2005
43
Synchronized Multimedia Integration Language (SMIL 2.1).
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128abstract ]
bibtex/ html
44
SMIL 2.1 Language Profile.
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128abstract ]
bibtex/ html
45
SMIL 2.1 Basic Profile and Scalability Framework.
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128abstract ]
bibtex/ html
46
LimSee2: A Cross-Platform SMIL Authoring Tool.
ERCIM News, (62), jul 2005.
Www-128x128abstract ]
bibtex/ html