É. Goubault

发表

É. Goubault, A. Panchea, S. Putot, 2017 .
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan, 2010, MFPS.
Eric Goubault, Xavier Allamigeon, Sylvie Putot, 2017, ACM Trans. Embed. Comput. Syst..
S. Gaubert, Xavier Allamigeon, É. Goubault, 2009 .
É. Goubault, P. Gaucher, 2001, math/0107060.
Eric Goubault, Patrick Cousot, Vladimiro Sassone, 2004 .
Eric Goubault, William M. McEneaney, Xavier Allamigeon, 2011 .
É. Goubault, 2007 .
É. Goubault, Ecole Normale, Sup Erieure, 2022 .
S. Gaubert, Xavier Allamigeon, É. Goubault, 2009 .
Eric Goubault, É. Goubault, 2003 .
É. Goubault, P. Malbos, Cameron Calk, 2018, Homology, Homotopy and Applications.
T. Heindel, É. Goubault, S. Mimram, 2012 .
Eric Goubault, Sylvie Putot, Michel Kieer, 2011 .
Eric Goubault, Philippe Malbos, Cameron Calk, 2021, RAMiCS.
Eric Goubault, Ulrich Fahrenberg, É. Goubault, 2004, Electron. Notes Theor. Comput. Sci..
Chris Hankin, Eric Goubault, Marko van Eekelen, 1993 .
É. Goubault, P. Malbos, G. Struth, 2020, 2006.16129.
É. Goubault, S. Mimram, C. Tasson, 2014, Applied Categorical Structures.
S. Gaubert, Xavier Allamigeon, É. Goubault, 2012, Discrete & Computational Geometry.
Eric Goubault, É. Goubault, 2001, GETCO.
Eric Goubault, Michel Kieffer, Sylvie Putot, 2013, Reliab. Comput..
Sergio Rajsbaum, Hans van Ditmarsch, Marijana Lazic, 2021, J. Log. Algebraic Methods Program..
Sergio Rajsbaum, Marijana Lazic, Eric Goubault, 2019, DaLí.
Eric Goubault, Sylvie Putot, Maria Luiza Costa Vianna, 2021, ArXiv.
Eric Goubault, François X. Sillion, Sylvie Putot, 2021, HSCC.
Jean Goubault-Larrecq, Eric Goubault, Assalé Adjé, 2013, VSTTE.
É. Goubault, P. Malbos, G. Struth, 2020, Log. Methods Comput. Sci..
Eric Goubault, Xavier Allamigeon, Stéphane Gaubert, 2008, SAS.
Sergio Rajsbaum, Hans van Ditmarsch, Eric Goubault, 2020, ArXiv.
Sriram Sankaranarayanan, Eric Goubault, Sylvie Putot, 2020, NeurIPS.
Sriram Sankaranarayanan, Eric Goubault, Sylvie Putot, 2016, TACAS.
Eric Goubault, Xavier Allamigeon, Stéphane Gaubert, 2009, Discrete & Computational Geometry.
Eric Goubault, Martin Raußen, É. Goubault, 2002, LATIN.
Eric Goubault, Xavier Allamigeon, Sylvie Putot, 2016, ACM Trans. Embed. Comput. Syst..
Eric Goubault, Xavier Allamigeon, Sylvie Putot, 2015, 2015 International Conference on Embedded Software (EMSOFT).
Adel Djoudi, Sébastien Bardin, Éric Goubault, 2016, FM.
Eric Goubault, Michael Farber, Aurélien Sagnier, 2018, J. Appl. Comput. Topol..
M. Farber, É. Goubault, Aurélien Sagnier, 2019, Journal of Applied and Computational Topology.
Jean Goubault-Larrecq, Eric Goubault, Jérémy Dubut, 2016, CSL.
Eric Goubault, Samuel Mimram, É. Goubault, 2019, Log. Methods Comput. Sci..
Jean Goubault-Larrecq, Eric Goubault, Jérémy Dubut, 2017, Appl. Categorical Struct..
Eric Goubault, Martin Raußen, Samuel Mimram, 2016, Cambridge International Law Journal.
Jean Goubault-Larrecq, Eric Goubault, Jérémy Dubut, 2015, ICALP.
Eric Goubault, Thomas P. Jensen, T. Jensen, 1992, CONCUR.
Alexandre M. Bayen, Eric Goubault, Olivier Pietquin, 2021, AAMAS.
Eric Goubault, Martin Raußen, Lisbeth Fajstrup, 2006, Theor. Comput. Sci..
Eric Goubault, É. Goubault, 1996, ESOP.
Jean Goubault-Larrecq, Éric Goubault, É. Goubault, 2003 .
Eric Goubault, Sylvie Putot, É. Goubault, 2011, VMCAI.
Eric Goubault, Eva Darulova, Sylvie Putot, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Eric Goubault, Sylvie Putot, É. Goubault, 2013, APLAS.
Eric Goubault, É. Goubault, Eric GOUBAULT, 1996 .
Eric Goubault, Martin Raußen, Lisbeth Fajstrup, 1996, CONCUR.
O. Bouissou, É. Goubault, S. Putot, 2012, Computing.
Eric Goubault, Martin Raußen, Samuel Mimram, 2012, ESOP.
Eric Goubault, Samuel Mimram, É. Goubault, 2010, GETCO.
Eric Goubault, Emmanuel Haucourt, É. Goubault, 2005, CONCUR.
Eric Goubault, É. Goubault, 2000, Mathematical Structures in Computer Science.
Eric Goubault, É. Goubault, 2001 .
É. Goubault, P. Malbos, Cameron Calk, 2023, 2305.03357.
Samuel Mimram, Christine Tasson, Éric Goubault, 2018, Distributed Computing.
Jérémy Dubut, É. Goubault, J. Goubault-Larrecq, 2016, Applied Categorical Structures.
Eric Goubault, Samuel Mimram, Christine Tasson, 2015, DISC.
Eric Goubault, É. Goubault, 2006, GETCO.
Eric Goubault, Sylvie Putot, É. Goubault, 2019, HSCC.
Eric Goubault, É. Goubault, 2000, GETCO.
Eric Goubault, Xavier Allamigeon, Stéphane Gaubert, 2010, STACS.
Eric Goubault, Laurent Fribourg, Sylvie Putot, 2015, RP.
Eric Goubault, Sylvie Putot, Khalil Ghorbal, 2009, CAV.
Eric Goubault, Assalé Adjé, Stéphane Gaubert, 2010, Log. Methods Comput. Sci..
Ufuk Topcu, Sylvie Putot, Abraham P. Vinod, 2020, 2021 American Control Conference (ACC).
Eric Goubault, Sylvie Putot, É. Goubault, 2009, Formal Methods Syst. Des..
S. Rajsbaum, É. Goubault, J. Ledent, 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
É. Goubault, J. Ledent, Roman Kniazev, 2023, ArXiv.
Sergio Rajsbaum, Marijana Lazic, Éric Goubault, 2019, DISC.
Eric Goubault, Régis Cridlig, É. Goubault, 1993, WSA.
Eric Goubault, Sylvie Putot, Lorenz Sahlmann, 2018, CAV.
Sriram Sankaranarayanan, Eric Goubault, Sylvie Putot, 2021, SAS.
Eric Goubault, Tristan Le Gall, Sylvie Putot, 2012, NSAD@SAS.
Eric Goubault, Sylvie Putot, Franck Védrine, 2012, SAS.
Abraham P. Vinod, U. Topcu, É. Goubault, 2020, IEEE Transactions on Automatic Control.
Eric Goubault, Helmut Seidl, Assalé Adjé, 2012, J. Symb. Comput..
É. Goubault, P. Gaucher, 2001, math/0107060.
Eric Goubault, Philippe Baufreton, Sylvie Putot, 2007, FMICS.
Eric Goubault, Alexandru Costan, Matthieu Martel, 2005, CAV.
Maria Luiza Costa Vianna, É. Goubault, S. Putot, 2023, arXiv.org.
Eric Goubault, Samuel Mimram, Christine Tasson, 2015, Appl. Categorical Struct..
Eric Goubault, Matthieu Martel, Sylvie Putot, 2003, Numerical Software with Result Verification.
Maria Luiza Costa Vianna, L. Jaulin, É. Goubault, 2022, OCEANS 2022, Hampton Roads.
Eric Goubault, Patrick Cousot, Antoine Miné, 2009 .