Concepedia

Author

Laure Daviaud

Centre National de la Recherche ScientifiqueORCID

Also Known As

Daviaud, Laure, Laure Daviaud

36

Publications

174

Citations

7

H-Index

12

Concepts

All Affiliations

Centre National de la Recherche Scientifique
LD

About

Laure Daviaud is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal verification, and theory of computing.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

19

2

Computer Engineering

1

1

19

3

Computer Science

1

1

19

4

Combinatorial Optimization

1

1

19

5

Theory Of Computing

1

1

19

Laure Daviaud

×

3

Publications

59

Citations

3

H-Index

YearCitations

Identities in upper triangular tropical matrix semigroups and the bicyclic monoid

Laure Daviaud, Marianne Johnson, Mark Kambites

Journal of Algebra

2018

25

A Generalised Twinning Property for Minimisation of Cost Register Automata

Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot

2016

19

Which Classes of Origin Graphs Are Generated by Transducers

Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon,

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

2017

15

Page 1