Personal information

Websites & social links

Personal webpage
Aalborg University profile page

Other IDs

Scopus Author ID: 57212145974
Scopus Author ID: 57212145974

Activities

Collapse all

Employment (3)

Aalborg University: Aalborg, DK

Employment
Source: check_circle
Aalborg University

Uppsala University: Uppsala, SE

2022-10-24 to present | Post-doc (Information Technology)
Employment
Source: Self-asserted source
Elli Anastasiadi

Haskolinn i Reykjavik: Reykjavik, IS

2019-03-01 to 2022-10-10 | PhD (Computer Science)
Employment
Source: Self-asserted source
Elli Anastasiadi

Education and qualifications (1)

National Technical University of Athens: Athens, Attica, GR

2013-10-01 to 2018-10-01 | Diploma in Applied Mathematics (Applied Mathematics)
Education
Source: Self-asserted source
Elli Anastasiadi

Funding (1)

untime and Equational Verification of Concurent Systems

2022-01 to 2023-01 | Grant
Reykjavík University (Reykjavik, IS)
URL: https://l0e42.github.io/resources/RANNIS.pdf
Source: Self-asserted source
Elli Anastasiadi

Works (8)

Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information

Entropy
2024-05-15 | Journal article
DOI: 10.3390/e26050424
Contributors: Tobias Mages; Elli Anastasiadi; Christian Rohner
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Monitoring Hyperproperties with Circuits

Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
2022 | Conference paper
DOI: 10.1007/978-3-031-08679-3\_1
Source: Self-asserted source
Elli Anastasiadi

Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction

2022 | Book chapter
DOI: 10.1007/978-3-031-15629-8_1
Contributors: Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir
Source: check_circle
Crossref

On Probabilistic Monitorability

2022 | Book chapter
DOI: 10.1007/978-3-031-22337-2_16
Contributors: Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen; Mathias Ruggaard Pedersen
Source: check_circle
Crossref

Axiomatizing recursion-free, regular monitors

Journal of Logical and Algebraic Methods in Programming
2022-06 | Journal article
DOI: 10.1016/j.jlamp.2022.100778
Contributors: Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Anna Ingolfsdottir
Source: check_circle
Crossref

In search of lost time: Axiomatising parallel composition in process algebras

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2021-06-29 | Conference paper
DOI: 10.1109/lics52264.2021.9470526
Source: Self-asserted source
Elli Anastasiadi

On the axiomatisability of priority III: Priority strikes again

Theoretical Computer Science
2020 | Journal article
DOI: 10.1016/j.tcs.2020.07.044
EID:

2-s2.0-85089253991

Part of ISBN:

03043975
Contributors: Aceto, L.; Anastasiadi, E.; Castiglioni, V.; Ingólfsdóttir, A.; Luttik, B.; Ruggaard Pedersen, M.
Source: Self-asserted source
Elli Anastasiadi via Scopus - Elsevier

On the axiomatizability of priority III: The return of sequential composition

CEUR Workshop Proceedings
2019 | Conference paper
EID:

2-s2.0-85076041895

Part of ISBN:

16130073
Contributors: Aceto, L.; Anastasiadi, E.; Castiglioni, V.; Ingólfsdóttir, A.; Pedersen, M.R.
Source: Self-asserted source
Elli Anastasiadi via Scopus - Elsevier

Peer review (1 review for 1 publication/grant)

Review activity for Studia logica. (1)
How many people are using ORCID?