A. Sreejith

Coupling threshold theory and satellite image derived channel width to estimate the formative discharge of Himalayan Foreland rivers

R. Sinha, Amit Kumar, S. Tandon, 2020 .

Block products for algebras over countable words and applications to logic

Bharat Adsul, A. V. Sreejith, Saptarshi Sarkar, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Two-Variable First Order Logic with Counting Quantifiers: Complexity Results

Kamal Lodaya, A. V. Sreejith, A. Sreejith, 2017, DLT.

Expressive Completeness for LTL With Modulo Counting and Group Quantifiers

A. V. Sreejith, A. Sreejith, 2011, M4M/LAMAS.

One Deterministic-Counter Automata

A. Sreejith, Prakash Saivasan, Prince Mathew, 2023, ArXiv.

First-Order logic and its Infinitary Quantifier Extensions over Countable Words

Bharat Adsul, A. V. Sreejith, Saptarshi Sarkar, 2021, FCT.

On Lower Bounds for Multiplicative Circuits and Linear Circuits in Noncommutative Domains

Vikraman Arvind, S. Raja, A. V. Sreejith, 2014, CSR.