S. Tison
发表
Denis Debarbieux,
Yves Roos,
S. Tison,
2003
.
Joachim Niehren,
S. Tison,
Olivier Gauwin,
2009,
FCT.
S. Tison,
Olivier Gauwin,
2008
.
Sophie Tison,
Ralf Treinen,
Marc Tommasi,
2001,
Theor. Comput. Sci..
B. Groz,
Yves Roos,
S. Tison,
2009
.
Christoph Meinel,
Sophie Tison,
C. Meinel,
1999
.
Gilles Dowek,
Olivier Bournez,
Simon Perdrix,
2020,
A Guided Tour of Artificial Intelligence Research.
Sophie Tison,
Max Dauchet,
Pierre Lescanne,
1985,
LICS.
Sophie Tison,
S. Tison,
2002,
Lecture Notes in Computer Science.
Isabelle Tellier,
Joachim Niehren,
Sophie Tison,
2003
.
Sophie Tison,
Franck Seynhaeve,
Bruno Bogaert,
1999,
FoSSaCS.
Sophie Tison,
Bruno Bogaert,
S. Tison,
1992,
STACS.
Jean-Marc Talbot,
Sophie Tison,
Iovka Boneva,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Jean-Marc Talbot,
Sophie Tison,
Yves Roos,
2005,
LPAR.
Sophie Tison,
Rémi Gilleron,
Marc Tommasi,
1993,
Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.
Sophie Tison,
Rémi Gilleron,
Marc Tommasi,
1993,
STACS.
Sophie Tison,
Yves Roos,
Slawomir Staworko,
2014,
Inf. Comput..
Sophie Tison,
Max Dauchet,
Gérard Comyn,
1983,
FCT.
Jean-Marc Talbot,
Sophie Tison,
Philippe Devienne,
1998,
IJCSLP.
Sophie Tison,
Iovka Boneva,
Yves Roos,
2011,
ICDT '11.
Joachim Niehren,
Sophie Tison,
Olivier Gauwin,
2011,
Inf. Comput..
Sophie Tison,
Max Dauchet,
Jean-Luc Coquidé,
1989,
FCT.
Sophie Tison,
S. Tison,
1989,
RTA.
Sophie Tison,
Max Dauchet,
M. Dauchet,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Gilles Dowek,
Olivier Bournez,
Simon Perdrix,
2020,
A Guided Tour of Artificial Intelligence Research.
Sophie Tison,
Denis Debarbieux,
Yves Roos,
2007,
Theor. Comput. Sci..
Marie-Laure Mugnier,
Michel Leclère,
Sophie Tison,
2019,
IJCAI.
Yves Roos,
S. Tison,
Anne-Cécile Caron,
2014,
Inf. Comput..
Sophie Tison,
Yves Roos,
Slawomir Staworko,
2009,
DBPL.
Joachim Niehren,
Jean-Marc Talbot,
Sophie Tison,
2005
.
Jean-Marc Talbot,
Sophie Tison,
Philippe Devienne,
2004,
Constraints.
Joachim Niehren,
Jean-Marc Talbot,
Sophie Tison,
2007,
PODS.
Joachim Niehren,
Jean-Marc Talbot,
Sophie Tison,
2006,
PLAN-X.
Marie-Laure Mugnier,
Sophie Tison,
Federico Ulliana,
2017,
IJCAI.
Joachim Niehren,
Sophie Tison,
Olivier Gauwin,
2009,
LATA.
Jean-Marc Talbot,
Sophie Tison,
Emmanuel Filiot,
2008,
Int. J. Found. Comput. Sci..
Sophie Tison,
Emmanuel Filiot,
S. Tison,
2008,
IFIP TCS.
Sebastian Maneth,
Guillem Godoy,
Sophie Tison,
2008,
FoSSaCS.
Jean-Marc Talbot,
Sophie Tison,
Emmanuel Filiot,
2007,
CSL.
Guillem Godoy,
Sophie Tison,
S. Tison,
2007,
CADE.
Sophie Tison,
Denis Debarbieux,
Yves Roos,
2004,
MFCS.
Joachim Niehren,
Sophie Tison,
Olivier Gauwin,
2008,
PLAN-X.
Sophie Tison,
Denis Debarbieux,
Yves Roos,
2004
.