Characterizing co-NL by a group action, Mathematical Structures in Computer Science, vol.75, issue.04, 2012. ,
DOI : 10.1147/rd.105.0388
URL : https://hal.archives-ouvertes.fr/hal-01005705
Interaction Graphs, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, pp.1808-1837, 2012. ,
DOI : 10.1145/2933575.2934568
URL : https://hal.archives-ouvertes.fr/hal-01159218
Interaction graphs: Additives, Annals of Pure and Applied Logic, vol.167, issue.2 ,
DOI : 10.1016/j.apal.2015.10.001