Paulina Paraponiari

Contact Info

Department of Mathematics
Aristotle University of Thessaloniki
GR-54124 Thessaloniki, Greece
e-mail address: parapavl@math.auth.gr

Education

• PhD Candidate in Mathematics, Department of Mathematics, Aristotle University of Thessaloniki, Greece (2017- ), Advisor: George Rahonis
• Master Degree in Theoretical Computer Science and Systems & Control Theory, Department of Mathematics, Aristotle University of Thessaloniki.
• B.Sc. in Mathematics, Department of Mathematics Aristotle University of Thessaloniki, Greece

Research Interests
Weighted Logics, Weighted Automata, Software Architectures, Formal Methods, Component-based Systems, Rewriting Systems

Publications
1. P. Paraponiari, G. Rahonis, (2017). On weighted configuration logics,in: Proceedings of FACS 2017, LNCS 10487, pp.98–116. doi:10.1007/978-3-319-68034-7_6 

2. P. Paraponiari, G. Rahonis (2020). Weighted propositional configuration logics: A specification language for architectures with quantitative features. Information and Computation. doi:10.1016/j.ic.2020.104647. Full version available on arXiv

3. Karyoti V., Paraponiari P. (2020) Weighted PCL over Product Valuation Monoids. In: Bliudze S., Bocchi L. (eds) Coordination Models and Languages. COORDINATION 2020. Lecture Notes in Computer Science, vol 12134. Springer.  doi:10.1007/978-3-030-50029-0_19