Laure Daviaud

Available identifiers

zbMath Open daviaud.laureMaRDI QIDQ290903

List of research outcomes

Publication	Date of Publication	Type
Universality and forall-exactness of cost register automata with few registers	2024-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875379	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5002806	2021-07-28	Paper
When are emptiness and containment decidable for probabilistic automata?	2021-04-14	Paper
A pseudo-quasi-polynomial algorithm for mean-payoff parity games	2021-01-20	Paper
Regular and First-Order List Functions	2021-01-20	Paper
Containment and equivalence of weighted automata: probabilistic and max-plus cases	2020-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111446	2020-05-27	Paper
The Shortest Identities for Max-Plus Automata with Two States.	2020-05-26	Paper
Comparison of max-plus automata and joint spectral radius of tropical matrices	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5216303	2020-02-17	Paper
Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games	2019-10-15	Paper
Classes of languages generated by the Kleene star of a word	2018-09-27	Paper
A Generalised Twinning Property for Minimisation of Cost Register Automata	2018-04-23	Paper
Identities in upper triangular tropical matrix semigroups and the bicyclic monoid	2018-03-01	Paper
Varieties of Cost Functions	2018-01-24	Paper
Automata and program analysis	2017-11-22	Paper
Degree of Sequentiality of Weighted Automata	2017-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q2957917	2017-01-30	Paper
Approximate comparison of functions computed by distance automata	2016-06-03	Paper
Classes of Languages Generated by the Kleene Star of a Word	2015-09-16	Paper
Size-Change Abstraction and Max-Plus Automata	2014-10-14	Paper

Research outcomes over time

This page was built for person: Laure Daviaud