Eleni Mandrali
Aristotle University of Thessaloniki
Department of Mathematics
Section of Computer Science and Numerical Analysis
Research Interests: Weighted automata, quantitative logics, quantitative verification
Publications:
· Eleni Mandrali and George Rahonis, Recognizable tree series with discounting, Acta Cybernetica 19(2009) 411-439.
· Eleni Mandrali, Weighted LTL with discounting, in: Proceedings of CIAA 2012, Lecture Notes in Computer Science, 7381:353—360, 2012.
· Eleni Mandrali and George Rahonis, Characterizations of weighted first-order logics over semirings, in: Proceedings of CAI 2013, Lecture Notes in Computer Science, 8080:247—259, 2013.
· Eleni Mandrali and George Rahonis, On weighted first-order logics with discounting, Acta Informatica, 51(2014) 61--106.
· Eleni Mandrali and George Rahonis, Weighted first-order logics over semirings, Acta Cybernetica, 22(2015) 435—483.
·
Eleni
Mandrali, A translation of weighted LTL formulas to weighted Büchi
automata over ω-
valuation
monoids,
Scientific
Annals of Computer Science,
vol. 31 (2), 2021, pp. 223-292,
doi: 10.7561/SACS.2021.2.223.
· Eleni Mandrali, Describing weighted safety with weighted LTL over product ω-valuation monoids, submitted.
Other:
· Eleni Mandrali, “Weighted computability with discounting”, Dissertation Thesis, Department of Mathematics, Aristotle University of Thessaloniki, Supervisor: Prof. George Rahonis, Defended: 20/12/13
· Eleni Mandrali, Weighted tree automata with discounting, Master Thesis, Department of Mathematics, Aristotle University of Thessaloniki, 2008.
Διδασκαλία εαρινό εξάμηνο 2022 -2023 (Teaching Spring Semester 2022 -2023):
Θεωρητική Πληροφορική ΙΙ (Theoretical Computer Science II)
Αποσπάματα Βιβλίου Αυτόματα, Γλώσσες, Μηχανές, Σ. Μποζαπαλίδη
Γενικευμένα και ασύγχρονα αυτόματα
Θεωρία Ασαφών συνόλων ( Fuzzy Set Theory )
Σημειώσεις ομότιμου καθηγητή Σ. Μποζαπαλίδη
΄Ωρες γραφείου (Office Hours):
Τρίτη (Tuesday) 1.00 μ.μ. – 2.00 μ.μ. ( 21/2/23 – 28/2/23 : 10.00 π.μ. - 11.00 π.μ.)
Πέμπτη (Thursday) 11.00 π.μ.- 12.00 π.μ.
Γραφείο 3.9 (Office 3.9)
Νέο Κτήριο Μαθηματικού Τμήματος (New Building of the Department of Mathematics)
Contact :
Department of Mathematics
Aristotle University of Thessaloniki
54124 Thessaloniki, Greece
e-mail: elemandr@math.auth.gr