Solvability of orbit-finite systems of linear equations. - Arka Ghosh 002; Piotr Hofman; Slawomir Lasota 001 (LICS, 2022)

Equivariant ideals of polynomials. - Arka Ghosh 002; Slawomir Lasota 001 (LICS, 2024)

The geometry of reachability in continuous vector addition systems with states. - Shaull Almagor; Arka Ghosh 002; Tim Leys; Guillermo A. Pérez 001 (Inf. Comput., 2025)

Parikh one-counter automata. - Michaël Cadilhac; Arka Ghosh 002; Guillermo A. Pérez 001; Ritam Raha (Inf. Comput., 2025)

Orbit-finite Linear Programming. - Arka Ghosh 002; Piotr Hofman; Slawomir Lasota 001 (J. ACM, 2025)