Eleni Mandrali

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 4

Top Topics

Classical First Order Logic

Conditional Logic

Acyclic Database Schemes

Top Venues

Sci. Ann. Comput. Sci.

Acta Informatica

Publications

Eleni Mandrali
Describing weighted safety with weighted LTL over product omega-valuation monoids. Sci. Ann. Comput. Sci. 33 (2) (2023)
Eleni Mandrali
Describing weighted safety with weighted LTL over product ω-valuation monoids. CoRR (2023)
Eleni Mandrali
A Translation of Weighted LTL Formulas to Weighted B{\" u}chi Automata over {\(\omega\)}-valuation Monoids. Sci. Ann. Comput. Sci. 31 (2) (2021)
Eleni Mandrali
A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids. CoRR (2020)
Eleni Mandrali, George Rahonis
Weighted First-Order Logics over Semirings. Acta Cybern. 22 (2) (2015)
Eleni Mandrali, George Rahonis
On weighted first-order logics with discounting. Acta Informatica 51 (2) (2014)
Eleni Mandrali
Abstract of PhD Thesis. Bull. EATCS 112 (2014)
Eleni Mandrali, George Rahonis
Characterizations of Weighted First-Order Logics over Semirings. CAI (2013)
Eleni Mandrali
Weighted LTL with Discounting. CIAA (2012)
Eleni Mandrali, George Rahonis
Recognizable Tree Series with Discounting. Acta Cybern. 19 (2) (2009)