default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nabil Layaïda
@article{DBLP:journals/pvldb/FejzaGL24,
author = {Amela Fejza and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {Efficient Enumeration of Recursive Plans in Transformation-based Query
Optimizers},
journal = {Proc. {VLDB} Endow.},
volume = {17},
number = {11},
pages = {3095--3108},
year = {2024},
url = {https://www.vldb.org/pvldb/vol17/p3095-geneves.pdf},
timestamp = {Thu, 19 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/FejzaGL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WernerLGEG24,
author = {Luisa Werner and
Nabil Laya{\"{\i}}da and
Pierre Genev{\`{e}}s and
J{\'{e}}r{\^{o}}me Euzenat and
Damien Graux},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Reproduce, Replicate, Reevaluate. The Long but Safe Way to Extend
Machine Learning Methods},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {15850--15858},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i14.29515},
doi = {10.1609/AAAI.V38I14.29515},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WernerLGEG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/FejzaGL24,
author = {Amela Fejza and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {A Fast Plan Enumerator for Recursive Queries},
booktitle = {40th {IEEE} International Conference on Data Engineering, {ICDE} 2024,
Utrecht, The Netherlands, May 13-16, 2024},
pages = {5449--5452},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICDE60146.2024.00425},
doi = {10.1109/ICDE60146.2024.00425},
timestamp = {Mon, 29 Jul 2024 14:11:15 +0200},
biburl = {https://dblp.org/rec/conf/icde/FejzaGL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-01863,
author = {Chandan Sharma and
Pierre Genev{\`{e}}s and
Nils Gesbert and
Nabil Laya{\"{\i}}da},
title = {Schema-Based Query Optimisation for Graph Databases},
journal = {CoRR},
volume = {abs/2403.01863},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.01863},
doi = {10.48550/ARXIV.2403.01863},
eprinttype = {arXiv},
eprint = {2403.01863},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-01863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/FejzaGLC23,
author = {Amela Fejza and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Sarah Chlyah},
editor = {Ingo Frommholz and
Frank Hopfgartner and
Mark Lee and
Michael Oakes and
Mounia Lalmas and
Min Zhang and
Rodrygo L. T. Santos},
title = {The {\(\mathrm{\mu}\)}-RA System for Recursive Path Queries over Graphs},
booktitle = {Proceedings of the 32nd {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2023, Birmingham, United Kingdom,
October 21-25, 2023},
pages = {5041--5045},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583780.3614756},
doi = {10.1145/3583780.3614756},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/FejzaGLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsaa/WernerLGC23,
author = {Luisa Werner and
Nabil Laya{\"{\i}}da and
Pierre Genev{\`{e}}s and
Sarah Chlyah},
title = {Knowledge Enhanced Graph Neural Networks},
booktitle = {10th {IEEE} International Conference on Data Science and Advanced
Analytics, {DSAA} 2023, Thessaloniki, Greece, October 9-13, 2023},
pages = {1--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSAA60987.2023.10302495},
doi = {10.1109/DSAA60987.2023.10302495},
timestamp = {Thu, 16 Nov 2023 09:03:43 +0100},
biburl = {https://dblp.org/rec/conf/dsaa/WernerLGC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-15487,
author = {Luisa Werner and
Nabil Laya{\"{\i}}da and
Pierre Genev{\`{e}}s and
Sarah Chlyah},
title = {Knowledge Enhanced Graph Neural Networks},
journal = {CoRR},
volume = {abs/2303.15487},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.15487},
doi = {10.48550/ARXIV.2303.15487},
eprinttype = {arXiv},
eprint = {2303.15487},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-15487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-07690,
author = {Sarah Chlyah and
Nils Gesbert and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {Efficient Iterative Programs with Distributed Data Collections},
journal = {CoRR},
volume = {abs/2306.07690},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.07690},
doi = {10.48550/ARXIV.2306.07690},
eprinttype = {arXiv},
eprint = {2306.07690},
timestamp = {Sat, 17 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-07690.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02572,
author = {Amela Fejza and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {Efficient Enumeration of Recursive Plans in Transformation-based Query
Optimizers},
journal = {CoRR},
volume = {abs/2312.02572},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.02572},
doi = {10.48550/ARXIV.2312.02572},
eprinttype = {arXiv},
eprint = {2312.02572},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-02572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-12487,
author = {Sarah Chlyah and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {Distributed Evaluation of Graph Queries using Recursive Relational
Algebra},
journal = {CoRR},
volume = {abs/2111.12487},
year = {2021},
url = {https://arxiv.org/abs/2111.12487},
eprinttype = {arXiv},
eprint = {2111.12487},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-12487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ImGGL20,
author = {Hyeonseung Im and
Pierre Genev{\`{e}}s and
Nils Gesbert and
Nabil Laya{\"{\i}}da},
title = {Backward type inference for {XML} queries},
journal = {Theor. Comput. Sci.},
volume = {823},
pages = {69--99},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.03.020},
doi = {10.1016/J.TCS.2020.03.020},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ImGGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/LawalGL20,
author = {Muideen Lawal and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Mathieu d'Aquin and
Stefan Dietze and
Claudia Hauff and
Edward Curry and
Philippe Cudr{\'{e}}{-}Mauroux},
title = {A Cost Estimation Technique for Recursive Relational Algebra},
booktitle = {{CIKM} '20: The 29th {ACM} International Conference on Information
and Knowledge Management, Virtual Event, Ireland, October 19-23, 2020},
pages = {3297--3300},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3340531.3417460},
doi = {10.1145/3340531.3417460},
timestamp = {Fri, 25 Dec 2020 01:15:14 +0100},
biburl = {https://dblp.org/rec/conf/cikm/LawalGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/JachietGGL20,
author = {Louis Jachiet and
Pierre Genev{\`{e}}s and
Nils Gesbert and
Nabil Laya{\"{\i}}da},
editor = {David Maier and
Rachel Pottinger and
AnHai Doan and
Wang{-}Chiew Tan and
Abdussalam Alawini and
Hung Q. Ngo},
title = {On the Optimization of Recursive Relational Queries: Application to
Graph Queries},
booktitle = {Proceedings of the 2020 International Conference on Management of
Data, {SIGMOD} Conference 2020, online conference [Portland, OR, USA],
June 14-19, 2020},
pages = {681--697},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3318464.3380567},
doi = {10.1145/3318464.3380567},
timestamp = {Wed, 04 May 2022 13:02:28 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/JachietGGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bdr/GenevesCLLAB18,
author = {Pierre Genev{\`{e}}s and
Thomas Calmant and
Nabil Laya{\"{\i}}da and
Marion Lepelley and
Svetlana Artemova and
Jean{-}Luc Bosson},
title = {Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital
Admission},
journal = {Big Data Res.},
volume = {12},
pages = {23--34},
year = {2018},
url = {https://doi.org/10.1016/j.bdr.2018.02.004},
doi = {10.1016/J.BDR.2018.02.004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bdr/GenevesCLLAB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/ChekolEGL18,
author = {Melisachew Wudage Chekol and
J{\'{e}}r{\^{o}}me Euzenat and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {{SPARQL} Query Containment Under Schema},
journal = {J. Data Semant.},
volume = {7},
number = {3},
pages = {133--154},
year = {2018},
url = {https://doi.org/10.1007/s13740-018-0087-1},
doi = {10.1007/S13740-018-0087-1},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jodsn/ChekolEGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/MichelGFL18,
author = {Thibaud Michel and
Pierre Genev{\`{e}}s and
Hassen Fourati and
Nabil Laya{\"{\i}}da},
title = {Attitude estimation for indoor navigation and augmented reality with
smartphones},
journal = {Pervasive Mob. Comput.},
volume = {46},
pages = {96--121},
year = {2018},
url = {https://doi.org/10.1016/j.pmcj.2018.03.004},
doi = {10.1016/J.PMCJ.2018.03.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/percom/MichelGFL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomccap/SantosMRL18,
author = {Joel A. F. dos Santos and
D{\'{e}}bora C. Muchaluat{-}Saade and
C{\'{e}}cile Roisin and
Nabil Laya{\"{\i}}da},
title = {A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia
Documents},
journal = {{ACM} Trans. Multim. Comput. Commun. Appl.},
volume = {14},
number = {4},
pages = {86:1--86:24},
year = {2018},
url = {https://doi.org/10.1145/3267127},
doi = {10.1145/3267127},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomccap/SantosMRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/GrauxJGL18,
author = {Damien Graux and
Louis Jachiet and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Naoki Abe and
Huan Liu and
Calton Pu and
Xiaohua Hu and
Nesreen K. Ahmed and
Mu Qiao and
Yang Song and
Donald Kossmann and
Bing Liu and
Kisung Lee and
Jiliang Tang and
Jingrui He and
Jeffrey S. Saltz},
title = {A Multi-Criteria Experimental Ranking of Distributed {SPARQL} Evaluators},
booktitle = {{IEEE} International Conference on Big Data {(IEEE} BigData 2018),
Seattle, WA, USA, December 10-13, 2018},
pages = {693--702},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/BigData.2018.8621985},
doi = {10.1109/BIGDATA.2018.8621985},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/GrauxJGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsaa/FejzaGLB18,
author = {Amela Fejza and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Jean{-}Luc Bosson},
editor = {Francesco Bonchi and
Foster J. Provost and
Tina Eliassi{-}Rad and
Wei Wang and
Ciro Cattuto and
Rayid Ghani},
title = {Scalable and Interpretable Predictive Models for Electronic Health
Records},
booktitle = {5th {IEEE} International Conference on Data Science and Advanced Analytics,
{DSAA} 2018, Turin, Italy, October 1-3, 2018},
pages = {341--350},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/DSAA.2018.00045},
doi = {10.1109/DSAA.2018.00045},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/dsaa/FejzaGLB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/AbbasGRL18,
author = {Abdullah Abbas and
Pierre Genev{\`{e}}s and
C{\'{e}}cile Roisin and
Nabil Laya{\"{\i}}da},
editor = {Tommi Mikkonen and
Ralf Klamma and
Juan Hern{\'{a}}ndez},
title = {Selectivity Estimation for {SPARQL} Triple Patterns with Shape Expressions},
booktitle = {Web Engineering - 18th International Conference, {ICWE} 2018, C{\'{a}}ceres,
Spain, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10845},
pages = {195--209},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91662-0\_15},
doi = {10.1007/978-3-319-91662-0\_15},
timestamp = {Tue, 29 Dec 2020 18:35:24 +0100},
biburl = {https://dblp.org/rec/conf/icwe/AbbasGRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismar/MichelGL18,
author = {Thibaud Michel and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {A Method to Quantitatively Evaluate Geo Augmented Reality Applications},
booktitle = {{IEEE} International Symposium on Mixed and Augmented Reality, {ISMAR}
2018 Adjunct, Munich, Germany, October 16-20, 2018},
pages = {9--14},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISMAR-Adjunct.2018.00022},
doi = {10.1109/ISMAR-ADJUNCT.2018.00022},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/ismar/MichelGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/DavidEGL18,
author = {J{\'{e}}r{\^{o}}me David and
J{\'{e}}r{\^{o}}me Euzenat and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Pierre{-}Antoine Champin and
Fabien Gandon and
Mounia Lalmas and
Panagiotis G. Ipeirotis},
title = {Evaluation of Query Transformations without Data: Short paper},
booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018,
{WWW} 2018, Lyon , France, April 23-27, 2018},
pages = {1599--1602},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3184558.3191617},
doi = {10.1145/3184558.3191617},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/DavidEGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/AbbasGRL17,
author = {Abdullah Abbas and
Pierre Genev{\`{e}}s and
C{\'{e}}cile Roisin and
Nabil Laya{\"{\i}}da},
editor = {Marite Kirikova and
Kjetil N{\o}rv{\aa}g and
George A. Papadopoulos},
title = {{SPARQL} Query Containment with ShEx Constraints},
booktitle = {Advances in Databases and Information Systems - 21st European Conference,
{ADBIS} 2017, Nicosia, Cyprus, September 24-27, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10509},
pages = {343--356},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66917-5\_23},
doi = {10.1007/978-3-319-66917-5\_23},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/AbbasGRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/MichelGFL17,
author = {Thibaud Michel and
Pierre Genev{\`{e}}s and
Hassen Fourati and
Nabil Laya{\"{\i}}da},
title = {On attitude estimation with smartphones},
booktitle = {2017 {IEEE} International Conference on Pervasive Computing and Communications,
PerCom 2017, Kona, Big Island, HI, USA, March 13-17, 2017},
pages = {267--275},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PERCOM.2017.7917873},
doi = {10.1109/PERCOM.2017.7917873},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/percom/MichelGFL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrauxGL16,
author = {Damien Graux and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Takahiro Kawamura and
Heiko Paulheim},
title = {Smart Trip Alternatives for the Curious},
booktitle = {Proceedings of the {ISWC} 2016 Posters {\&} Demonstrations Track
co-located with 15th International Semantic Web Conference {(ISWC}
2016), Kobe, Japan, October 19, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1690},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1690/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GrauxGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrauxJGL16,
author = {Damien Graux and
Louis Jachiet and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Takahiro Kawamura and
Heiko Paulheim},
title = {{SPARQLGX} in Action: Efficient Distributed Evaluation of {SPARQL}
with Apache Spark},
booktitle = {Proceedings of the {ISWC} 2016 Posters {\&} Demonstrations Track
co-located with 15th International Semantic Web Conference {(ISWC}
2016), Kobe, Japan, October 19, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1690},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1690/paper68.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GrauxJGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrauxJGL16a,
author = {Damien Graux and
Louis Jachiet and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Paul Groth and
Elena Simperl and
Alasdair J. G. Gray and
Marta Sabou and
Markus Kr{\"{o}}tzsch and
Freddy L{\'{e}}cu{\'{e}} and
Fabian Fl{\"{o}}ck and
Yolanda Gil},
title = {{SPARQLGX:} Efficient Distributed Evaluation of {SPARQL} with Apache
Spark},
booktitle = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference,
Kobe, Japan, October 17-21, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9982},
pages = {80--87},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46547-0\_9},
doi = {10.1007/978-3-319-46547-0\_9},
timestamp = {Tue, 07 Sep 2021 13:48:22 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GrauxJGL16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GenevesLSG15,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Alan Schmitt and
Nils Gesbert},
title = {Efficiently Deciding {\(\mu\)}-Calculus with Converse over Finite
Trees},
journal = {{ACM} Trans. Comput. Log.},
volume = {16},
number = {2},
pages = {16:1--16:41},
year = {2015},
url = {https://doi.org/10.1145/2724712},
doi = {10.1145/2724712},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GenevesLSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GesbertGL15,
author = {Nils Gesbert and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {A Logical Approach to Deciding Semantic Subtyping},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {1},
pages = {3:1--3:31},
year = {2015},
url = {https://doi.org/10.1145/2812805},
doi = {10.1145/2812805},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GesbertGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GuidoGLR15,
author = {Nicola Guido and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
C{\'{e}}cile Roisin},
editor = {James Bailey and
Alistair Moffat and
Charu C. Aggarwal and
Maarten de Rijke and
Ravi Kumar and
Vanessa Murdock and
Timos K. Sellis and
Jeffrey Xu Yu},
title = {On Query-Update Independence for {SPARQL}},
booktitle = {Proceedings of the 24th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2015, Melbourne, VIC, Australia,
October 19 - 23, 2015},
pages = {1675--1678},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2806416.2806586},
doi = {10.1145/2806416.2806586},
timestamp = {Mon, 26 Apr 2021 09:27:03 +0200},
biburl = {https://dblp.org/rec/conf/cikm/GuidoGLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/SantosBMRL15,
author = {Joel Andr{\'{e}} Ferreira dos Santos and
Christiano Braga and
D{\'{e}}bora C. Muchaluat{-}Saade and
C{\'{e}}cile Roisin and
Nabil Laya{\"{\i}}da},
editor = {Christine Vanoirbeek and
Pierre Genev{\`{e}}s},
title = {Spatio-temporal Validation of Multimedia Documents},
booktitle = {Proceedings of the 2015 {ACM} Symposium on Document Engineering, DocEng
2015, Lausanne, Switzerland, September 8-11, 2015},
pages = {133--142},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2682571.2797060},
doi = {10.1145/2682571.2797060},
timestamp = {Tue, 06 Nov 2018 16:57:32 +0100},
biburl = {https://dblp.org/rec/conf/doceng/SantosBMRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoschGL15,
author = {Mart{\'{\i}} Bosch and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Reasoning with Style},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2227--2233},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/315},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BoschGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipin/MichelFGL15,
author = {Thibaud Michel and
Hassen Fourati and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {A comparative analysis of attitude estimation for pedestrian navigation
with smartphones},
booktitle = {2015 International Conference on Indoor Positioning and Indoor Navigation,
{IPIN} 2015, Banff, AB, Canada, October 13-16, 2015},
pages = {1--10},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IPIN.2015.7346767},
doi = {10.1109/IPIN.2015.7346767},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ipin/MichelFGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/GenevesL14,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {Equipping IDEs with XML-Path Reasoning Capabilities},
journal = {{ACM} Trans. Internet Techn.},
volume = {13},
number = {4},
pages = {13:1--13:20},
year = {2014},
url = {https://doi.org/10.1145/2602573},
doi = {10.1145/2602573},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toit/GenevesL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/BoschGL14,
author = {Mart{\'{\i}} Bosch and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Steven J. Simske and
Sebastian R{\"{o}}nnau},
title = {Automated refactoring for size reduction of {CSS} style sheets},
booktitle = {{ACM} Symposium on Document Engineering 2014, DocEng '14, Fort Collins,
CO, USA, September 16-19, 2014},
pages = {13--16},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2644866.2644885},
doi = {10.1145/2644866.2644885},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/doceng/BoschGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/RazafimahazoLGM14,
author = {Mathieu Razafimahazo and
Nabil Laya{\"{\i}}da and
Pierre Genev{\`{e}}s and
Thibaud Michel},
title = {Mobile Augmented Reality Applications for Smart Cities},
journal = {{ERCIM} News},
volume = {2014},
number = {98},
year = {2014},
url = {http://ercim-news.ercim.eu/en98/special/mobile-augmented-reality-applications-for-smart-cities},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/RazafimahazoLGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Layaida13,
author = {Nabil Laya{\"{\i}}da},
title = {Representation and Analyses of Web Content and Processing. (Repr{\'{e}}sentation
et analyses de contenu et de programmes Web)},
year = {2013},
url = {https://tel.archives-ouvertes.fr/tel-00872752},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Layaida13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ChekolEGL13,
author = {Melisachew Wudage Chekol and
J{\'{e}}r{\^{o}}me Euzenat and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {Evaluating and Benchmarking {SPARQL} Query Containment Solvers},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8219},
pages = {408--423},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41338-4\_26},
doi = {10.1007/978-3-642-41338-4\_26},
timestamp = {Tue, 07 Sep 2021 13:48:08 +0200},
biburl = {https://dblp.org/rec/conf/semweb/ChekolEGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GenevesL13,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Leslie Carr and
Alberto H. F. Laender and
Bernadette Farias L{\'{o}}scio and
Irwin King and
Marcus Fontoura and
Denny Vrandecic and
Lora Aroyo and
Jos{\'{e}} Palazzo M. de Oliveira and
Fernanda Lima and
Erik Wilde},
title = {{XML} validation: looking backward - strongly typed and flexible {XML}
processing are not incompatible},
booktitle = {22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro,
Brazil, May 13-17, 2013, Companion Volume},
pages = {219--220},
publisher = {International World Wide Web Conferences Steering Committee / {ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487788.2487900},
doi = {10.1145/2487788.2487900},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/GenevesL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChekolEGL12,
author = {Melisachew Wudage Chekol and
J{\'{e}}r{\^{o}}me Euzenat and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {{SPARQL} Query Containment Under {SHI} Axioms},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {10--16},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8108},
doi = {10.1609/AAAI.V26I1.8108},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChekolEGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChekolEGL12,
author = {Melisachew Wudage Chekol and
J{\'{e}}r{\^{o}}me Euzenat and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {{SPARQL} Query Containment under {RDFS} Entailment Regime},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {134--148},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_13},
doi = {10.1007/978-3-642-31365-3\_13},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChekolEGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/JunediGL12,
author = {Muhammad Junedi and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Cyril Concolato and
Patrick Schmitz},
title = {{XML} query-update independence analysis revisited},
booktitle = {{ACM} Symposium on Document Engineering, DocEng '12, Paris, France,
September 4-7, 2012},
pages = {95--98},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2361354.2361375},
doi = {10.1145/2361354.2361375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/JunediGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/OliveiraGL12,
author = {Raquel Ara{\'{u}}jo de Oliveira and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Cyril Concolato and
Patrick Schmitz},
title = {Toward automated schema-directed code revision},
booktitle = {{ACM} Symposium on Document Engineering, DocEng '12, Paris, France,
September 4-7, 2012},
pages = {103--106},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2361354.2361377},
doi = {10.1145/2361354.2361377},
timestamp = {Sat, 11 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/OliveiraGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GenevesLQ12,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Vincent Quint},
editor = {Alain Mille and
Fabien Gandon and
Jacques Misselis and
Michael Rabinovich and
Steffen Staab},
title = {On the analysis of cascading style sheets},
booktitle = {Proceedings of the 21st World Wide Web Conference 2012, {WWW} 2012,
Lyon, France, April 16-20, 2012},
pages = {809--818},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2187836.2187946},
doi = {10.1145/2187836.2187946},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/GenevesLQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/LaborieEL11,
author = {S{\'{e}}bastien Laborie and
J{\'{e}}r{\^{o}}me Euzenat and
Nabil Laya{\"{\i}}da},
title = {Semantic adaptation of multimedia documents},
journal = {Multim. Tools Appl.},
volume = {55},
number = {3},
pages = {379--398},
year = {2011},
url = {https://doi.org/10.1007/s11042-010-0552-9},
doi = {10.1007/S11042-010-0552-9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mta/LaborieEL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/GenevesLQ11,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Vincent Quint},
title = {Impact of {XML} Schema Evolution},
journal = {{ACM} Trans. Internet Techn.},
volume = {11},
number = {1},
pages = {4:1--4:27},
year = {2011},
url = {https://doi.org/10.1145/1993083.1993087},
doi = {10.1145/1993083.1993087},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toit/GenevesLQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/ChekolEGL11,
author = {Melisachew Wudage Chekol and
J{\'{e}}r{\^{o}}me Euzenat and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Nate Foster and
Anastasios Kementsietsidis},
title = {{PSPARQL} Query Containment},
booktitle = {Database Programming Languages - {DBPL} 201, 13th International Symposium,
Seattle, Washington, USA, August 29, 2011. Proceedings},
year = {2011},
url = {http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-chekol.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/ChekolEGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GesbertGL11,
author = {Nils Gesbert and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Parametric polymorphism and semantic subtyping: the logical connection},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {107--116},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034789},
doi = {10.1145/2034773.2034789},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GesbertGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GenevesL11,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Inconsistent path detection for {XML} IDEs},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {983--985},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985967},
doi = {10.1145/1985793.1985967},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GenevesL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarcenasGLS11,
author = {Everardo B{\'{a}}rcenas and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Alan Schmitt},
editor = {Toby Walsh},
title = {Query Reasoning on Trees with Types, Interleaving, and Counting},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {718--723},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-127},
doi = {10.5591/978-1-57735-516-8/IJCAI11-127},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BarcenasGLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/GenevesL10,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Feifei Li and
Mirella M. Moro and
Shahram Ghandeharizadeh and
Jayant R. Haritsa and
Gerhard Weikum and
Michael J. Carey and
Fabio Casati and
Edward Y. Chang and
Ioana Manolescu and
Sharad Mehrotra and
Umeshwar Dayal and
Vassilis J. Tsotras},
title = {{XML} reasoning made practical},
booktitle = {Proceedings of the 26th International Conference on Data Engineering,
{ICDE} 2010, March 1-6, 2010, Long Beach, California, {USA}},
pages = {1169--1172},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICDE.2010.5447786},
doi = {10.1109/ICDE.2010.5447786},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/GenevesL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GenevesL10,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Eliminating dead-code from XQuery programs},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {305--306},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810363},
doi = {10.1145/1810295.1810363},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GenevesL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/LayaidaG10,
author = {Nabil Laya{\"{\i}}da and
Pierre Genev{\`{e}}s},
editor = {Michael Rappa and
Paul Jones and
Juliana Freire and
Soumen Chakrabarti},
title = {Debugging standard document formats},
booktitle = {Proceedings of the 19th International Conference on World Wide Web,
{WWW} 2010, Raleigh, North Carolina, USA, April 26-30, 2010},
pages = {1269--1272},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772690.1772899},
doi = {10.1145/1772690.1772899},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/LayaidaG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-5623,
author = {Everardo B{\'{a}}rcenas and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Alan Schmitt},
title = {A Tree Logic with Graded Paths and Nominals},
journal = {CoRR},
volume = {abs/1005.5623},
year = {2010},
url = {http://arxiv.org/abs/1005.5623},
eprinttype = {arXiv},
eprint = {1005.5623},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-5623.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-5073,
author = {Everardo B{\'{a}}rcenas and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Alan Schmitt},
title = {On the Count of Trees},
journal = {CoRR},
volume = {abs/1008.5073},
year = {2010},
url = {http://arxiv.org/abs/1008.5073},
eprinttype = {arXiv},
eprint = {1008.5073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-5073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/BarcenasGL09,
author = {Everardo B{\'{a}}rcenas and
Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Uwe M. Borghoff and
Boris Chidlovskii},
title = {On the analysis of queries with counting constraints},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Document Engineering, Munich,
Germany, September 16-18, 2009},
pages = {21--24},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1600193.1600199},
doi = {10.1145/1600193.1600199},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/BarcenasGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GenevesLQ09,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Vincent Quint},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Identifying query incompatibilities with evolving {XML} schemas},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {221--230},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596583},
doi = {10.1145/1596550.1596583},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GenevesLQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smap/LaborieEL09,
author = {S{\'{e}}bastien Laborie and
J{\'{e}}r{\^{o}}me Euzenat and
Nabil Laya{\"{\i}}da},
title = {Semantic Multimedia Document Adaptation with Functional Annotations},
booktitle = {4th International Workshop on Semantic Media Adaptation and Personalization,
{SMAP} 2009, San Sebastian, Spain, December 14-15, 2009},
pages = {44--49},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SMAP.2009.19},
doi = {10.1109/SMAP.2009.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smap/LaborieEL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-4324,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Vincent Quint},
title = {Ensuring Query Compatibility with Evolving {XML} Schemas},
journal = {CoRR},
volume = {abs/0811.4324},
year = {2008},
url = {http://arxiv.org/abs/0811.4324},
eprinttype = {arXiv},
eprint = {0811.4324},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-4324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-3550,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {{XML} Static Analyzer User Manual},
journal = {CoRR},
volume = {abs/0812.3550},
year = {2008},
url = {http://arxiv.org/abs/0812.3550},
eprinttype = {arXiv},
eprint = {0812.3550},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-3550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GenevesL08,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {Static Analysis of {XML} Programs},
journal = {{ERCIM} News},
volume = {2008},
number = {72},
year = {2008},
url = {http://ercim-news.ercim.eu/static-analysis-of-xml-programs},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/GenevesL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/GenevesL07,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {Deciding XPath containment with {MSO}},
journal = {Data Knowl. Eng.},
volume = {63},
number = {1},
pages = {108--136},
year = {2007},
url = {https://doi.org/10.1016/j.datak.2006.11.003},
doi = {10.1016/J.DATAK.2006.11.003},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/GenevesL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/GenevesLS07,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Alan Schmitt},
title = {XPath Typing Using a Modal Logic with Converse for Finite Trees},
booktitle = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
{SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
20, 2007},
pages = {61--72},
year = {2007},
url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/planX/GenevesLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GenevesLS07,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Alan Schmitt},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Efficient static analysis of {XML} paths and types},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {342--351},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250773},
doi = {10.1145/1250734.1250773},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GenevesLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sadpi/LaborieEL07,
author = {S{\'{e}}bastien Laborie and
J{\'{e}}r{\^{o}}me Euzenat and
Nabil Laya{\"{\i}}da},
editor = {Marc Nanard and
Peter R. King},
title = {Multimedia document summarization based on a semantic adaptation framework},
booktitle = {Proceedings of the International Workshop On Semantically Aware Document
Processing And Indexing, Montpellier, France, May 21-22, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {259},
pages = {87--94},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1283880.1283896},
doi = {10.1145/1283880.1283896},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sadpi/LaborieEL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tois/GenevesL06,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
title = {A system for the static analysis of XPath},
journal = {{ACM} Trans. Inf. Syst.},
volume = {24},
number = {4},
pages = {475--502},
year = {2006},
url = {https://doi.org/10.1145/1185877.1185882},
doi = {10.1145/1185877.1185882},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tois/GenevesL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/GenevesL06,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da},
editor = {Dick C. A. Bulterman and
David F. Brailsford},
title = {Comparing {XML} path expressions},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Document Engineering, Amsterdam,
The Netherlands, October 10-13, 2006},
pages = {65--74},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1166160.1166182},
doi = {10.1145/1166160.1166182},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/GenevesL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samt/LaborieEL06,
author = {S{\'{e}}bastien Laborie and
J{\'{e}}r{\^{o}}me Euzenat and
Nabil Laya{\"{\i}}da},
editor = {Yannis Avrithis and
Yiannis Kompatsiaris and
Steffen Staab and
Noel E. O'Connor},
title = {A Spatial Algebra for Multimedia Document Adaptation},
booktitle = {Poster and Demo Proceedings of the 1st International Conference on
Semantic and Digital Media Technologies, Athens, Greece, December
6-8, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {233},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-233/p07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/samt/LaborieEL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/LayaidaLQ05,
author = {Nabil Laya{\"{\i}}da and
Tayeb Lemlouma and
Vincent Quint},
title = {NAC, une architecture pour l'adaptation multim{\'{e}}dia sur
le web},
journal = {Tech. Sci. Informatiques},
volume = {24},
number = {7},
pages = {789--813},
year = {2005},
url = {https://doi.org/10.3166/tsi.24.789-813},
doi = {10.3166/TSI.24.789-813},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/LayaidaLQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/LemloumaL05,
author = {Tayeb Lemlouma and
Nabil Laya{\"{\i}}da},
editor = {Anthony Wiley and
Peter R. King},
title = {Content interaction and formatting for mobile devices},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Document Engineering, Bristol,
UK, November 2-4, 2005},
pages = {98--100},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1096601.1096627},
doi = {10.1145/1096601.1096627},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/LemloumaL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/LemloumaL04,
author = {Tayeb Lemlouma and
Nabil Laya{\"{\i}}da},
title = {Context-Aware Adaptation for Mobile Devices},
booktitle = {5th {IEEE} International Conference on Mobile Data Management {(MDM}
2004), 19-22 January 2004, Berkeley, CA, {USA}},
pages = {106},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MDM.2004.1263048},
doi = {10.1109/MDM.2004.1263048},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mdm/LemloumaL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elpub/LemloumaL03,
author = {Tayeb Lemlouma and
Nabil Laya{\"{\i}}da},
editor = {Sely Maria de Souza Costa and
Jo{\~{a}}o {\'{A}}lvaro Carvalho and
Ana Alice Baptista and
Ana Cristina Santos Moreira},
title = {Media Resources Adaptation for Limited Devices},
booktitle = {From information to knowledge: 7th {ICCC/IFIP} International Conference
on Electronic Publishing held at the Universidade do Minho - {ELPUB}
2003, Minho, Portugal, June 25-28, 2003. Proceedings},
year = {2003},
url = {https://nbn-resolving.org/urn:nbn:se:elpub-0329},
urn = {urn:nbn:se:elpub-0329},
timestamp = {Tue, 14 Feb 2023 10:59:16 +0100},
biburl = {https://dblp.org/rec/conf/elpub/LemloumaL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extreme/Vion-DuryL03,
author = {Jean{-}Yves Vion{-}Dury and
Nabil Laya{\"{\i}}da},
title = {Containment of XPath expressions: an inference and rewriting based
approach},
booktitle = {Proceedings of the Extreme Markup Languages{\textregistered} 2003
Conference, 4-8 August 2003, Montr{\'{e}}al, Quebec, Canada},
year = {2003},
url = {http://www.mulberrytech.com/Extreme/Proceedings/html/2003/Vion-Dury01/EML2003Vion-Dury01.html},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/extreme/Vion-DuryL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/LemloumaL03,
author = {Tayeb Lemlouma and
Nabil Laya{\"{\i}}da},
title = {Encoding multimedia presentations for user preferences and limited
environments},
booktitle = {Proceedings of the 2003 {IEEE} International Conference on Multimedia
and Expo, {ICME} 2003, 6-9 July 2003, Baltimore, MD, {USA}},
pages = {165--168},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICME.2003.1221579},
doi = {10.1109/ICME.2003.1221579},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmcs/LemloumaL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EuzenatLD03,
author = {J{\'{e}}r{\^{o}}me Euzenat and
Nabil Laya{\"{\i}}da and
Victor Dias},
editor = {Georg Gottlob and
Toby Walsh},
title = {A semantic framework for multimedia document adaptation},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {31--36},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/005.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EuzenatLD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/LemloumaL03,
author = {Tayeb Lemlouma and
Nabil Laya{\"{\i}}da},
title = {Adapted Content Delivery for Different Contexts},
booktitle = {2003 Symposium on Applications and the Internet {(SAINT} 2003), 27-31
January 2003 - Orlando, FL, USA, Proceedings},
pages = {190--199},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SAINT.2003.1183048},
doi = {10.1109/SAINT.2003.1183048},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/LemloumaL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/LayaidaSR02,
author = {Nabil Laya{\"{\i}}da and
Loay Sabry{-}Isma{\"{\i}}l and
C{\'{e}}cile Roisin},
title = {Dealing with Uncertain Durations in Synchronized Multimedia Presentations},
journal = {Multim. Tools Appl.},
volume = {18},
number = {3},
pages = {213--231},
year = {2002},
url = {https://doi.org/10.1023/A:1019944800320},
doi = {10.1023/A:1019944800320},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/LayaidaSR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/HagimontL02,
author = {Daniel Hagimont and
Nabil Laya{\"{\i}}da},
title = {Adaptation d'une application multim{\'{e}}dia par un code mobile},
journal = {Tech. Sci. Informatiques},
volume = {21},
number = {6},
pages = {877--897},
year = {2002},
url = {http://tsi.revuesonline.com/article.jsp?articleId=3838},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/HagimontL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/VillardL02,
author = {Lionel Villard and
Nabil Laya{\"{\i}}da},
editor = {David Lassner and
David De Roure and
Arun Iyengar},
title = {An incremental {XSLT} transformation processor for {XML} document
manipulation},
booktitle = {Proceedings of the Eleventh International World Wide Web Conference,
{WWW} 2002, May 7-11, 2002, Honolulu, Hawaii, {USA}},
pages = {474--485},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/511446.511508},
doi = {10.1145/511446.511508},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/VillardL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddep/VillardRL00,
author = {Lionel Villard and
C{\'{e}}cile Roisin and
Nabil Laya{\"{\i}}da},
editor = {Peter R. King and
Ethan V. Munson},
title = {An XML-Based Multimedia Document Processing Model for Content Adaptation},
booktitle = {Digital Documents: Systems and Principles, 8th International Conference
on Digital Documents and Electronic Publishing, {DDEP} 2000, 5th International
Workshop on the Principles of Digital Document Processing, {PODDP}
2000, Munich, Germany, September 13-15, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2023},
pages = {104--119},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-39916-2\_9},
doi = {10.1007/978-3-540-39916-2\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ddep/VillardRL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/JourdanLRST98,
author = {Muriel Jourdan and
Nabil Laya{\"{\i}}da and
C{\'{e}}cile Roisin and
Loay Sabry{-}Isma{\"{\i}}l and
Laurent Tardif},
editor = {Wolfgang Effelsberg and
Brian C. Smith},
title = {Madeus, and Authoring Environment for Interactive Multimedia Documents},
booktitle = {Proceedings of the 6th {ACM} International Conference on Multimedia
'98, Bristol, England, September 12-16, 1998},
pages = {267--272},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/290747.290780},
doi = {10.1145/290747.290780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mm/JourdanLRST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Layaida97,
author = {Nabil Laya{\"{\i}}da},
title = {Madeus : syst{\`{e}}me d'{\'{e}}dition et de pr{\'{e}}sentation
de documents structur{\'{e}}s multim{\'{e}}dia. (Madeus:
an authoring and presentation system for structured multimedia documents)},
school = {Joseph Fourier University, Grenoble, France},
year = {1997},
url = {https://tel.archives-ouvertes.fr/tel-00004952},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Layaida97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/JourdanLS97,
author = {Muriel Jourdan and
Nabil Laya{\"{\i}}da and
Loay Sabry{-}Isma{\"{\i}}l},
title = {{MADEUS:} An Authoring Environment for Interactive Multimedia Documents},
booktitle = {Proceedings of the International Conference on Multimedia Computing
and Systems, {ICMCS} 1997, Ottawa, Ontario, Canada, June 3-6, 1997},
pages = {644--645},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/MMCS.1997.609797},
doi = {10.1109/MMCS.1997.609797},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmcs/JourdanLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-20 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
