<?xml version="1.0"?>
<dblpperson name="Nabil Laya&#239;da" pid="l/NabilLayaida" n="87">
<person key="homepages/l/NabilLayaida" mdate="2023-12-18">
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<url>http://wam.inrialpes.fr/people/layaida/</url>
<url>https://orcid.org/0000-0001-8472-9365</url>
</person>
<r><article key="journals/jlap/ChlyahGGL25" mdate="2025-03-07">
<author orcid="0009-0004-1769-5109" pid="307/3062">Sarah Chlyah</author>
<author pid="98/3900">Nils Gesbert</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Efficient iterative programs with distributed data collections.</title>
<pages>101047</pages>
<year>2025</year>
<volume>144</volume>
<journal>J. Log. Algebraic Methods Program.</journal>
<ee>https://doi.org/10.1016/j.jlamp.2025.101047</ee>
<url>db/journals/jlap/jlap144.html#ChlyahGGL25</url>
<stream>streams/journals/jlap</stream>
</article>
</r>
<r><article key="journals/pacmmod/SharmaGGL25" mdate="2025-11-02">
<author orcid="0000-0002-7864-7088" pid="189/0265">Chandan Sharma</author>
<author orcid="0000-0001-7676-2755" pid="g/PGeneves">Pierre Genev&#232;s</author>
<author orcid="0009-0005-6255-4062" pid="98/3900">Nils Gesbert</author>
<author orcid="0000-0001-8472-9365" pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Schema-Based Query Optimisation for Graph Databases.</title>
<pages>72:1-72:29</pages>
<year>2025</year>
<month>February</month>
<volume>3</volume>
<journal>Proc. ACM Manag. Data</journal>
<number>1</number>
<ee>https://doi.org/10.1145/3709722</ee>
<ee>https://www.wikidata.org/entity/Q135276280</ee>
<url>db/journals/pacmmod/pacmmod3.html#SharmaGGL25</url>
<stream>streams/journals/pacmmod</stream>
</article>
</r>
<r><inproceedings key="conf/icde/ChlyahGL25" mdate="2025-09-05">
<author pid="307/3062">Sarah Chlyah</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Distributed Evaluation of Graph Queries Using Recursive Relational Algebra.</title>
<pages>2351-2365</pages>
<year>2025</year>
<booktitle>ICDE</booktitle>
<ee>https://doi.org/10.1109/ICDE65448.2025.00178</ee>
<crossref>conf/icde/2025</crossref>
<url>db/conf/icde/icde2025.html#ChlyahGL25</url>
<stream>streams/conf/icde</stream>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2501-18202" mdate="2025-02-26">
<author pid="398/4615">Thomas Jean-Michel Valentin</author>
<author pid="398/3315">Luisa Sophie Werner</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>On Scaling Neurosymbolic Programming through Guided Logical Inference.</title>
<year>2025</year>
<month>January</month>
<volume>abs/2501.18202</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2501.18202</ee>
<url>db/journals/corr/corr2501.html#abs-2501-18202</url>
<stream>streams/journals/corr</stream>
</article>
</r>
<r><article key="journals/pvldb/FejzaGL24" mdate="2024-12-19">
<author pid="222/4098">Amela Fejza</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers.</title>
<pages>3095-3108</pages>
<year>2024</year>
<month>July</month>
<volume>17</volume>
<journal>Proc. VLDB Endow.</journal>
<number>11</number>
<ee type="oa">https://www.vldb.org/pvldb/vol17/p3095-geneves.pdf</ee>
<ee>https://doi.org/10.14778/3681954.3681986</ee>
<url>db/journals/pvldb/pvldb17.html#FejzaGL24</url>
<stream>streams/journals/pvldb</stream>
</article>
</r>
<r><inproceedings key="conf/aaai/WernerLGEG24" mdate="2024-04-02">
<author pid="344/2288">Luisa Werner</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="169/2697">Damien Graux</author>
<title>Reproduce, Replicate, Reevaluate. The Long but Safe Way to Extend Machine Learning Methods.</title>
<pages>15850-15858</pages>
<year>2024</year>
<booktitle>AAAI</booktitle>
<ee type="oa">https://doi.org/10.1609/aaai.v38i14.29515</ee>
<crossref>conf/aaai/2024</crossref>
<url>db/conf/aaai/aaai2024.html#WernerLGEG24</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icde/FejzaGL24" mdate="2024-07-29">
<author pid="222/4098">Amela Fejza</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A Fast Plan Enumerator for Recursive Queries.</title>
<pages>5449-5452</pages>
<year>2024</year>
<booktitle>ICDE</booktitle>
<ee>https://doi.org/10.1109/ICDE60146.2024.00425</ee>
<crossref>conf/icde/2024</crossref>
<url>db/conf/icde/icde2024.html#FejzaGL24</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2403-01863" mdate="2024-04-02">
<author pid="189/0265">Chandan Sharma</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="98/3900">Nils Gesbert</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Schema-Based Query Optimisation for Graph Databases.</title>
<year>2024</year>
<volume>abs/2403.01863</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2403.01863</ee>
<url>db/journals/corr/corr2403.html#abs-2403-01863</url>
</article>
</r>
<r><inproceedings key="conf/cikm/FejzaGLC23" mdate="2023-10-27">
<author orcid="0009-0008-2785-4424" pid="222/4098">Amela Fejza</author>
<author orcid="0000-0001-7676-2755" pid="g/PGeneves">Pierre Genev&#232;s</author>
<author orcid="0000-0001-8472-9365" pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author orcid="0009-0004-1769-5109" pid="307/3062">Sarah Chlyah</author>
<title>The &#181;-RA System for Recursive Path Queries over Graphs.</title>
<pages>5041-5045</pages>
<year>2023</year>
<booktitle>CIKM</booktitle>
<ee>https://doi.org/10.1145/3583780.3614756</ee>
<crossref>conf/cikm/2023</crossref>
<url>db/conf/cikm/cikm2023.html#FejzaGLC23</url>
</inproceedings>
</r>
<r><inproceedings key="conf/dsaa/WernerLGC23" mdate="2023-11-16">
<author pid="344/2288">Luisa Werner</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="307/3062">Sarah Chlyah</author>
<title>Knowledge Enhanced Graph Neural Networks.</title>
<pages>1-10</pages>
<year>2023</year>
<booktitle>DSAA</booktitle>
<ee>https://doi.org/10.1109/DSAA60987.2023.10302495</ee>
<crossref>conf/dsaa/2023</crossref>
<url>db/conf/dsaa/dsaa2023.html#WernerLGC23</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2303-15487" mdate="2023-04-14">
<author pid="344/2288">Luisa Werner</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="307/3062">Sarah Chlyah</author>
<title>Knowledge Enhanced Graph Neural Networks.</title>
<year>2023</year>
<volume>abs/2303.15487</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2303.15487</ee>
<url>db/journals/corr/corr2303.html#abs-2303-15487</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2306-07690" mdate="2023-06-17">
<author pid="307/3062">Sarah Chlyah</author>
<author pid="98/3900">Nils Gesbert</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Efficient Iterative Programs with Distributed Data Collections.</title>
<year>2023</year>
<volume>abs/2306.07690</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2306.07690</ee>
<url>db/journals/corr/corr2306.html#abs-2306-07690</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2312-02572" mdate="2023-12-13">
<author pid="222/4098">Amela Fejza</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers.</title>
<year>2023</year>
<volume>abs/2312.02572</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2312.02572</ee>
<url>db/journals/corr/corr2312.html#abs-2312-02572</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2111-12487" mdate="2021-11-26">
<author pid="307/3062">Sarah Chlyah</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Distributed Evaluation of Graph Queries using Recursive Relational Algebra.</title>
<year>2021</year>
<volume>abs/2111.12487</volume>
<journal>CoRR</journal>
<ee type="oa">https://arxiv.org/abs/2111.12487</ee>
<url>db/journals/corr/corr2111.html#abs-2111-12487</url>
</article>
</r>
<r><article key="journals/tcs/ImGGL20" mdate="2020-05-22">
<author orcid="0000-0002-3901-0834" pid="78/997">Hyeonseung Im</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="98/3900">Nils Gesbert</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Backward type inference for XML queries.</title>
<pages>69-99</pages>
<year>2020</year>
<volume>823</volume>
<journal>Theor. Comput. Sci.</journal>
<ee>https://doi.org/10.1016/j.tcs.2020.03.020</ee>
<url>db/journals/tcs/tcs823.html#ImGGL20</url>
</article>
</r>
<r><inproceedings key="conf/cikm/LawalGL20" mdate="2020-10-19">
<author pid="276/5037">Muideen Lawal</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A Cost Estimation Technique for Recursive Relational Algebra.</title>
<pages>3297-3300</pages>
<year>2020</year>
<booktitle>CIKM</booktitle>
<ee>https://doi.org/10.1145/3340531.3417460</ee>
<crossref>conf/cikm/2020</crossref>
<url>db/conf/cikm/cikm2020.html#LawalGL20</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sigmod/JachietGGL20" mdate="2020-06-05">
<author pid="186/2948">Louis Jachiet</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="98/3900">Nils Gesbert</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>On the Optimization of Recursive Relational Queries: Application to Graph Queries.</title>
<pages>681-697</pages>
<year>2020</year>
<booktitle>SIGMOD Conference</booktitle>
<ee>https://doi.org/10.1145/3318464.3380567</ee>
<crossref>conf/sigmod/2020</crossref>
<url>db/conf/sigmod/sigmod2020.html#JachietGGL20</url>
</inproceedings>
</r>
<r><article key="journals/bdr/GenevesCLLAB18" mdate="2025-01-19">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author orcid="0000-0001-9728-019X" pid="120/0739">Thomas Calmant</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author orcid="0000-0002-8506-8228" pid="221/6984">Marion Lepelley</author>
<author pid="27/9499">Svetlana Artemova</author>
<author pid="82/6224">Jean-Luc Bosson</author>
<title>Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission.</title>
<pages>23-34</pages>
<year>2018</year>
<volume>12</volume>
<journal>Big Data Res.</journal>
<ee>https://doi.org/10.1016/j.bdr.2018.02.004</ee>
<ee>https://www.wikidata.org/entity/Q125698881</ee>
<url>db/journals/bdr/bdr12.html#GenevesCLLAB18</url>
</article>
</r>
<r><article key="journals/jodsn/ChekolEGL18" mdate="2025-01-19">
<author pid="116/4883">Melisachew Wudage Chekol</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>SPARQL Query Containment Under Schema.</title>
<pages>133-154</pages>
<year>2018</year>
<volume>7</volume>
<journal>J. Data Semant.</journal>
<number>3</number>
<ee>https://doi.org/10.1007/s13740-018-0087-1</ee>
<ee>https://www.wikidata.org/entity/Q129763941</ee>
<url>db/journals/jodsn/jodsn7.html#ChekolEGL18</url>
</article>
</r>
<r><article key="journals/percom/MichelGFL18" mdate="2025-01-19">
<author pid="148/0361">Thibaud Michel</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="32/7747">Hassen Fourati</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Attitude estimation for indoor navigation and augmented reality with smartphones.</title>
<pages>96-121</pages>
<year>2018</year>
<volume>46</volume>
<journal>Pervasive Mob. Comput.</journal>
<ee>https://doi.org/10.1016/j.pmcj.2018.03.004</ee>
<ee>https://www.wikidata.org/entity/Q130111723</ee>
<url>db/journals/percom/percom46.html#MichelGFL18</url>
</article>
</r>
<r><article key="journals/tomccap/SantosMRL18" mdate="2025-01-19">
<author orcid="0000-0001-7234-613X" pid="28/8009">Joel A. F. dos Santos</author>
<author pid="21/5891">D&#233;bora C. Muchaluat-Saade</author>
<author pid="00/2587">C&#233;cile Roisin</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents.</title>
<pages>86:1-86:24</pages>
<year>2018</year>
<volume>14</volume>
<journal>ACM Trans. Multim. Comput. Commun. Appl.</journal>
<number>4</number>
<ee>https://doi.org/10.1145/3267127</ee>
<ee>https://www.wikidata.org/entity/Q129074711</ee>
<url>db/journals/tomccap/tomccap14.html#SantosMRL18</url>
</article>
</r>
<r><inproceedings key="conf/bigdataconf/GrauxJGL18" mdate="2021-03-31">
<author orcid="0000-0003-3392-3162" pid="169/2697">Damien Graux</author>
<author pid="186/2948">Louis Jachiet</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators.</title>
<pages>693-702</pages>
<year>2018</year>
<booktitle>IEEE BigData</booktitle>
<ee>https://doi.org/10.1109/BigData.2018.8621985</ee>
<crossref>conf/bigdataconf/2018</crossref>
<url>db/conf/bigdataconf/bigdataconf2018.html#GrauxJGL18</url>
</inproceedings>
</r>
<r><inproceedings key="conf/dsaa/FejzaGLB18" mdate="2019-02-05">
<author pid="222/4098">Amela Fejza</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="82/6224">Jean-Luc Bosson</author>
<title>Scalable and Interpretable Predictive Models for Electronic Health Records.</title>
<pages>341-350</pages>
<year>2018</year>
<booktitle>DSAA</booktitle>
<ee>https://doi.org/10.1109/DSAA.2018.00045</ee>
<crossref>conf/dsaa/2018</crossref>
<url>db/conf/dsaa/dsaa2018.html#FejzaGLB18</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icwe/AbbasGRL18" mdate="2019-10-19">
<author orcid="0000-0003-0527-5292" pid="01/5487">Abdullah Abbas</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="00/2587">C&#233;cile Roisin</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions.</title>
<pages>195-209</pages>
<year>2018</year>
<booktitle>ICWE</booktitle>
<ee>https://doi.org/10.1007/978-3-319-91662-0_15</ee>
<crossref>conf/icwe/2018</crossref>
<url>db/conf/icwe/icwe2018.html#AbbasGRL18</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ismar/MichelGL18" mdate="2019-05-04">
<author pid="148/0361">Thibaud Michel</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A Method to Quantitatively Evaluate Geo Augmented Reality Applications.</title>
<pages>9-14</pages>
<year>2018</year>
<booktitle>ISMAR Adjunct</booktitle>
<ee>https://doi.org/10.1109/ISMAR-Adjunct.2018.00022</ee>
<crossref>conf/ismar/2018a</crossref>
<url>db/conf/ismar/ismar2018a.html#MichelGL18</url>
</inproceedings>
</r>
<r><inproceedings key="conf/www/DavidEGL18" mdate="2025-01-19">
<author pid="10/4191">J&#233;r&#244;me David</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Evaluation of Query Transformations without Data: Short paper.</title>
<pages>1599-1602</pages>
<year>2018</year>
<booktitle>WWW (Companion Volume)</booktitle>
<ee>https://doi.org/10.1145/3184558.3191617</ee>
<ee>https://www.wikidata.org/entity/Q130909575</ee>
<crossref>conf/www/2018c</crossref>
<url>db/conf/www/www2018c.html#DavidEGL18</url>
</inproceedings>
</r>
<r><inproceedings key="conf/adbis/AbbasGRL17" mdate="2019-10-19">
<author orcid="0000-0003-0527-5292" pid="01/5487">Abdullah Abbas</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="00/2587">C&#233;cile Roisin</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>SPARQL Query Containment with ShEx Constraints.</title>
<pages>343-356</pages>
<year>2017</year>
<booktitle>ADBIS</booktitle>
<ee>https://doi.org/10.1007/978-3-319-66917-5_23</ee>
<crossref>conf/adbis/2017</crossref>
<url>db/conf/adbis/adbis2017.html#AbbasGRL17</url>
</inproceedings>
</r>
<r><inproceedings key="conf/percom/MichelGFL17" mdate="2017-05-11">
<author pid="148/0361">Thibaud Michel</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="32/7747">Hassen Fourati</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>On attitude estimation with smartphones.</title>
<pages>267-275</pages>
<year>2017</year>
<booktitle>PerCom</booktitle>
<ee>https://doi.org/10.1109/PERCOM.2017.7917873</ee>
<crossref>conf/percom/2017</crossref>
<url>db/conf/percom/percom2017.html#MichelGFL17</url>
</inproceedings>
</r>
<r><inproceedings key="conf/semweb/GrauxGL16" mdate="2023-03-10">
<author pid="169/2697">Damien Graux</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Smart Trip Alternatives for the Curious.</title>
<year>2016</year>
<booktitle>ISWC (Posters &#38; Demos)</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-1690/paper13.pdf</ee>
<crossref>conf/semweb/2016p</crossref>
<url>db/conf/semweb/iswc2016p.html#GrauxGL16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/semweb/GrauxJGL16" mdate="2023-03-10">
<author pid="169/2697">Damien Graux</author>
<author pid="186/2948">Louis Jachiet</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark.</title>
<year>2016</year>
<booktitle>ISWC (Posters &#38; Demos)</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-1690/paper68.pdf</ee>
<crossref>conf/semweb/2016p</crossref>
<url>db/conf/semweb/iswc2016p.html#GrauxJGL16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/semweb/GrauxJGL16a" mdate="2025-01-19">
<author orcid="0000-0003-3392-3162" pid="169/2697">Damien Graux</author>
<author pid="186/2948">Louis Jachiet</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark.</title>
<pages>80-87</pages>
<year>2016</year>
<booktitle>ISWC (2)</booktitle>
<ee>https://doi.org/10.1007/978-3-319-46547-0_9</ee>
<ee>https://www.wikidata.org/entity/Q125459302</ee>
<crossref>conf/semweb/2016-2</crossref>
<url>db/conf/semweb/iswc2016-2.html#GrauxJGL16a</url>
</inproceedings>
</r>
<r><article key="journals/tocl/GenevesLSG15" mdate="2018-11-06">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="36/5932">Alan Schmitt</author>
<author pid="98/3900">Nils Gesbert</author>
<title>Efficiently Deciding &#956;-Calculus with Converse over Finite Trees.</title>
<pages>16:1-16:41</pages>
<year>2015</year>
<volume>16</volume>
<journal>ACM Trans. Comput. Log.</journal>
<number>2</number>
<ee>https://doi.org/10.1145/2724712</ee>
<url>db/journals/tocl/tocl16.html#GenevesLSG15</url>
</article>
</r>
<r><article key="journals/toplas/GesbertGL15" mdate="2018-11-06">
<author pid="98/3900">Nils Gesbert</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A Logical Approach to Deciding Semantic Subtyping.</title>
<pages>3:1-3:31</pages>
<year>2015</year>
<volume>38</volume>
<journal>ACM Trans. Program. Lang. Syst.</journal>
<number>1</number>
<ee>https://doi.org/10.1145/2812805</ee>
<url>db/journals/toplas/toplas38.html#GesbertGL15</url>
</article>
</r>
<r><inproceedings key="conf/cikm/GuidoGLR15" mdate="2025-01-19">
<author pid="165/3322">Nicola Guido</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="00/2587">C&#233;cile Roisin</author>
<title>On Query-Update Independence for SPARQL.</title>
<pages>1675-1678</pages>
<year>2015</year>
<booktitle>CIKM</booktitle>
<ee>https://doi.org/10.1145/2806416.2806586</ee>
<ee>https://www.wikidata.org/entity/Q130905922</ee>
<crossref>conf/cikm/2015</crossref>
<url>db/conf/cikm/cikm2015.html#GuidoGLR15</url>
</inproceedings>
</r>
<r><inproceedings key="conf/doceng/SantosBMRL15" mdate="2018-11-06">
<author orcid="0000-0001-7234-613X" pid="28/8009">Joel Andr&#233; Ferreira dos Santos</author>
<author pid="b/ChristianoBraga">Christiano Braga</author>
<author pid="21/5891">D&#233;bora C. Muchaluat-Saade</author>
<author pid="00/2587">C&#233;cile Roisin</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Spatio-temporal Validation of Multimedia Documents.</title>
<pages>133-142</pages>
<year>2015</year>
<booktitle>DocEng</booktitle>
<ee>https://doi.org/10.1145/2682571.2797060</ee>
<crossref>conf/doceng/2015</crossref>
<url>db/conf/doceng/doceng2015.html#SantosBMRL15</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ijcai/BoschGL15" mdate="2019-08-20">
<author pid="150/9961">Mart&#237; Bosch</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Reasoning with Style.</title>
<pages>2227-2233</pages>
<year>2015</year>
<booktitle>IJCAI</booktitle>
<ee type="oa">http://ijcai.org/Abstract/15/315</ee>
<crossref>conf/ijcai/2015</crossref>
<url>db/conf/ijcai/ijcai2015.html#BoschGL15</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ipin/MichelFGL15" mdate="2017-05-23">
<author pid="148/0361">Thibaud Michel</author>
<author pid="32/7747">Hassen Fourati</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A comparative analysis of attitude estimation for pedestrian navigation with smartphones.</title>
<pages>1-10</pages>
<year>2015</year>
<booktitle>IPIN</booktitle>
<ee>https://doi.org/10.1109/IPIN.2015.7346767</ee>
<crossref>conf/ipin/2015</crossref>
<url>db/conf/ipin/ipin2015.html#MichelFGL15</url>
</inproceedings>
</r>
<r><article key="journals/toit/GenevesL14" mdate="2018-11-06">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Equipping IDEs with XML-Path Reasoning Capabilities.</title>
<pages>13:1-13:20</pages>
<year>2014</year>
<volume>13</volume>
<journal>ACM Trans. Internet Techn.</journal>
<number>4</number>
<ee>https://doi.org/10.1145/2602573</ee>
<url>db/journals/toit/toit13.html#GenevesL14</url>
</article>
</r>
<r><inproceedings key="conf/doceng/BoschGL14" mdate="2019-10-19">
<author orcid="0000-0001-8735-9144" pid="150/9961">Mart&#237; Bosch</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Automated refactoring for size reduction of CSS style sheets.</title>
<pages>13-16</pages>
<year>2014</year>
<booktitle>ACM Symposium on Document Engineering</booktitle>
<ee>https://doi.org/10.1145/2644866.2644885</ee>
<crossref>conf/doceng/2014</crossref>
<url>db/conf/doceng/doceng2014.html#BoschGL14</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/ercim/RazafimahazoLGM14" mdate="2019-05-22">
<author pid="148/0341">Mathieu Razafimahazo</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="148/0361">Thibaud Michel</author>
<title>Mobile Augmented Reality Applications for Smart Cities.</title>
<year>2014</year>
<volume>2014</volume>
<journal>ERCIM News</journal>
<number>98</number>
<ee type="oa">http://ercim-news.ercim.eu/en98/special/mobile-augmented-reality-applications-for-smart-cities</ee>
<url>db/journals/ercim/ercim2014.html#RazafimahazoLGM14</url>
</article>
</r>
<r><book publtype="habil" key="books/hal/Layaida13" mdate="2017-09-30">
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Representation and Analyses of Web Content and Processing. (Repr&#233;sentation et analyses de contenu et de programmes Web).</title>
<year>2013</year>
<school>Grenoble Alpes University, France</school>
<ee>https://tel.archives-ouvertes.fr/tel-00872752</ee>
</book>
</r>
<r><inproceedings key="conf/semweb/ChekolEGL13" mdate="2025-01-19">
<author pid="116/4883">Melisachew Wudage Chekol</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Evaluating and Benchmarking SPARQL Query Containment Solvers.</title>
<pages>408-423</pages>
<year>2013</year>
<booktitle>ISWC (2)</booktitle>
<crossref>conf/semweb/2013-2</crossref>
<url>db/conf/semweb/iswc2013-2.html#ChekolEGL13</url>
<ee type="oa">https://doi.org/10.1007/978-3-642-41338-4_26</ee>
<ee>https://www.wikidata.org/entity/Q125461870</ee>
</inproceedings>
</r>
<r><inproceedings key="conf/www/GenevesL13" mdate="2018-11-06">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>XML validation: looking backward - strongly typed and flexible XML processing are not incompatible.</title>
<pages>219-220</pages>
<year>2013</year>
<booktitle>WWW (Companion Volume)</booktitle>
<ee>https://doi.org/10.1145/2487788.2487900</ee>
<crossref>conf/www/2013c</crossref>
<url>db/conf/www/www2013c.html#GenevesL13</url>
</inproceedings>
</r>
<r><inproceedings key="conf/aaai/ChekolEGL12" mdate="2023-10-21">
<author pid="116/4883">Melisachew Wudage Chekol</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>SPARQL Query Containment Under SHI Axioms.</title>
<year>2012</year>
<booktitle>AAAI</booktitle>
<ee type="oa">https://doi.org/10.1609/aaai.v26i1.8108</ee>
<ee>https://www.wikidata.org/entity/Q113233486</ee>
<crossref>conf/aaai/2012</crossref>
<url>db/conf/aaai/aaai2012.html#ChekolEGL12</url>
<pages>10-16</pages>
</inproceedings>
</r>
<r><inproceedings key="conf/cade/ChekolEGL12" mdate="2017-05-21">
<author pid="116/4883">Melisachew Wudage Chekol</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>SPARQL Query Containment under RDFS Entailment Regime.</title>
<pages>134-148</pages>
<year>2012</year>
<booktitle>IJCAR</booktitle>
<ee>https://doi.org/10.1007/978-3-642-31365-3_13</ee>
<crossref>conf/cade/2012</crossref>
<url>db/conf/cade/ijcar2012.html#ChekolEGL12</url>
</inproceedings>
</r>
<r><inproceedings key="conf/doceng/JunediGL12" mdate="2018-11-06">
<author pid="123/3203">Muhammad Junedi</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>XML query-update independence analysis revisited.</title>
<pages>95-98</pages>
<year>2012</year>
<booktitle>ACM Symposium on Document Engineering</booktitle>
<ee>https://doi.org/10.1145/2361354.2361375</ee>
<crossref>conf/doceng/2012</crossref>
<url>db/conf/doceng/doceng2012.html#JunediGL12</url>
</inproceedings>
</r>
<r><inproceedings key="conf/doceng/OliveiraGL12" mdate="2023-02-11">
<author pid="182/3869">Raquel Ara&#250;jo de Oliveira</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Toward automated schema-directed code revision.</title>
<pages>103-106</pages>
<year>2012</year>
<booktitle>ACM Symposium on Document Engineering</booktitle>
<ee>https://doi.org/10.1145/2361354.2361377</ee>
<crossref>conf/doceng/2012</crossref>
<url>db/conf/doceng/doceng2012.html#OliveiraGL12</url>
</inproceedings>
</r>
<r><inproceedings key="conf/www/GenevesLQ12" mdate="2018-11-06">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="64/5885">Vincent Quint</author>
<title>On the analysis of cascading style sheets.</title>
<pages>809-818</pages>
<year>2012</year>
<booktitle>WWW</booktitle>
<ee>https://doi.org/10.1145/2187836.2187946</ee>
<crossref>conf/www/2012</crossref>
<url>db/conf/www/www2012.html#GenevesLQ12</url>
</inproceedings>
</r>
<r><article key="journals/mta/LaborieEL11" mdate="2022-01-03">
<author orcid="0000-0002-9254-8027" pid="23/5534">S&#233;bastien Laborie</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Semantic adaptation of multimedia documents.</title>
<pages>379-398</pages>
<year>2011</year>
<volume>55</volume>
<journal>Multim. Tools Appl.</journal>
<number>3</number>
<ee>https://doi.org/10.1007/s11042-010-0552-9</ee>
<url>db/journals/mta/mta55.html#LaborieEL11</url>
</article>
</r>
<r><article key="journals/toit/GenevesLQ11" mdate="2018-11-06">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="64/5885">Vincent Quint</author>
<title>Impact of XML Schema Evolution.</title>
<pages>4:1-4:27</pages>
<year>2011</year>
<volume>11</volume>
<journal>ACM Trans. Internet Techn.</journal>
<number>1</number>
<ee>https://doi.org/10.1145/1993083.1993087</ee>
<url>db/journals/toit/toit11.html#GenevesLQ11</url>
</article>
</r>
<r><inproceedings key="conf/dbpl/ChekolEGL11" mdate="2020-03-12">
<author pid="116/4883">Melisachew Wudage Chekol</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>PSPARQL Query Containment.</title>
<year>2011</year>
<booktitle>DBPL</booktitle>
<crossref>conf/dbpl/2011</crossref>
<ee type="oa">http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-chekol.pdf</ee>
<url>db/conf/dbpl/dbpl2011.html#ChekolEGL11</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icfp/GesbertGL11" mdate="2021-06-24">
<author pid="98/3900">Nils Gesbert</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Parametric polymorphism and semantic subtyping: the logical connection.</title>
<pages>107-116</pages>
<year>2011</year>
<booktitle>ICFP</booktitle>
<ee>https://doi.org/10.1145/2034773.2034789</ee>
<ee>https://doi.org/10.1145/2034574.2034789</ee>
<crossref>conf/icfp/2011</crossref>
<url>db/conf/icfp/icfp2011.html#GesbertGL11</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icse/GenevesL11" mdate="2018-11-06">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Inconsistent path detection for XML IDEs.</title>
<pages>983-985</pages>
<year>2011</year>
<booktitle>ICSE</booktitle>
<ee>https://doi.org/10.1145/1985793.1985967</ee>
<crossref>conf/icse/2011</crossref>
<url>db/conf/icse/icse2011.html#GenevesL11</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ijcai/BarcenasGLS11" mdate="2022-01-03">
<author orcid="0000-0002-1523-1579" pid="218/2994">Everardo B&#225;rcenas</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="36/5932">Alan Schmitt</author>
<title>Query Reasoning on Trees with Types, Interleaving, and Counting.</title>
<pages>718-723</pages>
<year>2011</year>
<booktitle>IJCAI</booktitle>
<ee>https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-127</ee>
<crossref>conf/ijcai/2011</crossref>
<url>db/conf/ijcai/ijcai2011.html#BarcenasGLS11</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icde/GenevesL10" mdate="2023-03-24">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>XML reasoning made practical.</title>
<pages>1169-1172</pages>
<year>2010</year>
<booktitle>ICDE</booktitle>
<ee>https://doi.org/10.1109/ICDE.2010.5447786</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/ICDE.2010.5447786</ee>
<crossref>conf/icde/2010</crossref>
<url>db/conf/icde/icde2010.html#GenevesL10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icse/GenevesL10" mdate="2018-11-06">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Eliminating dead-code from XQuery programs.</title>
<pages>305-306</pages>
<year>2010</year>
<booktitle>ICSE (2)</booktitle>
<ee>https://doi.org/10.1145/1810295.1810363</ee>
<crossref>conf/icse/2010-2</crossref>
<url>db/conf/icse/icse2010-2.html#GenevesL10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/www/LayaidaG10" mdate="2018-11-06">
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<title>Debugging standard document formats.</title>
<pages>1269-1272</pages>
<year>2010</year>
<booktitle>WWW</booktitle>
<ee>https://doi.org/10.1145/1772690.1772899</ee>
<crossref>conf/www/2010</crossref>
<url>db/conf/www/www2010.html#LayaidaG10</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-1005-5623" mdate="2018-08-13">
<author pid="218/2994">Everardo B&#225;rcenas</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="36/5932">Alan Schmitt</author>
<title>A Tree Logic with Graded Paths and Nominals</title>
<ee type="oa">http://arxiv.org/abs/1005.5623</ee>
<year>2010</year>
<journal>CoRR</journal>
<volume>abs/1005.5623</volume>
<url>db/journals/corr/corr1005.html#abs-1005-5623</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-1008-5073" mdate="2018-08-13">
<author pid="218/2994">Everardo B&#225;rcenas</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="36/5932">Alan Schmitt</author>
<title>On the Count of Trees</title>
<ee type="oa">http://arxiv.org/abs/1008.5073</ee>
<year>2010</year>
<journal>CoRR</journal>
<volume>abs/1008.5073</volume>
<url>db/journals/corr/corr1008.html#abs-1008-5073</url>
</article>
</r>
<r><inproceedings key="conf/doceng/BarcenasGL09" mdate="2022-01-03">
<author orcid="0000-0002-1523-1579" pid="218/2994">Everardo B&#225;rcenas</author>
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>On the analysis of queries with counting constraints.</title>
<pages>21-24</pages>
<year>2009</year>
<booktitle>ACM Symposium on Document Engineering</booktitle>
<ee>https://doi.org/10.1145/1600193.1600199</ee>
<crossref>conf/doceng/2009</crossref>
<url>db/conf/doceng/doceng2009.html#BarcenasGL09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icfp/GenevesLQ09" mdate="2021-06-25">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="64/5885">Vincent Quint</author>
<title>Identifying query incompatibilities with evolving XML schemas.</title>
<pages>221-230</pages>
<year>2009</year>
<booktitle>ICFP</booktitle>
<ee>https://doi.org/10.1145/1596550.1596583</ee>
<ee>https://doi.org/10.1145/1631687.1596583</ee>
<crossref>conf/icfp/2009</crossref>
<url>db/conf/icfp/icfp2009.html#GenevesLQ09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/smap/LaborieEL09" mdate="2023-03-23">
<author orcid="0000-0002-9254-8027" pid="23/5534">S&#233;bastien Laborie</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Semantic Multimedia Document Adaptation with Functional Annotations.</title>
<pages>44-49</pages>
<year>2009</year>
<booktitle>SMAP</booktitle>
<ee>https://doi.org/10.1109/SMAP.2009.19</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/SMAP.2009.19</ee>
<crossref>conf/smap/2009</crossref>
<url>db/conf/smap/smap2009.html#LaborieEL09</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-0811-4324" mdate="2018-08-13">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="64/5885">Vincent Quint</author>
<title>Ensuring Query Compatibility with Evolving XML Schemas</title>
<ee type="oa">http://arxiv.org/abs/0811.4324</ee>
<year>2008</year>
<journal>CoRR</journal>
<volume>abs/0811.4324</volume>
<url>db/journals/corr/corr0811.html#abs-0811-4324</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-0812-3550" mdate="2018-08-13">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>XML Static Analyzer User Manual</title>
<ee type="oa">http://arxiv.org/abs/0812.3550</ee>
<year>2008</year>
<journal>CoRR</journal>
<volume>abs/0812.3550</volume>
<url>db/journals/corr/corr0812.html#abs-0812-3550</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/GenevesL08" mdate="2019-05-22">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Static Analysis of XML Programs.</title>
<year>2008</year>
<volume>2008</volume>
<journal>ERCIM News</journal>
<number>72</number>
<ee type="oa">http://ercim-news.ercim.eu/static-analysis-of-xml-programs</ee>
<url>db/journals/ercim/ercim2008.html#GenevesL08</url>
</article>
</r>
<r><article key="journals/dke/GenevesL07" mdate="2017-05-20">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Deciding XPath containment with MSO.</title>
<pages>108-136</pages>
<year>2007</year>
<volume>63</volume>
<journal>Data Knowl. Eng.</journal>
<number>1</number>
<ee>https://doi.org/10.1016/j.datak.2006.11.003</ee>
<url>db/journals/dke/dke63.html#GenevesL07</url>
</article>
</r>
<r><inproceedings key="conf/planX/GenevesLS07" mdate="2018-06-27">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="36/5932">Alan Schmitt</author>
<title>XPath Typing Using a Modal Logic with Converse for Finite Trees.</title>
<pages>61-72</pages>
<year>2007</year>
<crossref>conf/planX/2007</crossref>
<booktitle>PLAN-X</booktitle>
<ee>http://www.plan-x-2007.org/plan-x-2007.pdf</ee>
<url>db/conf/planx/planX2007.html#GenevesLS07</url>
</inproceedings>
</r>
<r><inproceedings key="conf/pldi/GenevesLS07" mdate="2021-06-25">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="36/5932">Alan Schmitt</author>
<title>Efficient static analysis of XML paths and types.</title>
<pages>342-351</pages>
<year>2007</year>
<crossref>conf/pldi/2007</crossref>
<booktitle>PLDI</booktitle>
<ee>https://doi.org/10.1145/1250734.1250773</ee>
<ee>https://doi.org/10.1145/1273442.1250773</ee>
<url>db/conf/pldi/pldi2007.html#GenevesLS07</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sadpi/LaborieEL07" mdate="2022-01-03">
<author orcid="0000-0002-9254-8027" pid="23/5534">S&#233;bastien Laborie</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Multimedia document summarization based on a semantic adaptation framework.</title>
<pages>87-94</pages>
<year>2007</year>
<booktitle>SADPI</booktitle>
<ee>https://doi.org/10.1145/1283880.1283896</ee>
<crossref>conf/sadpi/2007</crossref>
<url>db/conf/sadpi/sadpi2007.html#LaborieEL07</url>
</inproceedings>
</r>
<r><article key="journals/tois/GenevesL06" mdate="2019-05-09">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A system for the static analysis of XPath.</title>
<pages>475-502</pages>
<year>2006</year>
<volume>24</volume>
<journal>ACM Trans. Inf. Syst.</journal>
<number>4</number>
<ee>https://doi.org/10.1145/1185877.1185882</ee>
<url>db/journals/tois/tois24.html#GenevesL06</url>
</article>
</r>
<r><inproceedings key="conf/doceng/GenevesL06" mdate="2018-11-06">
<author pid="g/PGeneves">Pierre Genev&#232;s</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Comparing XML path expressions.</title>
<pages>65-74</pages>
<year>2006</year>
<crossref>conf/doceng/2006</crossref>
<booktitle>ACM Symposium on Document Engineering</booktitle>
<ee>https://doi.org/10.1145/1166160.1166182</ee>
<url>db/conf/doceng/doceng2006.html#GenevesL06</url>
</inproceedings>
</r>
<r><inproceedings key="conf/samt/LaborieEL06" mdate="2023-03-10">
<author pid="23/5534">S&#233;bastien Laborie</author>
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>A Spatial Algebra for Multimedia Document Adaptation.</title>
<year>2006</year>
<booktitle>SAMT (Posters and Demos)</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-233/p07.pdf</ee>
<crossref>conf/samt/2006p</crossref>
<url>db/conf/samt/samt2006p.html#LaborieEL06</url>
</inproceedings>
</r>
<r><article key="journals/tsi/LayaidaLQ05" mdate="2020-06-24">
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="12/6173">Tayeb Lemlouma</author>
<author pid="64/5885">Vincent Quint</author>
<title>NAC, une architecture pour l'adaptation multim&#233;dia sur le web.</title>
<pages>789-813</pages>
<year>2005</year>
<volume>24</volume>
<journal>Tech. Sci. Informatiques</journal>
<number>7</number>
<ee>https://doi.org/10.3166/tsi.24.789-813</ee>
<url>db/journals/tsi/tsi24.html#LayaidaLQ05</url>
</article>
</r>
<r><inproceedings key="conf/doceng/LemloumaL05" mdate="2018-11-06">
<author pid="12/6173">Tayeb Lemlouma</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Content interaction and formatting for mobile devices.</title>
<pages>98-100</pages>
<year>2005</year>
<crossref>conf/doceng/2005</crossref>
<booktitle>ACM Symposium on Document Engineering</booktitle>
<ee>https://doi.org/10.1145/1096601.1096627</ee>
<url>db/conf/doceng/doceng2005.html#LemloumaL05</url>
</inproceedings>
</r>
<r><inproceedings key="conf/mdm/LemloumaL04" mdate="2023-03-23">
<author pid="12/6173">Tayeb Lemlouma</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Context-Aware Adaptation for Mobile Devices.</title>
<pages>106-</pages>
<year>2004</year>
<crossref>conf/mdm/2004</crossref>
<booktitle>Mobile Data Management</booktitle>
<ee>https://doi.org/10.1109/MDM.2004.1263048</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/MDM.2004.1263048</ee>
<url>db/conf/mdm/mdm2004.html#LemloumaL04</url>
</inproceedings>
</r>
<r><inproceedings key="conf/elpub/LemloumaL03" mdate="2020-02-12">
<author pid="12/6173">Tayeb Lemlouma</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Media Resources Adaptation for Limited Devices.</title>
<year>2003</year>
<booktitle>ELPUB</booktitle>
<ee>https://nbn-resolving.org/urn:nbn:se:elpub-0329</ee>
<crossref>conf/elpub/2003</crossref>
<url>db/conf/elpub/elpub2003.html#LemloumaL03</url>
</inproceedings>
</r>
<r><inproceedings key="conf/extreme/Vion-DuryL03" mdate="2022-01-17">
<author pid="24/3686">Jean-Yves Vion-Dury</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Containment of XPath expressions: an inference and rewriting based approach.</title>
<year>2003</year>
<crossref>conf/extreme/2003</crossref>
<booktitle>Extreme Markup Languages&#174;</booktitle>
<ee type="archive">http://www.mulberrytech.com/Extreme/Proceedings/html/2003/Vion-Dury01/EML2003Vion-Dury01.html</ee>
<url>db/conf/extreme/extreme2003.html#Vion-DuryL03</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icmcs/LemloumaL03" mdate="2023-03-24">
<author pid="12/6173">Tayeb Lemlouma</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Encoding multimedia presentations for user preferences and limited environments.</title>
<pages>165-168</pages>
<year>2003</year>
<booktitle>ICME</booktitle>
<ee>https://doi.org/10.1109/ICME.2003.1221579</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/ICME.2003.1221579</ee>
<crossref>conf/icmcs/2003</crossref>
<url>db/conf/icmcs/icme2003.html#LemloumaL03</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ijcai/EuzenatLD03" mdate="2019-08-20">
<author pid="85/192">J&#233;r&#244;me Euzenat</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="16/3346">Victor Dias</author>
<title>A semantic framework for multimedia document adaptation.</title>
<pages>31-36</pages>
<year>2003</year>
<crossref>conf/ijcai/2003</crossref>
<booktitle>IJCAI</booktitle>
<url>db/conf/ijcai/ijcai2003.html#EuzenatLD03</url>
<ee type="oa">http://ijcai.org/Proceedings/03/Papers/005.pdf</ee>
</inproceedings>
</r>
<r><inproceedings key="conf/saint/LemloumaL03" mdate="2023-03-23">
<author pid="12/6173">Tayeb Lemlouma</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Adapted Content Delivery for Different Contexts.</title>
<pages>190-199</pages>
<year>2003</year>
<crossref>conf/saint/2003</crossref>
<booktitle>SAINT</booktitle>
<ee>https://doi.org/10.1109/SAINT.2003.1183048</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/SAINT.2003.1183048</ee>
<url>db/conf/saint/saint2003.html#LemloumaL03</url>
</inproceedings>
</r>
<r><article key="journals/mta/LayaidaSR02" mdate="2020-05-11">
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="26/3830">Loay Sabry-Isma&#239;l</author>
<author pid="00/2587">C&#233;cile Roisin</author>
<title>Dealing with Uncertain Durations in Synchronized Multimedia Presentations.</title>
<pages>213-231</pages>
<year>2002</year>
<volume>18</volume>
<journal>Multim. Tools Appl.</journal>
<number>3</number>
<url>db/journals/mta/mta18.html#LayaidaSR02</url>
<ee>https://doi.org/10.1023/A:1019944800320</ee>
</article>
</r>
<r><article key="journals/tsi/HagimontL02" mdate="2025-03-06">
<author pid="46/902">Daniel Hagimont</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Adaptation d'une application multim&#233;dia par un code mobile.</title>
<pages>877-897</pages>
<year>2002</year>
<volume>21</volume>
<journal>Tech. Sci. Informatiques</journal>
<number>6</number>
<ee type="archive">http://tsi.revuesonline.com/article.jsp?articleId=3838</ee>
<url>db/journals/tsi/tsi21.html#HagimontL02</url>
</article>
</r>
<r><inproceedings key="conf/www/VillardL02" mdate="2018-11-06">
<author pid="v/LionelVillard">Lionel Villard</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>An incremental XSLT transformation processor for XML document manipulation.</title>
<pages>474-485</pages>
<year>2002</year>
<crossref>conf/www/2002</crossref>
<booktitle>WWW</booktitle>
<ee>https://doi.org/10.1145/511446.511508</ee>
<url>db/conf/www/www2002.html#VillardL02</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ddep/VillardRL00" mdate="2017-05-25">
<author pid="v/LionelVillard">Lionel Villard</author>
<author pid="00/2587">C&#233;cile Roisin</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>An XML-Based Multimedia Document Processing Model for Content Adaptation.</title>
<pages>104-119</pages>
<ee>https://doi.org/10.1007/978-3-540-39916-2_9</ee>
<year>2000</year>
<crossref>conf/ddep/2000</crossref>
<booktitle>DDEP/PODDP</booktitle>
<url>db/conf/ddep/ddep2000.html#VillardRL00</url>
</inproceedings>
</r>
<r><inproceedings key="conf/mm/JourdanLRST98" mdate="2018-11-06">
<author pid="j/MurielJourdan">Muriel Jourdan</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="00/2587">C&#233;cile Roisin</author>
<author pid="26/3830">Loay Sabry-Isma&#239;l</author>
<author pid="16/6971">Laurent Tardif</author>
<title>Madeus, and Authoring Environment for Interactive Multimedia Documents.</title>
<pages>267-272</pages>
<year>1998</year>
<crossref>conf/mm/1998</crossref>
<booktitle>ACM Multimedia</booktitle>
<ee>https://doi.org/10.1145/290747.290780</ee>
<url>db/conf/mm/mm98.html#JourdanLRST98</url>
</inproceedings>
</r>
<r><phdthesis key="phd/hal/Layaida97" mdate="2020-07-21">
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<title>Madeus : syst&#232;me d'&#233;dition et de pr&#233;sentation de documents structur&#233;s multim&#233;dia. (Madeus: an authoring and presentation system for structured multimedia documents).</title>
<year>1997</year>
<school>Joseph Fourier University, Grenoble, France</school>
<ee type="oa">https://tel.archives-ouvertes.fr/tel-00004952</ee>
</phdthesis>
</r>
<r><inproceedings key="conf/icmcs/JourdanLS97" mdate="2023-03-24">
<author pid="j/MurielJourdan">Muriel Jourdan</author>
<author pid="l/NabilLayaida">Nabil Laya&#239;da</author>
<author pid="26/3830">Loay Sabry-Isma&#239;l</author>
<title>MADEUS: An Authoring Environment for Interactive Multimedia Documents.</title>
<pages>644-645</pages>
<year>1997</year>
<crossref>conf/icmcs/1997</crossref>
<booktitle>ICMCS</booktitle>
<url>db/conf/icmcs/icmcs97.html#JourdanLS97</url>
<ee>https://doi.org/10.1109/MMCS.1997.609797</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/MMCS.1997.609797</ee>
</inproceedings>
</r>
<coauthors n="43" nc="1">
<co c="0"><na f="a/Abbas:Abdullah" pid="01/5487">Abdullah Abbas</na></co>
<co c="0"><na f="a/Artemova:Svetlana" pid="27/9499">Svetlana Artemova</na></co>
<co c="0"><na f="b/B=aacute=rcenas:Everardo" pid="218/2994">Everardo B&#225;rcenas</na></co>
<co c="0"><na f="b/Bosch:Mart=iacute=" pid="150/9961">Mart&#237; Bosch</na></co>
<co c="0"><na f="b/Bosson:Jean=Luc" pid="82/6224">Jean-Luc Bosson</na></co>
<co c="0"><na f="b/Braga:Christiano" pid="b/ChristianoBraga">Christiano Braga</na></co>
<co c="0"><na f="c/Calmant:Thomas" pid="120/0739">Thomas Calmant</na></co>
<co c="0"><na f="c/Chekol:Melisachew_Wudage" pid="116/4883">Melisachew Wudage Chekol</na></co>
<co c="0"><na f="c/Chlyah:Sarah" pid="307/3062">Sarah Chlyah</na></co>
<co c="0"><na f="d/David:J=eacute=r=ocirc=me" pid="10/4191">J&#233;r&#244;me David</na></co>
<co c="0"><na f="d/Dias:Victor" pid="16/3346">Victor Dias</na></co>
<co c="0"><na f="e/Euzenat:J=eacute=r=ocirc=me" pid="85/192">J&#233;r&#244;me Euzenat</na></co>
<co c="0"><na f="f/Fejza:Amela" pid="222/4098">Amela Fejza</na></co>
<co c="0"><na f="f/Fourati:Hassen" pid="32/7747">Hassen Fourati</na></co>
<co c="0"><na f="g/Genev=egrave=s:Pierre" pid="g/PGeneves">Pierre Genev&#232;s</na></co>
<co c="0"><na f="g/Gesbert:Nils" pid="98/3900">Nils Gesbert</na></co>
<co c="0"><na f="g/Graux:Damien" pid="169/2697">Damien Graux</na></co>
<co c="0"><na f="g/Guido:Nicola" pid="165/3322">Nicola Guido</na></co>
<co c="-1"><na f="h/Hagimont:Daniel" pid="46/902">Daniel Hagimont</na></co>
<co c="0"><na f="i/Im:Hyeonseung" pid="78/997">Hyeonseung Im</na></co>
<co c="0"><na f="j/Jachiet:Louis" pid="186/2948">Louis Jachiet</na></co>
<co c="0"><na f="j/Jourdan:Muriel" pid="j/MurielJourdan">Muriel Jourdan</na></co>
<co c="0"><na f="j/Junedi:Muhammad" pid="123/3203">Muhammad Junedi</na></co>
<co c="0"><na f="l/Laborie:S=eacute=bastien" pid="23/5534">S&#233;bastien Laborie</na></co>
<co c="0"><na f="l/Lawal:Muideen" pid="276/5037">Muideen Lawal</na></co>
<co c="0"><na f="l/Lemlouma:Tayeb" pid="12/6173">Tayeb Lemlouma</na></co>
<co c="0"><na f="l/Lepelley:Marion" pid="221/6984">Marion Lepelley</na></co>
<co c="0"><na f="m/Michel:Thibaud" pid="148/0361">Thibaud Michel</na></co>
<co c="0"><na f="m/Muchaluat=Saade:D=eacute=bora_C=" pid="21/5891">D&#233;bora C. Muchaluat-Saade</na></co>
<co c="0"><na f="o/Oliveira:Raquel_Ara=uacute=jo_de" pid="182/3869">Raquel Ara&#250;jo de Oliveira</na></co>
<co c="0"><na f="q/Quint:Vincent" pid="64/5885">Vincent Quint</na></co>
<co c="0"><na f="r/Razafimahazo:Mathieu" pid="148/0341">Mathieu Razafimahazo</na></co>
<co c="0"><na f="r/Roisin:C=eacute=cile" pid="00/2587">C&#233;cile Roisin</na></co>
<co c="0"><na f="s/Sabry=Isma=iuml=l:Loay" pid="26/3830">Loay Sabry-Isma&#239;l</na></co>
<co c="0" n="2"><na f="s/Santos:Joel_A=_F=_dos" pid="28/8009">Joel A. F. dos Santos</na><na>Joel Andr&#233; Ferreira dos Santos</na></co>
<co c="0"><na f="s/Schmitt:Alan" pid="36/5932">Alan Schmitt</na></co>
<co c="0"><na f="s/Sharma:Chandan" pid="189/0265">Chandan Sharma</na></co>
<co c="0"><na f="t/Tardif:Laurent" pid="16/6971">Laurent Tardif</na></co>
<co c="0"><na f="v/Valentin:Thomas_Jean=Michel" pid="398/4615">Thomas Jean-Michel Valentin</na></co>
<co c="0"><na f="v/Villard:Lionel" pid="v/LionelVillard">Lionel Villard</na></co>
<co c="0"><na f="v/Vion=Dury:Jean=Yves" pid="24/3686">Jean-Yves Vion-Dury</na></co>
<co c="0"><na f="w/Werner:Luisa" pid="344/2288">Luisa Werner</na></co>
<co c="0"><na f="w/Werner:Luisa_Sophie" pid="398/3315">Luisa Sophie Werner</na></co>
</coauthors>
</dblpperson>

