Definability of Recursive Predicates in the Induced Subgraph Order. - Ramanathan S. Thinniyam (ICLA, 2017)

Defining Recursive Predicates in Graph Orders. - Ramanathan S. Thinniyam (Log. Methods Comput. Sci., 2018)

Regular Separability and Intersection Emptiness Are Independent Problems. - Ramanathan S. Thinniyam; Georg Zetzsche (FSTTCS, 2019)

The Complexity of Bounded Context Switching with Dynamic Thread Creation. - Pascal Baumann 001; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (ICALP, 2020)

Definability in first-order theories of graph orderings ⋆. - R. Ramanujam 001; Ramanathan S. Thinniyam (J. Log. Comput., 2020)

Context-bounded verification of liveness properties for multithreaded shared-memory programs. - Pascal Baumann 001; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (Proc. ACM Program. Lang., 2021)

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. - Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (Log. Methods Comput. Sci., 2022)

Context-bounded verification of thread pools. - Pascal Baumann 001; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (Proc. ACM Program. Lang., 2022)

Context-Bounded Analysis of Concurrent Programs (Invited Talk). - Pascal Baumann 001; Moses Ganardi; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (ICALP, 2023)

Checking Refinement of Asynchronous Programs Against Context-Free Specifications. - Pascal Baumann 001; Moses Ganardi; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (ICALP, 2023)

Existential Definability over the Subword Ordering. - Pascal Baumann 001; Moses Ganardi; Ramanathan S. Thinniyam; Georg Zetzsche (Log. Methods Comput. Sci., 2023)

Context-Bounded Verification of Context-Free Specifications. - Pascal Baumann 001; Moses Ganardi; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (Proc. ACM Program. Lang., 2023)

Reachability in Continuous Pushdown VASS. - A. R. Balasubramanian; Rupak Majumdar; Ramanathan S. Thinniyam; Georg Zetzsche (Proc. ACM Program. Lang., 2024)

Checking Consistency of Event-driven Traces. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; R. Govind; Samuel Grahn; Ramanathan S. Thinniyam (CoRR, 2025)