Giannos Stamoulis
Orcid: 0000-0002-4175-7793
According to our database1,
Giannos Stamoulis
authored at least 23 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Algorithms, October, 2024
TheoretiCS, 2024
Parameterizing the quantification of CMSO: model checking on minor-closed graph classes.
CoRR, 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
Proceedings of the 34th International Symposium on Algorithms and Computation, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 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