Giannos Stamoulis
Orcid: 0000-0002-4175-7793Affiliations:
- University of Warsaw, Poland
According to our database1,
Giannos Stamoulis
authored at least 28 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
SIAM J. Discret. Math., 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
ACM Trans. Algorithms, October, 2024
TheoretiCS, 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
ACM Trans. Algorithms, July, 2023
J. Comb. Theory B, July, 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
2022
ACM Trans. Comput. Theory, December, 2022
ACM Trans. Algorithms, 2022
2021
2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020