G. Sutre

发表

Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2002, POPL '02.
Dídac Busquets, Miguel A. Salido, Federico Barber, 2002, POPL '02.
Grégoire Sutre, Jérôme Leroux, Patrick Totzke, 2015, ICALP.
Philippe Schnoebelen, Grégoire Sutre, M. Praveen, 2019, Log. Methods Comput. Sci..
Jan Reineke, Reinhard Wilhelm, Helmut Seidl, 2009, Efficient Algorithms.
George C. Necula, Thomas A. Henzinger, Rupak Majumdar, 2002, CAV.
Alain Finkel, Frédéric Herbreteau, Grégoire Sutre, 2002, LATIN.
Alain Finkel, Grégoire Sutre, A. Finkel, 2000, STACS.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2007, FSTTCS.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2007, SAS.
Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre, 2014, CONCUR.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, SPIN.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2005, ATVA.
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, Thomas Geffroy, 2017, SPIN.
Alain Finkel, Grégoire Sutre, A. Finkel, 2000, MFCS.
Grégoire Sutre, Nasser Saheb-Djahromi, Jean-Michel Couvreur, 2003, LPAR.
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre, 2003, Inf. Comput..
Grégoire Sutre, Vincent Penelle, Sylvain Salvati, 2018, FSTTCS.
Alain Finkel, Grégoire Sutre, Franck Cassez, 1999, AMAST.
Grégoire Sutre, M. Praveen, Jérôme Leroux, 2014, CSL-LICS.