Recognizable Tree Series with Discounting. - Eleni Mandrali; George Rahonis (Acta Cybern., 2009)

Weighted LTL with Discounting. - Eleni Mandrali (CIAA, 2012)

Characterizations of Weighted First-Order Logics over Semirings. - Eleni Mandrali; George Rahonis (CAI, 2013)

Weighted computability with discounting - Eleni Mandrali (2013)

On weighted first-order logics with discounting. - Eleni Mandrali; George Rahonis (Acta Informatica, 2014)

Abstract of PhD Thesis. - Eleni Mandrali (Bull. EATCS, 2014)

Weighted First-Order Logics over Semirings. - Eleni Mandrali; George Rahonis (Acta Cybern., 2015)

A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids. - Eleni Mandrali (CoRR, 2020)

A Translation of Weighted LTL Formulas to Weighted B{ " u}chi Automata over { ( omega )}-valuation Monoids. - Eleni Mandrali (Sci. Ann. Comput. Sci., 2021)

Describing weighted safety with weighted LTL over product ω-valuation monoids. - Eleni Mandrali (CoRR, 2023)

Describing weighted safety with weighted LTL over product omega-valuation monoids. - Eleni Mandrali (Sci. Ann. Comput. Sci., 2023)