Laure Daviaud

Available identifiers

zbMath Open daviaud.laureMaRDI QIDQ290903

List of research outcomes

Publication	Date of Publication	Type
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
Regular and First-Order List Functions	2021-01-20	Paper
A pseudo-quasi-polynomial algorithm for mean-payoff parity games	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
https://portal.mardi4nfdi.de/entity/Q5111233	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5111263	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
https://portal.mardi4nfdi.de/entity/Q4601882	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Laure Daviaud