Laure Daviaud

Laure Daviaud

City University London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 4564905
University of London
person_outline Laure Daviaud's MOST POPULAR ARTICLES
1-) Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity gamesW Czerwiński, L Daviaud, N Fijalkow, M Jurdziński, R Lazić, P ParysSODA 2019 (30th annual Symposium on Discrete Algorithms), 2019482019
2-) Regular and First Order List FunctionsM Bojanczyk, L Daviaud, KS NarayananLICS 2018 (Logic in Computer Science, 33rd ACM/IEEE Symposium), 2018312018
3-) A generalised twinning property for minimisation of cost register automataL Daviaud, PA Reynier, JM TalbotLICS 2016 (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in …, 2016322016
4-) Identities in Upper Triangular Tropical Matrix Semigroups and the Bicyclic MonoidL Daviaud, M Johnson, M KambitesJournal of Algebra 501, 503-525, 2018312018
5-) A pseudo-quasi-polynomial algorithm for solving mean-payoff parity gamesL Daviaud, M Jurdzinski, R LazicLICS 2018 (Logic in Computer Science, 33rd ACM/IEEE Symposium), 201830*2018