Ελένη Μανδραλή
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης English version
Τμήμα Μαθηματικών
Τομέας Επιστήμης Υπολογιστών και Αριθμητικής Ανάλυσης
Ερευνητικά Ενδιαφέροντα: Weighted automata, formal power series, quantitative logics, quantitative verification
Δημοσιεύσεις
· 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)
Επικοινωνία:
Τμήμα Μαθηματικών
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
54124 Θεσσαλονίκη, Ελλάδα
e-mail: elemandr@math.auth.gr