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 20 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
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
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