Published in: LIPIcs, Volume 255, 26th International Conference on Database Theory (ICDT 2023)
Diego Figueira and Rémi Morvan. Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries. In 26th International Conference on Database Theory (ICDT 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 255, pp. 15:1-15:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{figueira_et_al:LIPIcs.ICDT.2023.15, author = {Figueira, Diego and Morvan, R\'{e}mi}, title = {{Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries}}, booktitle = {26th International Conference on Database Theory (ICDT 2023)}, pages = {15:1--15:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-270-9}, ISSN = {1868-8969}, year = {2023}, volume = {255}, editor = {Geerts, Floris and Vandevoort, Brecht}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2023.15}, URN = {urn:nbn:de:0030-drops-177575}, doi = {10.4230/LIPIcs.ICDT.2023.15}, annote = {Keywords: graph databases, conjunctive regular path queries, semantic optimization, tree-width, containment, approximation} }
Published in: LIPIcs, Volume 189, 37th International Symposium on Computational Geometry (SoCG 2021)
Waldo Gálvez, Fabrizio Grandoni, Arindam Khan, Diego Ramírez-Romero, and Andreas Wiese. Improved Approximation Algorithms for 2-Dimensional Knapsack: Packing into Multiple L-Shapes, Spirals, and More. In 37th International Symposium on Computational Geometry (SoCG 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 189, pp. 39:1-39:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{galvez_et_al:LIPIcs.SoCG.2021.39, author = {G\'{a}lvez, Waldo and Grandoni, Fabrizio and Khan, Arindam and Ram{\'\i}rez-Romero, Diego and Wiese, Andreas}, title = {{Improved Approximation Algorithms for 2-Dimensional Knapsack: Packing into Multiple L-Shapes, Spirals, and More}}, booktitle = {37th International Symposium on Computational Geometry (SoCG 2021)}, pages = {39:1--39:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-184-9}, ISSN = {1868-8969}, year = {2021}, volume = {189}, editor = {Buchin, Kevin and Colin de Verdi\`{e}re, \'{E}ric}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2021.39}, URN = {urn:nbn:de:0030-drops-138386}, doi = {10.4230/LIPIcs.SoCG.2021.39}, annote = {Keywords: Approximation algorithms, two-dimensional knapsack, geometric packing} }
Published in: LIPIcs, Volume 181, 31st International Symposium on Algorithms and Computation (ISAAC 2020)
Pedro Montealegre, Diego Ramírez-Romero, and Ivan Rapaport. Shared vs Private Randomness in Distributed Interactive Proofs. In 31st International Symposium on Algorithms and Computation (ISAAC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 181, pp. 51:1-51:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{montealegre_et_al:LIPIcs.ISAAC.2020.51, author = {Montealegre, Pedro and Ram{\'\i}rez-Romero, Diego and Rapaport, Ivan}, title = {{Shared vs Private Randomness in Distributed Interactive Proofs}}, booktitle = {31st International Symposium on Algorithms and Computation (ISAAC 2020)}, pages = {51:1--51:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-173-3}, ISSN = {1868-8969}, year = {2020}, volume = {181}, editor = {Cao, Yixin and Cheng, Siu-Wing and Li, Minming}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2020.51}, URN = {urn:nbn:de:0030-drops-133959}, doi = {10.4230/LIPIcs.ISAAC.2020.51}, annote = {Keywords: Distributed interactive proofs, Distributed verification, Shared randomness, Private randomness} }
Published in: LIPIcs, Volume 132, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)
Pablo Barceló, Diego Figueira, and Miguel Romero. Boundedness of Conjunctive Regular Path Queries (Track B: Automata, Logic, Semantics, and Theory of Programming). In 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 132, pp. 104:1-104:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{barcelo_et_al:LIPIcs.ICALP.2019.104, author = {Barcel\'{o}, Pablo and Figueira, Diego and Romero, Miguel}, title = {{Boundedness of Conjunctive Regular Path Queries}}, booktitle = {46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)}, pages = {104:1--104:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-109-2}, ISSN = {1868-8969}, year = {2019}, volume = {132}, editor = {Baier, Christel and Chatzigiannakis, Ioannis and Flocchini, Paola and Leonardi, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.104}, URN = {urn:nbn:de:0030-drops-106803}, doi = {10.4230/LIPIcs.ICALP.2019.104}, annote = {Keywords: regular path queries, boundedness, limitedness, distance automata} }
Feedback for Dagstuhl Publishing