Grégoire Sutre

发表

Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, 2013, FoSSaCS.
Grégoire Sutre, Alexander Heußner, Tristan Le Gall, 2012, TACAS.
Hayssam Soueidan, Macha Nikolski, Grégoire Sutre, 2006 .
Grégoire Sutre, Jérôme Leroux, Vincent Penelle, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Grégoire Sutre, Alexander Heußner, Tristan Le Gall, 2012, FSTTCS.
Grégoire Sutre, Jérôme Leroux, Thomas Geffroy, 2016, RP.
Grégoire Sutre, Petr Jancar, Jérôme Leroux, 2019, Fundam. Informaticae.
Grégoire Sutre, Jérôme Leroux, Patrick Totzke, 2015, ICALP.
Alain Finkel, Grégoire Sutre, Franck Cassez, 1999, AMAST.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2005, ATVA.
Alain Finkel, Grégoire Sutre, A. Finkel, 2000, STACS.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2007, SAS.
Grégoire Sutre, Jérôme Leroux, Thomas Geffroy, 2017, SPIN.
Alain Finkel, Frédéric Herbreteau, Grégoire Sutre, 2002, LATIN.
Frédéric Herbreteau, Grégoire Sutre, The Quang Tran, 2007, TACAS.
Grégoire Sutre, Jérôme Leroux, Vincent Penelle, 2014, ATVA.
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre, 2003, Inf. Comput..
Anca Muscholl, Grégoire Sutre, Alexander Heußner, 2010, FoSSaCS.
Philippe Schnoebelen, Grégoire Sutre, M. Praveen, 2019, Log. Methods Comput. Sci..
Jan Reineke, Reinhard Wilhelm, Helmut Seidl, 2009, Efficient Algorithms.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2002, POPL '02.
Grégoire Sutre, Alexander Heußner, Tristan Le Gall, 2009, SPIN.
Anca Muscholl, Grégoire Sutre, Alexander Heußner, 2010, FoSSaCS.
Grégoire Sutre, Jérôme Leroux, Patrick Totzke, 2015, RP.
Grégoire Sutre, Vincent Penelle, Sylvain Salvati, 2018, FSTTCS.
Grégoire Sutre, M. Praveen, Jérôme Leroux, 2014, CSL-LICS.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, SPIN.
George C. Necula, Thomas A. Henzinger, Rupak Majumdar, 2002, CAV.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2007, FSTTCS.
Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre, 2014, CONCUR.
Grégoire Sutre, Petr Jancar, Jérôme Leroux, 2018, Petri Nets.
Grégoire Sutre, Jérôme Leroux, 2004, CONCUR.
Grégoire Sutre, Jérôme Leroux, Diego Figueira, 2017, ICALP.
Alain Finkel, Grégoire Sutre, Jérôme Leroux, 2018, FSTTCS.
Alain Finkel, Grégoire Sutre, A. Finkel, 2000, MFCS.
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre, 2000, CONCUR.
Grégoire Sutre, Nasser Saheb-Djahromi, Jean-Michel Couvreur, 2003, LPAR.