Solvability of orbit-finite systems of linear equations A Ghosh, P Hofman, S Lasota Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 3 | 2022 |
The geometry of reachability in continuous vector addition systems with states S Almagor, A Ghosh, T Leys, GA Pérez 48th International Symposium on Mathematical Foundations of Computer Science …, 2023 | 2 | 2023 |
Orbit-finite linear programming A Ghosh, P Hofman, S Lasota 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 1 | 2023 |
Parikh One-Counter Automata M Cadilhac, A Ghosh, GA Pérez, R Raha 48th International Symposium on Mathematical Foundations of Computer Science …, 2023 | 1 | 2023 |
Equivariant ideals of polynomials A Ghosh, S Lasota arXiv preprint arXiv:2402.17604, 2024 | | 2024 |