S. Conchon

发表

Stéphane Lescuyer, S. Conchon, 2008 .
Evelyne Contejean, Stéphane Lescuyer, S. Conchon, 2010 .
Guillaume Melquiond, Claude Marché, Sylvain Conchon, 2014 .
Jean-Christophe Filliâtre, Sylvain Conchon, J. Filliâtre, 2013 .
Sylvain Conchon, Fatiha Zaïdi, Michael Butler, 2007 .
Sylvain Conchon, Sava Krstic, S. Krstic, 2005, Inf. Comput..
Sylvain Conchon, Alain Mebsout, Evelyne Contejean, 2013 .
Sylvain Conchon, Fatiha Zaïdi, Michael Butler, 2015, Lecture Notes in Computer Science.
Sylvain Conchon, Jean-François Couchot, Malgorzata Biernacka, 2006 .
Sylvain Conchon, Alain Mebsout, S. Conchon, 2013 .
S. Conchon, Fatiha Zaïdi, David Declerck, 2020, Journal of Automated Reasoning.
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, 2011, TACAS.
Sylvain Conchon, Alain Mebsout, Mohamed Iguernelala, 2013, 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Sylvain Conchon, Fatiha Zaïdi, Alain Mebsout, 2015, FM.
Sylvain Conchon, Alain Mebsout, Mohamed Iguernelala, 2017, UITP.
Sylvain Conchon, Pierre Roux, Mohamed Iguernlala, 2018, TACAS.
Sylvain Conchon, Andrei Paskevich, Claire Dross, 2012, SMT@IJCAR.
Sylvain Conchon, Evelyne Contejean, François Bobot, 2008, SMT '08/BPR '08.
Sylvain Conchon, Andrei Paskevich, Claire Dross, 2016, Journal of Automated Reasoning.
Sylvain Conchon, Sava Krstic, S. Krstic, 2003, Theor. Comput. Sci..
Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi, 2019, FM Workshops.
S. Conchon, A. Mebsout, Ç. Bozman, 2021 .
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, 2011, Log. Methods Comput. Sci..
Sylvain Conchon, Mattias Roux, S. Conchon, 2019, ICFEM.
Sylvain Conchon, François Pottier, S. Conchon, 2000, ICFP '00.
François Bobot, Guillaume Melquiond, Sylvain Conchon, 2012, IJCAR.
A. Paskevich, Johannes Kanig, S. Conchon, 2012, SMT@IJCAR.
Jean-Christophe Filliâtre, Sylvain Conchon, J. Filliâtre, 2007, ML '07.
Julien Signoles, Jean-Christophe Filliâtre, Sylvain Conchon, 2007, Trends in Functional Programming.
Sylvain Conchon, Fatiha Zaïdi, David Declerck, 2018, IMPEX/FM&MDD.
Sylvain Conchon, Aina Niemetz, Matthias Heizmann, 2019, J. Satisf. Boolean Model. Comput..
Sylvain Conchon, Sava Krstic, S. Krstic, 2005, Inf. Comput..
Sylvain Conchon, François Pottier, S. Conchon, 2001, ESOP.
Sylvain Conchon, Fabrice Le Fessant, S. Conchon, 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.
Sylvain Conchon, Fatiha Zaïdi, David Declerck, 2020, Journal of Automated Reasoning.
Sylvain Conchon, Fatiha Zaïdi, David Declerck, 2018, IJCAR.