KaSa: A Static Analyzer for Kappa. - Pierre Boutillier; Ferdinanda Camporesi; Jean Coquet; Jérôme Feret; Kim Quyên Lý; Nathalie Théret; Pierre Vignet (CMSB, 2018)

Discrete modeling for integration and analysis of large-scale signaling networks. - Pierre Vignet; Jean Coquet; Sébastien Auber; Matéo Boudet; Anne Siegel; Nathalie Théret (PLoS Comput. Biol., 2022)