Authors: Lyon, Tim S.^Aff10, Rudolph, Sebastian^Aff10

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Gaggl, Sarah, editor^Aff7, Martinez, Maria Vanina, editor^Aff8, Ortiz, Magdalena, editor^Aff9

Superior Title: Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. 14281:369-384

Authors: Marino, Andrea^{Aff1, IDs0045302201021y_cor1}, Silva, Ana^{Aff1, Aff2}

Superior Title: Algorithmica. 85(3):805-830

Authors: Feller, Thomas, Lyon, Tim S., Ostropolski-Nalewaja, Piotr, Rudolph, Sebastian

Subject Terms: existential rules, TGDs, cliquewidth, treewidth, bounded-treewidth sets, finite-unification sets, first-order rewritability, monadic second-order logic, datalog, Theory of computation → Description logics, Theory of computation → Database query languages principles, Theory of computation → Logic and databases, Mathematics of computing → Graph theory

File Description: application/pdf

Relation: http://webdam.inria.fr/Alice/; http://ijcai.org/Abstract/15/385; http://ceur-ws.org/Vol-1193/paper_80.pdf; http://www.cambridge.org/fr/knowledge/isbn/item5758776/?site_locale=fr_FR; https://dx.doi.org/10.4230/LIPIcs.ICDT.2023; https://dx.doi.org/10.1016/j.artint.2011.03.002; https://dx.doi.org/10.1145/1634.1636; https://dx.doi.org/10.24963/ijcai.2017/122; https://dx.doi.org/10.1613/jair.3873; https://dx.doi.org/10.1016/j.artint.2012.08.002; https://dx.doi.org/10.1145/800076.802488; https://dx.doi.org/10.1145/62212.62259; https://dx.doi.org/10.1016/0890-5401(90)90043-H; https://dx.doi.org/10.1016/S0012-365X(03)00303-0; https://dx.doi.org/10.1145/1376916.1376938; https://dx.doi.org/10.48550/arXiv.2209.02464; https://dx.doi.org/10.1145/275487.275503

Availability: https://doi.org/10.4230/lipics.icdt.2023.1810.4230/LIPIcs.ICDT.202310.1016/j.artint.2011.03.00210.1145/1634.163610.24963/ijcai.2017/12210.1613/jair.387310.1016/j.artint.2012.08.00210.1145/800076.80248810.1145/62212.6225910.1016/0890-5401(90)90043-H10.1016/S0012-365X(03)00303-010.1145/1376916.137693810.48550/arXiv.2209.0246410.1145/275487.275503

Authors: Gudmundsson, Joachim, Sha, Yuan

Subject Terms: Graph algorithms, Shortest Path, Data structures, Bounded treewidth, Theory of computation → Design and analysis of algorithms

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.ISAAC.2023

Availability: https://doi.org/10.4230/lipics.isaac.2023.3510.4230/LIPIcs.ISAAC.2023

Authors: Adrar, Nabil, Jégou, Philippe, Terrioux, Cyril

Contributors: COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), ANR-16-CE40-0028,DE-MO-GRAPH,Décomposition de Modèles Graphiques(2016)

Superior Title: ISSN: 0166-218X ; Discrete Applied Mathematics ; https://amu.hal.science/hal-04361509 ; Discrete Applied Mathematics, 2023, 329, pp.1-22. ⟨10.1016/j.dam.2022.12.025⟩.

Subject Terms: Partial hypergraph, Bounded treewidth, [INFO]Computer Science [cs]

Relation: hal-04361509; https://amu.hal.science/hal-04361509; https://amu.hal.science/hal-04361509/document; https://amu.hal.science/hal-04361509/file/DAM-5.pdf

Availability: https://doi.org/10.1016/j.dam.2022.12.025
https://amu.hal.science/hal-04361509
https://amu.hal.science/hal-04361509/document
https://amu.hal.science/hal-04361509/file/DAM-5.pdf

Authors: Fichte, Johannes K.^Aff10, Hecher, Markus^{Aff11, Aff12}, Thier, Patrick^Aff11, Woltran, Stefan^Aff11

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Komendantskaya, Ekaterina, editor^Aff8, Liu, Yanhong Annie, editor^Aff9

Superior Title: Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings. 12007:151-167

Authors: Fichte, Johannes K.^Aff10, Hecher, Markus^{Aff11, Aff12}, Zisser, Markus^Aff11

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Schiex, Thomas, editor^Aff8, de Givry, Simon, editor^Aff9

Superior Title: Principles and Practice of Constraint Programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings. 11802:491-509

Authors: Thomas Erlebach, Michael Hoffmann, Frank Kammer

Subject Terms: Uncategorized, Non-approximability, planar graphs, Bounded treewidth, Regularly present edges, Random edges, Distributed algorithm, Gossiping problem

Relation: 2381/13726186.v1; https://figshare.com/articles/conference_contribution/On_temporal_graph_exploration/13726186

Availability: https://figshare.com/articles/conference_contribution/On_temporal_graph_exploration/13726186

Authors: Di Giusto, Cinzia, Ferré, Davide, Laversa, Laetitia, Lozes, Etienne

Contributors: Constraints and Applications (C&A), Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Nice Côte d’Azur, CNRS, I3S, France

Superior Title: https://hal.science/hal-03823473 ; [Research Report] Université Nice Côte d’Azur, CNRS, I3S, France. 2022.

Subject Terms: Asynchronous Communication, Message-passing, Monadic Second order Logic, Bounded Model Checking, Bounded Treewidth, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2210.13062; hal-03823473; https://hal.science/hal-03823473; https://hal.science/hal-03823473v3/document; https://hal.science/hal-03823473v3/file/halbis.pdf; ARXIV: 2210.13062

Availability: https://hal.science/hal-03823473
https://hal.science/hal-03823473v3/document
https://hal.science/hal-03823473v3/file/halbis.pdf

Authors: Di Giusto, Cinzia, Ferré, Davide, Laversa, Laetitia, Lozes, Etienne

Contributors: Constraints and Applications (C&A), Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Nice Côte d’Azur, CNRS, I3S, France

Superior Title: https://hal.archives-ouvertes.fr/hal-03823473 ; [Research Report] Université Nice Côte d’Azur, CNRS, I3S, France. 2022.

Subject Terms: Asynchronous Communication, Message-passing, Monadic Second order Logic, Bounded Model Checking, Bounded Treewidth, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2210.13062; hal-03823473; https://hal.archives-ouvertes.fr/hal-03823473; https://hal.archives-ouvertes.fr/hal-03823473/document; https://hal.archives-ouvertes.fr/hal-03823473/file/Hal.pdf; ARXIV: 2210.13062

Availability: https://hal.archives-ouvertes.fr/hal-03823473
https://hal.archives-ouvertes.fr/hal-03823473/document
https://hal.archives-ouvertes.fr/hal-03823473/file/Hal.pdf

Authors: Gómez, Renzo^Aff1, Wakabayashi, Yoshiko

Superior Title: Journal of Combinatorial Optimization. 39(2):437-456

Authors: Li, Bi^Aff1, Zhang, Xin

Superior Title: Journal of Combinatorial Optimization. 39(1):156-169

Authors: Kociumaka, Tomasz^{Aff1, Aff2}, Pilipczuk, Marcin^Aff1

Superior Title: Algorithmica. 81(9):3655-3691

Authors: Narayanaswamy, N. S.^Aff15, Nasre, Meghana^Aff15, Vijayaragunathan, R.^Aff15

Contributors: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Fomin, Fedor V., editor^Aff13, Podolskii, Vladimir V., editor^Aff14

Superior Title: Computer Science – Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. 10846:269-281

Authors: Akhoondian Amiri, Saeed^Aff16, Foerster, Klaus-Tycho^Aff17, Schmid, Stefan^Aff17

Contributors: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Bender, Michael A., editor^Aff13, Farach-Colton, Martín, editor^Aff14, Mosteiro, Miguel A., editor^Aff15

Superior Title: LATIN 2018: Theoretical Informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. 10807:37-51

Authors: Böhm, Martin, Hoeksma, Ruben, Megow, Nicole, Nölke, Lukas, Simon, Bertrand

Subject Terms: k-hop Steiner tree, dynamic programming, bounded treewidth, Theory of computation → Graph algorithms analysis, Mathematics of computing → Combinatorial optimization

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.MFCS.2020; https://dx.doi.org/10.1007/978-3-319-21275-3_7

Availability: https://doi.org/10.4230/lipics.mfcs.2020.1810.4230/LIPIcs.MFCS.202010.1007/978-3-319-21275-3_7

Authors: Bojańczyk, Mikołaj, Schmude, Janusz

Subject Terms: equivalence for mso transductions, bounded treewidth, Hilbert basis theorem, Theory of computation → Formal languages and automata theory

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.MFCS.2020

Availability: https://doi.org/10.4230/lipics.mfcs.2020.1910.4230/LIPIcs.MFCS.2020

Authors: Boja?czyk, Miko?aj, Schmude, Janusz

Subject Terms: equivalence for mso transductions, bounded treewidth, Hilbert basis theorem, Data processing Computer science

File Description: application/pdf

Relation: urn:nbn:de:0030-drops-127529; https://drops.dagstuhl.de/opus/volltexte/2020/12752/

Availability: https://doi.org/10.4230/LIPIcs.MFCS.2020.19
https://nbn-resolving.org/urn:nbn:de:0030-drops-127529
https://drops.dagstuhl.de/opus/volltexte/2020/12752/

Authors: Hoeksma, Ruben, Megow, Nicole, Simon, Bertrand

Subject Terms: k-hop Steiner tree, dynamic programming, bounded treewidth, Data processing Computer science

File Description: application/pdf

Relation: urn:nbn:de:0030-drops-126870; https://drops.dagstuhl.de/opus/volltexte/2020/12687/

Availability: https://doi.org/10.4230/LIPIcs.MFCS.2020.18
https://nbn-resolving.org/urn:nbn:de:0030-drops-126870
https://drops.dagstuhl.de/opus/volltexte/2020/12687/

Authors: Wan, Peng-Fei^{Aff1, Aff2}, Chen, Xin-Zhuang^Aff1

Superior Title: Journal of the Operations Research Society of China. 7(2):385-394