Christine Tasson

发表

Eric Goubault, Samuel Mimram, Christine Tasson, 2015, Appl. Categorical Struct..
Maurice Herlihy, Hammurabi Mendes, Christine Tasson, 2013, STOC.
Thomas Ehrhard, Christine Tasson, Richard Blute, 2010, ArXiv.
Thomas Ehrhard, Christine Tasson, T. Ehrhard, 2016, Log. Methods Comput. Sci..
Michele Pagani, Christine Tasson, Michele Pagani, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Maurice Herlihy, Hammurabi Mendes, Christine Tasson, 2013, ArXiv.
Thomas Ehrhard, Michele Pagani, Christine Tasson, 2015, J. ACM.
Simon Perdrix, Christine Tasson, Alejandro Díaz-Caro, 2014, Log. Methods Comput. Sci..
Christine Tasson, Marie Kerjean, C. Tasson, 2015, Mathematical Structures in Computer Science.
Eric Goubault, Samuel Mimram, Christine Tasson, 2015, DISC.
Christine Tasson, Lionel Vaux, L. Vaux, 2010, Mathematical Structures in Computer Science.
Christine Tasson, Jules Chouquet, C. Tasson, 2020, CSL.
Nicolas Tabareau, Paul-André Melliès, Christine Tasson, 2009, Mathematical Structures in Computer Science.
Samuel Mimram, Christine Tasson, Éric Goubault, 2018, Distributed Computing.
Thomas Ehrhard, Michele Pagani, Christine Tasson, 2014, POPL.
Christian Urban, Christine Tasson, Christian Urban, 2005, Journal of Automated Reasoning.
Thomas Ehrhard, Michele Pagani, Christine Tasson, 2017, FoSSaCS.
Christine Tasson, 2009, LICS 2009.
Thomas Ehrhard, Michele Pagani, Christine Tasson, 2017, Proc. ACM Program. Lang..
Thomas Ehrhard, Michele Pagani, Christine Tasson, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Thomas Ehrhard, Michele Pagani, Christine Tasson, 2018, POPL 2018.
Alexis Saurin, Christine Tasson, Rémi Nollet, 2018, CSL.
Simon Perdrix, Benoît Valiron, Christine Tasson, 2010 .