Eleni Mandrali

From MaRDI portal
Person:2453982

Available identifiers

zbMath Open mandrali.eleniMaRDI QIDQ2453982

List of research outcomes





PublicationDate of PublicationType
Describing weighted safety with weighted LTL over product \(\omega\)-valuation monoids2024-08-15Paper
A translation of weighted LTL formulas to weighted Büchi automata over \(\omega\)-valuation monoids2022-07-19Paper
Weighted first-order logics over semirings2016-05-03Paper
On weighted first-order logics with discounting2014-06-12Paper
Characterizations of Weighted First-Order Logics over Semirings2013-09-20Paper
Weighted LTL with discounting2012-09-20Paper
https://portal.mardi4nfdi.de/entity/Q30771932011-02-22Paper

Research outcomes over time

This page was built for person: Eleni Mandrali

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2453982&oldid=6156914"
Powered by MediaWiki