Laure Daviaud

zbMath Opendaviaud.laureMaRDI QIDQ290903

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Universality and forall-exactness of cost register automata with few registers	2024-12-03	Paper
scientific article; zbMATH DE number 7649926 (Why is no real title available?)	2023-02-03	Paper
When is containment decidable for probabilistic automata?	2021-07-28	Paper
When are emptiness and containment decidable for probabilistic automata? Journal of Computer and System Sciences	2021-04-14	Paper
A pseudo-quasi-polynomial algorithm for mean-payoff parity games Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Regular and First-Order List Functions Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Containment and equivalence of weighted automata: probabilistic and max-plus cases	2020-07-27	Paper
Which classes of origin graphs are generated by transducers	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
scientific article; zbMATH DE number 7168148 (Why is no real title available?)	2020-02-17	Paper
Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms	2019-10-15	Paper
Classes of languages generated by the Kleene star of a word Information and Computation	2018-09-27	Paper
A generalised twinning property for minimisation of cost register automata Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Identities in upper triangular tropical matrix semigroups and the bicyclic monoid Journal of Algebra	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 Lecture Notes in Computer Science	2017-05-19	Paper
Approximate comparison of distance automata	2017-01-30	Paper
Approximate comparison of functions computed by distance automata Theory of Computing Systems	2016-06-03	Paper
Classes of languages generated by the Kleene star of a word Mathematical Foundations of Computer Science 2015	2015-09-16	Paper
Size-Change Abstraction and Max-Plus Automata Mathematical Foundations of Computer Science 2014	2014-10-14	Paper

Research outcomes over time

This page was built for person: Laure Daviaud