Giannos Stamoulis
Orcid: 0000-0002-4175-7793Affiliations:
- University of Warsaw, Poland
According to our database1,
Giannos Stamoulis authored at least 32 papers
between 2020 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2026
Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes.
CoRR, May, 2026
Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026
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
Parameterizing the quantification of CMSO: model checking on minor-closed graph classes.
Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, 2025
Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, 2025
Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024
2023
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
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023
Proceedings of the 34th International Symposium on Algorithms and Computation, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
2022
ACM Trans. Algorithms, 2022
2021
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2021
2020
Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the 28th Annual European Symposium on Algorithms, 2020