Publikacje

Arka Ghosh

2023

• Arka Ghosh , Piotr Hofman , Sławomir Lasota , Orbit-finite linear programming, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023. Zobacz w PBN
• Michaël Cadilhac, Arka Ghosh , Guillermo A. Pérez, Ritam Raha, Parikh One-Counter Automata, 48TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, Bordoux, France, 28 sierpnia 2023 - 1 września 2023. Zobacz w PBN
• Shaull Almagor, Arka Ghosh , Tim Leys, Guillermo A. Pérez, The Geometry of Reachability in Continuous Vector Addition Systems with States, 48TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, Bordoux, France, 28 sierpnia 2023 - 1 września 2023. Zobacz w PBN

2022

• Arka Ghosh , Piotr Hofman , Sławomir Lasota , Solvability of orbit-finite systems of linear equations, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN