S. Pinchinat

发表

Sophie Pinchinat, François Schwarzentruber, Gaëtan Douéneau-Tabot, 2018, Advances in Modal Logic.
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, 2009, ICFEM.
Sophie Pinchinat, Bastien Maubert, Catalin Dima, 2014, ArXiv.
Sophie Pinchinat, Laura Bozzelli, S. Pinchinat, 2014, Theor. Comput. Sci..
Sophie Pinchinat, Bastien Maubert, Laura Bozzelli, 2013, SR.
Sophie Pinchinat, Laura Bozzelli, Hans van Ditmarsch, 2012, Theor. Comput. Sci..
Sophie Pinchinat, François Schwarzentruber, Sébastien Lê Cong, 2020, GraMSec@CSF.
Sophie Pinchinat, Hervé Marchand, Christophe Morvan, 2012, WODES.
H. Marchand, S. Pinchinat, T. Jéron, 2006, 2006 8th International Workshop on Discrete Event Systems.
Sophie Pinchinat, Stéphane Riedweg, S. Pinchinat, 2003, MFCS.
Sophie Pinchinat, Olga Kushnarenko, S. Pinchinat, 1998, MFCS Workshop on Concurrency.
Sophie Pinchinat, Dietmar Berwanger, S. Pinchinat, 2009, ICLA.
Sophie Pinchinat, S. Pinchinat, 1991, CSL.
Sophie Pinchinat, Mirabelle Nebut, S. Pinchinat, 2002, Electron. Notes Theor. Comput. Sci..
S. Pinchinat, François Schwarzentruber, Bastien Maubert, 2019 .
Sophie Pinchinat, Stéphane Riedweg, S. Pinchinat, 2004 .
S. Pinchinat, François Schwarzentruber, 2017 .
S. Pinchinat, François Schwarzentruber, S. Rubin, 2022, AAAI.
S. Pinchinat, J. V. Echag, uey Z. Habbasz, 1995 .
Sophie Pinchinat, Guillaume Feuillade, S. Pinchinat, 2007, Discret. Event Dyn. Syst..
S. Pinchinat, 2015 .
Sophie Pinchinat, Tim French, Laura Bozzelli, 2012, Inf. Comput..
Éric Rutten, Sophie Pinchinat, R. K. Shyamasundar, 1998, ASIAN.
Philippe Schnoebelen, Sophie Pinchinat, François Laroussinie, 1995, Theor. Comput. Sci..
Philippe Schnoebelen, Sophie Pinchinat, S. Pinchinat, 1990, ESOP.
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, 2012, Sci. Comput. Program..
Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet, 2009, LATA.
H. Marchand, S. Pinchinat, H. Marchand, 2000 .
Sophie Pinchinat, Mark Reynolds, Tim French, 2015, J. Appl. Non Class. Logics.
Sophie Pinchinat, Mark Reynolds, Tim French, 2013, ArXiv.
Sophie Pinchinat, Tim French, Mark Reynolds, 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.
Sophie Pinchinat, Bastien Maubert, Catalin Dima, 2018, ACM Trans. Comput. Log..
Sophie Pinchinat, Bastien Maubert, Catalin Dima, 2015, ICTCS.
Sophie Pinchinat, Bastien Maubert, Laura Bozzelli, 2015, Inf. Comput..
Sophie Pinchinat, Bastien Maubert, S. Pinchinat, 2014, IGTR.
Sophie Pinchinat, Bastien Maubert, S. Pinchinat, 2013, FSTTCS.
Sophie Pinchinat, Bastien Maubert, S. Pinchinat, 2012, ArXiv.
Sophie Pinchinat, Bastien Maubert, Laura Bozzelli, 2011, GandALF.
Sophie Pinchinat, Barbara Kordy, Wojciech Widel, 2019, ACM Comput. Surv..
Sophie Pinchinat, Silvia Stranieri, Aniello Murano, 2020, ECAI.
Sophie Pinchinat, Bastien Maubert, Franccois Schwarzentruber, 2019, IJCAI.
Sophie Pinchinat, Silvia Stranieri, François Schwarzentruber, 2020, IJCAI.
Sophie Pinchinat, François Schwarzentruber, Thomas Bolander, 2020, Artif. Intell..
Sophie Pinchinat, Tim French, Hans van Ditmarsch, 2010, Advances in Modal Logic.
Sophie Pinchinat, Bastien Maubert, Guillaume Aucher, 2014, SR.
Sophie Pinchinat, Olivier Serre, Nathanaël Fijalkow, 2013, FSTTCS.
S. Pinchinat, S. Pinchinat, S. Pinchinat, 2007 .
S. Pinchinat, B. Stengel, S. Pinchinat, 2012 .
Axel Legay, Sophie Pinchinat, Laura Bozzelli, 2010, Theor. Comput. Sci..
Éric Rutten, Sophie Pinchinat, R. K. Shyamasundar, 1995, ASIAN.
Benoît Caillaud, Laurence Dinh, Eric Badouel, 2007 .
Sophie Pinchinat, Bastien Maubert, Laura Bozzelli, 2014, FoSSaCS.
Sophie Pinchinat, Bastien Maubert, S. Pinchinat, 2009, RP.
Sophie Pinchinat, Laura Bozzelli, S. Pinchinat, 2012, Theor. Comput. Sci..
Sophie Pinchinat, François Schwarzentruber, Maxime Audinot, 2018, GraMSec@FLoC.
Sophie Pinchinat, Barbara Kordy, Maxime Audinot, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
S. Pinchinat, Bastien Maubert, S. Rubin, 2020, ACM Trans. Comput. Log..