Ramanathan Thinniyam Srinivasan

Associate senior lecturer/Assistant Professor at Department of Information Technology; Division of Computer Systems

Telephone:: +46 18 471 63 39
E-mail:: ramanathan.s.thinniyam@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 337
751 05 UPPSALA

Download contact information for Ramanathan Thinniyam Srinivasan at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

Reachability in Continuous Pushdown VASS

Balasubramanian, A. R.; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg

Part of Proceedings of the ACM on Programming Languages, 2024
- DOI for Reachability in Continuous Pushdown VASS
- Download full text (pdf) of Reachability in Continuous Pushdown VASS

All publications

Articles in journal

Reachability in Continuous Pushdown VASS

Balasubramanian, A. R.; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg

Part of Proceedings of the ACM on Programming Languages, 2024
- DOI for Reachability in Continuous Pushdown VASS
- Download full text (pdf) of Reachability in Continuous Pushdown VASS