Laure Daviaud

发表

Charles Paperman, Laure Daviaud, 2015, MFCS.

Marcin Jurdzinski, Laure Daviaud, Ranko Lazic, 2018, LICS.

Thomas Colcombet, Laure Daviaud, 2013, STACS.

Mikolaj Bojanczyk, Vincent Penelle, Laure Daviaud, 2017, ICALP.

Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois, 2017, FoSSaCS.

Jean-Marc Talbot, Pierre-Alain Reynier, Laure Daviaud, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Thomas Colcombet, Laure Daviaud, 2015, Theory of Computing Systems.

Pierre Guillon, Laure Daviaud, Glenn Merlet, 2016, MFCS.

Laure Daviaud, Marcin Jurdzi'nski, K. S. Thejaswini, 2020, ICALP.

Laure Daviaud, Mikolaj Bojanczyk, Krishna Shankara Narayanan, 2018, LICS.

Marcin Jurdzinski, Laure Daviaud, Karoliina Lehtinen, 2019, CONCUR.

Charles Paperman, Laure Daviaud, 2018, Inf. Comput..

Thomas Colcombet, Florian Zuleger, Laure Daviaud, 2014, MFCS.

Marianne Johnson, Laure Daviaud, 2017, MFCS.

Vincent Penelle, Laure Daviaud, Mikołaj Bojańczyk, 2020, Log. Methods Comput. Sci..

Marcin Jurdzinski, Laure Daviaud, Ranko Lazic, 2018, LICS 2018.

Denis Kuperberg, Jean-Éric Pin, Laure Daviaud, 2016, STACS.

James Worrell, Guillermo A. Pérez, Marcin Jurdzinski, 2018, ICALP.

Thomas Colcombet, Florian Zuleger, Laure Daviaud, 2017, FCT.

James Worrell, Guillermo A. Pérez, Marcin Jurdzinski, 2018, J. Comput. Syst. Sci..