Eleni Mandrali

According to our database, Eleni Mandrali authored at least 11 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Describing weighted safety with weighted LTL over product omega-valuation monoids.

Eleni Mandrali

Sci. Ann. Comput. Sci., 2023

Describing weighted safety with weighted LTL over product ω-valuation monoids.

Eleni Mandrali

CoRR, 2023

2021

A Translation of Weighted LTL Formulas to Weighted B{\" u}chi Automata over {\(\omega\)}-valuation Monoids.

Eleni Mandrali

Sci. Ann. Comput. Sci., 2021

2020

A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids.

Eleni Mandrali

CoRR, 2020

2015

Weighted First-Order Logics over Semirings.

Eleni Mandrali, George Rahonis

Acta Cybern., 2015

2014

Abstract of PhD Thesis.

Eleni Mandrali

Bull. EATCS, 2014

On weighted first-order logics with discounting.

Eleni Mandrali, George Rahonis

Acta Informatica, 2014

2013

Weighted computability with discounting

Eleni Mandrali

PhD thesis, 2013

Characterizations of Weighted First-Order Logics over Semirings.

Eleni Mandrali, George Rahonis

Proceedings of the Algebraic Informatics - 5th International Conference, 2013

2012

Weighted LTL with Discounting.

Eleni Mandrali

Proceedings of the Implementation and Application of Automata, 2012

2009

Recognizable Tree Series with Discounting.

Eleni Mandrali, George Rahonis

Acta Cybern., 2009