Angeliki Koutsoukou-Argyraki
Orcid: 0000-0002-8886-5281Affiliations:
- University of Cambridge, Computer Laboratory, UK
- TU Darmstadt, Department of Mathematics, Germany (PhD 2017)
According to our database1,
Angeliki Koutsoukou-Argyraki
authored at least 21 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
1
2
6
2
2
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cl.cam.ac.uk
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.
J. Autom. Reason., 2023
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2022
Exp. Math., 2022
2021
On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy.
Proceedings of the Connecting with Computability, 2021
2020
2019
2018
New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups.
J. Log. Anal., 2018