Giannos Stamoulis

Orcid: 0000-0002-4175-7793

Affiliations:
  • University of Warsaw, Poland


According to our database1, Giannos Stamoulis authored at least 32 papers between 2020 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes.
CoRR, May, 2026

Planar Disjoint Shortest Paths is Fixed-Parameter Tractable.
Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

Catching Rats in H-minor-free Graphs.
Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

A Logic-based Algorithmic Meta-Theorem for Treedepth: Single Exponential FPT Time and Polynomial Space.
Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

2025
Catching Rats in <i>H</i>-minor-free Graphs.
CoRR, June, 2025

Low rank MSO.
CoRR, February, 2025

Parameterizing the quantification of CMSO: model checking on minor-closed graph classes.
Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, 2025

Finding irrelevant vertices in linear time on bounded-genus graphs.
Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, 2025

Faster Diameter Computation in Graphs of Bounded Euler Genus.
Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

2024
A more accurate view of the Flat Wall Theorem.
J. Graph Theory, 2024

Branchwidth is (1,g)-self-dual.
Discret. Appl. Math., 2024

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Elementary first-order model checking for sparse graphs.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Minor Containment and Disjoint Paths in Almost-Linear Time.
Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

2023
Combing a Linkage in an Annulus.
SIAM J. Discret. Math., December, 2023

<i>k</i>-apices of minor-closed graph classes. I. Bounding the obstructions.
J. Comb. Theory B, July, 2023

Logiques et Algorithmes pour de mineurs de graphes. (Logics and Algorithms for Graph Minors).
PhD thesis, 2023

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes.
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Fixed-Parameter Tractability of Maximum Colored Path and Beyond.
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Shortest Cycles With Monotone Submodular Costs.
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Computing Paths of Large Rank in Planar Frameworks Deterministically.
Proceedings of the 34th International Symposium on Algorithms and Computation, 2023

Faster Parameterized Algorithms for Modification Problems to Minor-Closed Classes.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Compound Logics for Modification Problems.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022
<i>k</i>-apices of Minor-closed Graph Classes. II. Parameterized Algorithms.
ACM Trans. Algorithms, 2022

2021
Minor obstructions for apex-pseudoforests.
Discret. Math., 2021

k-apices of minor-closed graph classes. I. Bounding the obstructions.
CoRR, 2021

Block Elimination Distance.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2021

2020
Minor-obstructions for apex sub-unicyclic graphs.
Discret. Appl. Math., 2020

k-apices of minor-closed graph classes. II. Parameterized algorithms.
CoRR, 2020

Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable.
Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020

An FPT-Algorithm for Recognizing k-Apices of Minor-Closed Graph Classes.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL.
Proceedings of the 28th Annual European Symposium on Algorithms, 2020


  Loading...