Christophe Ringeissen

发表

Cesare Tinelli, Christophe Ringeissen, 2003, Theor. Comput. Sci..
Christophe Ringeissen, Pascal Fontaine, Silvio Ranise, 2006, ICTAC.
Paliath Narendran, Christophe Ringeissen, Deepak Kapur, 2014 .
Christophe Ringeissen, Carlos Castro, Eric Monfroy, 2003, CSCLP.
Christophe Ringeissen, Serdar Erbatur, Andrew M. Marshall, 2017 .
Christophe Ringeissen, Pascal Fontaine, Paula Chocron, 2014, IJCAR.
Christophe Ringeissen, Eric Monfroy, Olivier Perrin, 2008 .
Christophe Ringeissen, Eric Monfroy, Oliver Perri, 2008, Rev. Avances en Sistemas Informática.
Christophe Ringeissen, Pascal Fontaine, Paula Chocron, 2015, FroCos.
Christophe Ringeissen, Eric Domenjoud, Francis Klay, 1994, CADE.
Christophe Ringeissen, Pierre-Etienne Moreau, Mark van den Brand, 2002, LDTA@ETAPS.
Hélène Kirchner, Christophe Ringeissen, 1998 .
Hélène Kirchner, Christophe Ringeissen, 2002, Lecture Notes in Computer Science.
Michaël Rusinowitch, Christophe Ringeissen, Enrica Nicolini, 2009, TACAS.
Claude Kirchner, Hélène Kirchner, Christophe Ringeissen, 2001, Int. J. Found. Comput. Sci..
Christophe Ringeissen, Pierre-Etienne Moreau, Marian Vittek, 2003, CC.
Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2007, FroCoS.
Laurent Vigneron, Christophe Ringeissen, Eric Monfroy, 2010 .
Paliath Narendran, Christophe Ringeissen, Deepak Kapur, 2014, FoSSaCS.
Christophe Ringeissen, Serdar Erbatur, Andrew M. Marshall, 2018 .
Paliath Narendran, Christophe Ringeissen, Deepak Kapur, 2013, CADE.
Hélène Kirchner, Christophe Ringeissen, H. Kirchner, 1994, ICLP.
Anderson Santana de Oliveira, Christophe Ringeissen, Anamaria Martins Moreira, 2003, Electron. Notes Theor. Comput. Sci..
Paliath Narendran, Christophe Ringeissen, Deepak Kapur, 2015, FroCos.
Christophe Ringeissen, Serdar Erbatur, Andrew M. Marshall, 2017, CADE.
Michaël Rusinowitch, Christophe Ringeissen, Enrica Nicolini, 2010, Fundam. Informaticae.
Michaël Rusinowitch, Christophe Ringeissen, Enrica Nicolini, 2009, CADE.
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2012, WRLA.
Christophe Ringeissen, Pascal Fontaine, Paula Chocron, 2019, Journal of Automated Reasoning.
Christophe Ringeissen, Pierre-Etienne Moreau, Mark van den Brand, 2002 .
Christophe Ringeissen, Mark van den Brand, 2000, WRLA.
Nawal Guermouche, Christophe Ringeissen, Olivier Perrin, 2008, Electron. Notes Theor. Comput. Sci..
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2015, Sci. Comput. Program..
Christophe Ringeissen, Raphaël Berthon, 2016, SMT@IJCAR.
Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2010, J. Symb. Comput..
Christophe Ringeissen, Eric Monfroy, Olivier Perrin, 2008, OTM Conferences.
Christophe Ringeissen, Anamaria Martins Moreira, David Déharbe, 2004, J. Log. Algebraic Methods Program..
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2013, RTA.
Salma Jamoussi, Christophe Ringeissen, Pierre-Etienne Moreau, 1998, WRLA.
Christophe Ringeissen, Eric Monfroy, C. Ringeissen, 1999, Fundam. Informaticae.
Christophe Ringeissen, Pascal Fontaine, Renate A. Schmidt, 2013, Lecture Notes in Computer Science.
Slim Abdennadher, Christophe Ringeissen, 2005, Electron. Notes Theor. Comput. Sci..
Paliath Narendran, Christophe Ringeissen, Deepak Kapur, 2013, UNIF@RTA/TLCA.
Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2006, LPAR.
Christophe Ringeissen, Pierre-Etienne Moreau, Marian Vittek, 2001, Electron. Notes Theor. Comput. Sci..
Christophe Ringeissen, Eric Monfroy, 1996 .
Hélène Kirchner, Christophe Ringeissen, 1994, J. Symb. Comput..
Christophe Ringeissen, C. Ringeissen, 1996, FroCoS.
Claude Kirchner, Christophe Ringeissen, C. Kirchner, 1997, ALP/HOA.
Claude Kirchner, Christophe Ringeissen, C. Kirchner, 1998, Fundam. Informaticae.
Maria Paola Bonacina, Cesare Tinelli, Christophe Ringeissen, 2019, Description Logic, Theory Combination, and All That.
Christophe Ringeissen, C. Ringeissen, 2019, Description Logic, Theory Combination, and All That.
Christophe Ringeissen, C. Ringeissen, 1994, STACS.
Nawal Guermouche, Christophe Ringeissen, Olivier Perrin, 2008, 2008 Sixth International Conference on Software Engineering Research, Management and Applications.
Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2005, ICTAC.
Michaël Rusinowitch, Christophe Ringeissen, Enrica Nicolini, 2009, FroCoS.
Christophe Ringeissen, Eric Monfroy, 1999, New Trends in Constraints.
Christophe Ringeissen, Valerio Senni, C. Ringeissen, 2011, FroCoS.
Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2004, ICTAC.
Christophe Ringeissen, Eric Monfroy, C. Ringeissen, 1998, AISC.
Christophe Ringeissen, Pascal Fontaine, Paula Chocron, 2015, CADE.
Claude Kirchner, Hélène Kirchner, Christophe Ringeissen, 1998, WRLA.
Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2011, Inf. Comput..
Christophe Ringeissen, Alessandro Armando, 2006, Inf. Comput..
Christophe Ringeissen, Clark Barrett, Yoni Zohar, 2020, IJCAR.
Calogero G. Zarba, Christophe Ringeissen, Silvio Ranise, 2005, FroCoS.
Christophe Ringeissen, Serdar Erbatur, Andrew M. Marshall, 2019, LATA.
Christophe Ringeissen, Serdar Erbatur, Andrew M. Marshall, 2020, Mathematical Structures in Computer Science.
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2015 .
Christophe Ringeissen, Anamaria Martins Moreira, David Déharbe, 2002, RTA.
Cesare Tinelli, Christophe Ringeissen, Clark Barrett, 2021, CADE.
Christophe Ringeissen, Pascal Fontaine, Yoni Zohar, 2021, IJCAI.
Christophe Ringeissen, Serdar Erbatur, Andrew M. Marshall, 2021, FroCoS.
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2012 .
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2013 .