Elli Anastasiadi
Identifiers
- name variant Elli Anastasiadi 0.60 · backfill
Papers (2)
- The complexity of verifying the release-acquire semantics over register machines cs.PL · 2025 · author #2
- Parameterized Fine-Grained Reductions cs.CC · 2019 · author #1
Mentions
- 2506.08238 #2 · arxiv_oai · confidence 0.70 Elli Anastasiadi
Frequent Coauthors
- Antonis Antonopoulos 1 shared papers
- Aris Pagourtzis 1 shared papers
- L\'eo Exibard 1 shared papers
- Mohamed Faouzi Atig 1 shared papers
- Parosh Abdulla 1 shared papers
- Samuel Grahn 1 shared papers
- Stavros Petsalakis 1 shared papers