Samuel Mimram

发表

David Baelde, Romain Beauxis, Samuel Mimram, 2011, SOFSEM.

Eric Goubault, Samuel Mimram, Christine Tasson, 2015, Appl. Categorical Struct..

Eric Goubault, Martin Raußen, Samuel Mimram, 2016, Cambridge International Law Journal.

Samuel Mimram, Cinzia Di Giusto, 2013, MFPS.

Eric Goubault, Samuel Mimram, Richard Bonichon, 2011, SAFECOMP.

Samuel Mimram, 2010, CiE.

Samuel Mimram, Alexandre Chapoutot, Olivier Bouissou, 2012, 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP).

Pierre-Louis Curien, Samuel Mimram, S. Mimram, 2017, Log. Methods Comput. Sci..

Samuel Mimram, Éric Goubault, Jérémy Ledent, 2018, OPODIS.

Eric Goubault, Samuel Mimram, É. Goubault, 2010, GETCO.

Eric Goubault, Samuel Mimram, Christine Tasson, 2015, DISC.

Samuel Mimram, S. Mimram, 2014, Log. Methods Comput. Sci..

Samuel Mimram, 2014, TERMGRAPH.

Eric Goubault, Martin Raußen, Samuel Mimram, 2012, ESOP.

Romain Beauxis, Samuel Mimram, 2011, CSL.

Samuel Mimram, Christine Tasson, Éric Goubault, 2018, Distributed Computing.

Samuel Mimram, Simon Forest, Simon Forest, 2018, FSCD.

Samuel Mimram, Philippe Malbos, 2016, FSCD.

Samuel Mimram, Florence Clerc, 2015, RTA.

Samuel Mimram, Eric Finster, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Samuel Mimram, Paul-André Melliès, 2007, CONCUR.

Eric Goubault, Samuel Mimram, Tobias Heindel, 2013, MFPS.

Samuel Mimram, Alexandre Chapoutot, Olivier Bouissou, 2013, ArXiv.

Samuel Mimram, Simon Henry, 2021, ArXiv.

Samuel Mimram, Simon Forest, Simon Forest, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Samuel Mimram, Éric Goubault, Jérémy Ledent, 2018, DISC.

Samuel Mimram, Philippe Malbos, Yves Guiraud, 2013, RTA.

Samuel Mimram, S. Mimram, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

David Baelde, Samuel Mimram, D. Baelde, 2008 .

Eric Goubault, Samuel Mimram, É. Goubault, 2019, Log. Methods Comput. Sci..

Samuel Mimram, Eric Finster, Thibaut Benjamin, 2021 .

Samuel Mimram, Aly-Bora Ulusoy, S. Mimram, 2021, MFPS.

Samuel Mimram, Eric Finster, Maxime Lucas, 2021, MFPS.

Pierre-Louis Curien, Samuel Mimram, C'edric Ho Thanh, 2019 .