Publikationer pr. år
Publikationer pr. år
Personlig profil
Forskningsprofil
I am interested in formal verification, particularly about concurent and parallel programs. See my personal website for more info!
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Publikationer
-
Centralized vs Decentralized Monitors for Hyperproperties
Aceto, L., Achilleos, A., Anastasiadi, E., Francalanza, A., Gorla, D. & Wagemaker, J., sep. 2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 311).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
COMPLEXITY RESULTS FOR MODAL LOGIC WITH RECURSION VIA TRANSLATIONS AND TABLEAUX
Aceto, L., Achilleos, A., Anastasiadi, E., Francalanza, A. & Ngólfsdóttir, A., 2024, I: Logical Methods in Computer Science. 20, 3, s. 14:1-14:53Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information
Mages, T., Anastasiadi, E. & Rohner, C., maj 2024, I: Entropy. 26, 5, 424.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang5 Citationer (Scopus) -
Axiomatizing recursion-free, regular monitors
Aceto, L., Achilleos, A., Anastasiadi, E. & Ingolfsdottir, A., jun. 2022, I: Journal of Logical and Algebraic Methods in Programming. 127, 100778.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang2 Citationer (Scopus) -
Complexity through Translations for Modal Logic with Recursion
Aceto, L., Achilleos, A., Anastasiadi, E., Francalanza, A. & Ingolfsdottir, A., 20 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 370, s. 34-48 15 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgang1 Citationer (Scopus)