Ελένη Μανδραλή

 

skyp

 

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης English version

Τμήμα Μαθηματικών

Τομέας Επιστήμης Υπολογιστών και Αριθμητικής Ανάλυσης

 

 

 

Ερευνητικά Ενδιαφέροντα: Weighted automata, formal power series, quantitative logics, weighted computations with discounting, model checking.

 

Δημοσιεύσεις:

         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:353360, 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:247259, 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) 435483.

 

 

΄Αλλες

         Eleni Mandrali, Weighted computability with discounting, Dissertation Thesis, Department of Mathematics, Aristotle University of Thessaloniki, Supervisor: Associate Prof. George Rahonis, Defended: 20/12/13

         Eleni Mandrali, Weighted tree automata with discounting, Master Thesis, Department of Mathematics, Aristotle University of Thessaloniki, 2008.

 

Βιογραφικό σημείωμα

 

 

Διδασκαλία

Θεωρητική Πληροφορική ΙΙ (εαρινό εξάμηνο 2016-2017)

 

Ώρες Φοιτητών

Δευτέρα 7μμ - 8μμ

 

Επικοινωνία:

Τμήμα Μαθηματικών

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης

54124 Θεσσαλονίκη, Ελλάδα

e-mail: elemandr@math.auth.gr

 

 

 

Links

 

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης

 

Τμήμα Μαθηματικών