1. A geometric stabilization of planar switched systems. Issue 2 (2020) Authors: Chenavier, Cyrille; Ushirobira, Rosane; Valmorbida, Giorgio Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 6446 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computation of Koszul homology and application to involutivity of partial differential systems. Issue 34 (2022) Authors: Chenavier, Cyrille; Cluzeau, Thomas; Quadrat, Alban Journal: IFAC-PapersOnLine Issue: Volume 55:Issue 34(2022) Page Start: 19 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Confluence of algebraic rewriting systems. (10th August 2022) Authors: Chenavier, Cyrille; Dupont, Benjamin; Malbos, Philippe Journal: Mathematical structures in computer science Issue: Volume 32:Number 7(2022) Page Start: 870 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems. Issue 4 (1st December 2021) Authors: Chenavier, Cyrille; Cordero, Christophe; Giraudo, Samuele Journal: Experimental mathematics Issue: Volume 30:Issue 4(2021) Page Start: 513 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Reduction operators and completion of rewriting systems. (January 2018) Authors: Chenavier, Cyrille Journal: Journal of symbolic computation Issue: Volume 84(2018) Page Start: 57 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗