A. V. Sreejith
发表
Amaldev Manuel,
A. V. Sreejith,
2016,
MFCS.
A. V. Sreejith,
A. Sreejith,
2011,
M4M/LAMAS.
Andreas Krebs,
A. V. Sreejith,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Kamal Lodaya,
A. V. Sreejith,
2010,
ATVA.
Thomas Colcombet,
A. V. Sreejith,
2015,
ICALP.
Kamal Lodaya,
A. V. Sreejith,
A. Sreejith,
2017,
DLT.
Vincent Penelle,
Laure Daviaud,
Mikołaj Bojańczyk,
2020,
Log. Methods Comput. Sci..
A. V. Sreejith,
A. Baskar,
R. S. Thinniyam,
2017,
ArXiv.
Bharat Adsul,
A. V. Sreejith,
Saptarshi Sarkar,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Vikraman Arvind,
S. Raja,
A. V. Sreejith,
2014,
CSR.
Bharat Adsul,
A. V. Sreejith,
Saptarshi Sarkar,
2021,
FCT.