Philippe Schnoebelen

发表

Philippe Schnoebelen, Pierre Chambart, 2010, ICALP.
Philippe Schnoebelen, Alain Finkel, Catherine Dufourd, 1998, ICALP.
Philippe Schnoebelen, Pierre Chambart, P. Schnoebelen, 2008, CONCUR.
Philippe Schnoebelen, Cyril Autant, 1992, Application and Theory of Petri Nets.
Philippe Schnoebelen, P. Schnoebelen, 1991, CONCUR.
Philippe Schnoebelen, Nicolas Markey, François Laroussinie, 2001, FoSSaCS.
Philippe Schnoebelen, Cyril Autant, Z. Belmesk, 1991, PARLE.
Philippe Schnoebelen, Joël Ouaknine, James Worrell, 2012, Formal Aspects of Computing.
Philippe Schnoebelen, Jérôme Leroux, P. Schnoebelen, 2014, RP.
Philippe Schnoebelen, Laure Petrucci, Pierre McKenzie, 2001 .
Philippe Schnoebelen, Pierre Chambart, P. Schnoebelen, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Philippe Schnoebelen, Sophie Pinchinat, François Laroussinie, 1995, Theor. Comput. Sci..
Philippe Schnoebelen, Pierre Chambart, P. Schnoebelen, 2007, FSTTCS.
Philippe Schnoebelen, P. Schnoebelen, 2004, Validation of Stochastic Systems.
Philippe Schnoebelen, P. Schnoebelen, 1988, Sci. Comput. Program..
Philippe Schnoebelen, P. Schnoebelen, 2002, Inf. Process. Lett..
Nathalie Bertrand, Philippe Schnoebelen, N. Bertrand, 2012, 1207.4577.
Philippe Schnoebelen, Prateek Karandikar, P. Schnoebelen, 2012, CSR.
Philippe Schnoebelen, P. Schnoebelen, 1987, PARLE.
Philippe Schnoebelen, Denis Lugiez, P. Schnoebelen, 1998, Theor. Comput. Sci..
Philippe Schnoebelen, Natalia Sidorova, N. Sidorova, 2000, ICATPN.
Philippe Schnoebelen, Benoît Masson, 2002, MFCS.
Philippe Schnoebelen, Nicolas Markey, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Philippe Schnoebelen, Prateek Karandikar, P. Schnoebelen, 2015, CSL.
Philippe Schnoebelen, Alain Finkel, Jérôme Leroux, 2005, ATVA.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001, Springer Berlin Heidelberg.
Philippe Schnoebelen, Jean-Jacques Lesage, Antoine Petit, 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
Philippe Schnoebelen, Sophie Pinchinat, François Laroussinie, 1993, AMAST.
Philippe Schnoebelen, Prateek Karandikar, 2014, Theory of Computing Systems.
Philippe Schnoebelen, Sylvain Schmitz, S. Schmitz, 2013, CONCUR.
Philippe Schnoebelen, Stéphane Demri, François Laroussinie, 2002, STACS.
Philippe Schnoebelen, Matthias Niewerth, Prateek Karandikar, 2014, Theor. Comput. Sci..
Philippe Schnoebelen, Olga Kouchnarenko, P. Schnoebelen, 1996, INFINITY.
Philippe Schnoebelen, Béatrice Bérard, Anne Labroue, 2000, FoSSaCS.
Philippe Schnoebelen, Christoph Haase, Sylvain Schmitz, 2013, CONCUR.
Philippe Schnoebelen, Pierre Chambart, 2008, FoSSaCS.
Philippe Schnoebelen, Petr Jancar, Prateek Karandikar, 2012, Log. Methods Comput. Sci..
Philippe Schnoebelen, Irina A. Lomazova, P. Schnoebelen, 1999, Ershov Memorial Conference.
Philippe Schnoebelen, Samuel Hornus, 2002, AMAST.
Philippe Schnoebelen, Denis Lugiez, P. Schnoebelen, 2000, Inf. Comput..
Philippe Schnoebelen, 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).
Philippe Schnoebelen, P. Schnoebelen, 2002, Advances in Modal Logic.
Philippe Schnoebelen, Nicolas Markey, François Laroussinie, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Philippe Schnoebelen, François Laroussinie, 1994, STACS.
Philippe Schnoebelen, François Laroussinie, F. Laroussinie, 2000, FoSSaCS.
Philippe Schnoebelen, Grégoire Sutre, M. Praveen, 2019, Log. Methods Comput. Sci..
Philippe Schnoebelen, Georg Zetzsche, Simon Halfon, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Philippe Schnoebelen, Sophie Pinchinat, S. Pinchinat, 1990, ESOP.
Philippe Schnoebelen, Nathalie Bertrand, N. Bertrand, 2006, EXPRESS.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen, 2006, Inf. Process. Lett..
Philippe Schnoebelen, Olga Kouchnarenko, P. Schnoebelen, 1997, PaCT.
Nathalie Bertrand, Philippe Schnoebelen, N. Bertrand, 2013, Formal Methods Syst. Des..
Philippe Schnoebelen, Prateek Karandikar, P. Schnoebelen, 2014, DCFS.
Philippe Schnoebelen, Nicolas Markey, 2006, Inf. Process. Lett..
Philippe Schnoebelen, Nicolas Markey, P. Schnoebelen, 2003, CONCUR.
Philippe Schnoebelen, Alain Finkel, A. Finkel, 1998, LATIN.
Philippe Schnoebelen, Nicolas Markey, François Laroussinie, 2002, FoSSaCS.
Philippe Schnoebelen, Prateek Karandikar, P. Schnoebelen, 2015, Log. Methods Comput. Sci..
Philippe Schnoebelen, Pierre Chambart, 2010, FoSSaCS.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Philippe Schnoebelen, Antonín Kucera, A. Kucera, 2006, CONCUR.
Philippe Schnoebelen, P. Schnoebelen, 2003, ICALP.
Philippe Schnoebelen, Petr Jancar, Prateek Karandikar, 2012, IFIP TCS.
Philippe Schnoebelen, Jean Goubault-Larrecq, K. Narayan Kumar, 2019, Trends in Logic.
Philippe Schnoebelen, Mathieu Turuani, François Laroussinie, 2000, Theor. Comput. Sci..
Philippe Schnoebelen, Nicolas Markey, François Laroussinie, 2004, CONCUR.
Philippe Schnoebelen, Serge Haddad, Sylvain Schmitz, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Philippe Schnoebelen, Manfred Kufleitner, Prateek Karandikar, 2015, Inf. Process. Lett..
Parosh Aziz Abdulla, Nathalie Bertrand, Philippe Schnoebelen, 2005, Inf. Comput..
Philippe Schnoebelen, Nicolas Markey, François Laroussinie, 2006, Theor. Comput. Sci..
Nathalie Bertrand, Philippe Schnoebelen, N. Bertrand, 2012, QAPL.
Nathalie Bertrand, Philippe Schnoebelen, N. Bertrand, 2003, FoSSaCS.
Philippe Schnoebelen, Nicolas Markey, P. Schnoebelen, 2004, FORMATS/FTRTFT.
Philippe Schnoebelen, Denis Lugiez, Hubert Comon-Lundh, 1991, J. Symb. Comput..
Philippe Schnoebelen, Stéphane Demri, François Laroussinie, 2006, J. Comput. Syst. Sci..
Philippe Schnoebelen, François Laroussinie, F. Laroussinie, 1995, Theor. Comput. Sci..
Philippe Schnoebelen, Nicolas Markey, 2004, Inf. Process. Lett..
Philippe Schnoebelen, P. Schnoebelen, 2010, RP.
Philippe Schnoebelen, Santiago Figueira, Sylvain Schmitz, 2010, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Philippe Schnoebelen, Ferroudja Cherief, 1991, Inf. Process. Lett..
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen, 2005, TOCL.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Philippe Schnoebelen, Alexander Moshe Rabinovich, 2006, Inf. Comput..
Philippe Schnoebelen, Antonín Kucera, 2006, Theor. Comput. Sci..
Philippe Schnoebelen, Catherine Dufourd, Petr Jancar, 1999, ICALP.
Philippe Schnoebelen, Pierre Chambart, P. Schnoebelen, 2010, Developments in Language Theory.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Philippe Schnoebelen, François Laroussinie, F. Laroussinie, 1997, EXPRESS.
Philippe Schnoebelen, Sylvain Schmitz, S. Schmitz, 2011, ICALP.
Philippe Schnoebelen, Mathieu Turuani, François Laroussinie, 2003, Theor. Comput. Sci..
Philippe Schnoebelen, Prateek Karandikar, 2015, FSTTCS.
Philippe Schnoebelen, Denis Lugiez, 2002, Theor. Comput. Sci..
Philippe Schnoebelen, Stéphane Demri, P. Schnoebelen, 1998, Inf. Comput..
Philippe Schnoebelen, Peter Schäfer, 1987, PARLE.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Philippe Schnoebelen, Denis Lugiez, 2000, ICALP.
Philippe Schnoebelen, Christoph Haase, Sylvain Schmitz, 2013, CONCUR.
Philippe Schnoebelen, Joël Ouaknine, James Worrell, 2008, STACS.
Philippe Schnoebelen, Simon Halfon, 2019, Inf. Process. Lett..
Philippe Schnoebelen, Alain Finkel, A. Finkel, 2001, Theor. Comput. Sci..
Philippe Schnoebelen, Sylvain Schmitz, Mirna Dvzamonja, 2017, Trends in Logic.
Philippe Schnoebelen, Sylvain Schmitz, Mirna Džamonja, 2017 .