- 9
- 9
- 3
- 2
- 1
Dimitrios Thilikos
24
Documents
Présentation
Publications
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 13
- 5
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 23
- 9
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 1
- 1
- 14
- 10
- 6
- 2
|
Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph ClassesSODA 2023 - ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Jan 2023, Florence, Italy. pp.3684-3699, ⟨10.1137/1.9781611977554.ch141⟩
Communication dans un congrès
hal-04043007v1
|
Parameterized Complexity of Elimination Distance to First-Order Logic PropertiesLICS 2021 - 36th ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470540⟩
Communication dans un congrès
hal-04043100v1
|
|
|
Hitting topological minor models in planar graphs is fixed parameter tractableSODA 2020 - 31st Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2020, Salt Lake City, UT, United States. pp.931-950, ⟨10.1137/1.9781611975994.56⟩
Communication dans un congrès
hal-03003167v1
|
|
An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOLESA 2020 - 28th Annual European Symposium on Algorithms, Sep 2020, Pisa, Italy. pp.51:1-51:17, ⟨10.4230/LIPIcs.ESA.2020.51⟩
Communication dans un congrès
hal-03002709v1
|
|
Clustering to Given ConnectivitiesIPEC 2019 - 14th International Symposium on Parameterized and Exact Computation, Sep 2019, Munich, Germany. pp.18:1-18:17, ⟨10.4230/LIPIcs.IPEC.2019.18⟩
Communication dans un congrès
hal-03003256v1
|
|
Modification to Planarity is Fixed Parameter TractableSTACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany. pp.28:1--28:17, ⟨10.4230/LIPIcs.STACS.2019.28⟩
Communication dans un congrès
lirmm-02342768v1
|
|
Partial complementation of graphsSWAT: Scandinavian Workshops on Algorithm Theory, Jun 2018, Malmö, Sweden. pp.21:1--21:13, ⟨10.4230/LIPIcs.SWAT.2018.21⟩
Communication dans un congrès
lirmm-01890534v1
|
|
Structured Connectivity AugmentationMFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.29:1--29:13, ⟨10.4230/LIPIcs.MFCS.2017.29⟩
Communication dans un congrès
lirmm-01890542v1
|
|
Editing to a Planar Graph of Given DegreesCSR: Computer Science in Russia, Jul 2015, Listvyanka, Russia. pp.143-156, ⟨10.1007/978-3-319-20297-6_10⟩
Communication dans un congrès
lirmm-01225602v1
|
|
Variants of Plane Diameter CompletionIPEC 2015 - 10th International Symposium on Parameterized and Exact Computation, Sep 2015, Patras, Greece. pp.30-42, ⟨10.4230/LIPIcs.IPEC.2015.30⟩
Communication dans un congrès
lirmm-01225566v1
|
|
The Parameterized Complexity of Graph CyclabilityESA 2014 - 22nd European Symposium on Algorithms, Sep 2014, Wrocław, Poland. pp.492-504, ⟨10.1007/978-3-662-44777-2_41⟩
Communication dans un congrès
hal-01083993v1
|
|
Approximating Acyclicity Parameters of Sparse Hypergraphs26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.445-456
Communication dans un congrès
inria-00359709v1
|
|
Can Romeo and Juliet Meet? or Rendezvous Games with Adversaries on GraphsGraph-Theoretic Concepts in Computer Science, 12911, Springer International Publishing, pp.308-320, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-86838-3_24⟩
Chapitre d'ouvrage
hal-03390090v1
|