Travelled to:1 × France
1 × Germany
1 × Japan
1 × South Africa
1 × Switzerland
1 × The Netherlands
3 × USA
3 × United Kingdom
Collaborated with:P.Genevès T.Lemlouma M.Bosch M.Junedi R.Oliveira N.Gesbert E.Bárcenas V.Quint A.Schmitt M.W.Chekol J.Euzenat J.A.F.d.Santos C.Braga D.C.Muchaluat-Saade C.Roisin
Talks about:queri (5) xml (5) analysi (3) path (3) schema (2) autom (2) code (2) multimedia (1) constraint (1) polymorph (1)
Person: Nabil Layaïda
DBLP: Laya=iuml=da:Nabil
Contributed to:
201520142012
2012
2011
2011201020092009
200720062005Wrote 13 papers:
- DocEng-2015-SantosBMRL #documentation #multi #validation
- Spatio-temporal Validation of Multimedia Documents (JAFdS, CB, DCMS, CR, NL), pp. 133–142.
- DocEng-2014-BoschGL #automation #css #reduction #refactoring
- Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.
- DocEng-2012-JunediGL #analysis #independence #revisited #xml
- XML query-update independence analysis revisited (MJ, PG, NL), pp. 95–98.
- DocEng-2012-OliveiraGL #automation #towards
- Toward automated schema-directed code revision (RO, PG, NL), pp. 103–106.
- IJCAR-2012-ChekolEGL #query
- SPARQL Query Containment under RDFS Entailment Regime (MWC, JE, PG, NL), pp. 134–148.
- ICFP-2011-GesbertGL #logic #morphism #parametricity #polymorphism #semantics #type system
- Parametric polymorphism and semantic subtyping: the logical connection (NG, PG, NL), pp. 107–116.
- ICSE-2011-GenevesL #consistency #detection #ide #xml
- Inconsistent path detection for XML IDEs (PG, NL), pp. 983–985.
- ICSE-2010-GenevesL #source code #xquery
- Eliminating dead-code from XQuery programs (PG, NL), pp. 305–306.
- DocEng-2009-BarcenasGL #analysis #constraints #on the #query
- On the analysis of queries with counting constraints (EB, PG, NL), pp. 21–24.
- ICFP-2009-GenevesLQ #evolution #identification #query #xml
- Identifying query incompatibilities with evolving XML schemas (PG, NL, VQ), pp. 221–230.
- PLDI-2007-GenevesLS #performance #static analysis #xml
- Efficient static analysis of XML paths and types (PG, NL, AS), pp. 342–351.
- DocEng-2006-GenevesL #xml
- Comparing XML path expressions (PG, NL), pp. 65–74.
- DocEng-2005-LemloumaL #interactive #mobile #pretty-printing
- Content interaction and formatting for mobile devices (TL, NL), pp. 98–100.