Eleni Mandrali

 

skyp

ελληνικά

Aristotle University of Thessaloniki

Department of Mathematics

Section of Computer Science and Numerical Analysis

 

 

 

Research Interests: Weighted automata, formal power series, quantitative logics, weighted computations with discounting, model checking.

 

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: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.

 

 

Other:

         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.

 

Scientific CV

 

 

Teaching

Theoretical computer science II (Spring Semester 2016-2017)

 

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

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

 

 

 

Contact :

Department of Mathematics

Aristotle University of Thessaloniki

54124 Thessaloniki, Greece

e-mail: elemandr@math.auth.gr

 

 

 

Links

Aristotle University of Thessaloniki

Department of Mathematics