Arka Ghosh, Slawomir Lasota: Equivariant ideals of polynomials.
LICS 2024.
(paper)
(slides)
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez: The Geometry of Reachability in Continuous Vector Addition Systems with States.
MFCS 2023 (invited for Information and computation special issue).
(paper)
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha: Parikh One-Counter Automata.
MFCS 2023 (invited for Information and computation special issue) .
(paper)
(slides)
Arka Ghosh, Piotr Hofman, Slawomir Lasota: Orbit-finite Linear Programming.
LICS 2023 (distinguished paper).
(paper)
(slides)
(poster)
Arka Ghosh, Piotr Hofman, Slawomir Lasota: Solvability of orbit-finite systems of linear equations.
LICS 2022.
(paper)