Ramanathan S. Thinniyam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | Checking Consistency of Event-Driven Traces. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam |
| 2023 | ICALP | Context-Bounded Analysis of Concurrent Programs (Invited Talk). | Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2023 | ICALP | Checking Refinement of Asynchronous Programs Against Context-Free Specifications. | Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2022 | STACS | Existential Definability over the Subword Ordering. | Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2021 | TACAS | General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. | Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2020 | ICALP | The Complexity of Bounded Context Switching with Dynamic Thread Creation. | Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2016 | LFCS | Definability in First Order Theories of Graph Orderings. | Ramaswamy Ramanujam, Ramanathan S. Thinniyam |