Follow
Sreejith A V
Sreejith A V
IIT Goa
Verified email at iitgoa.ac.in - Homepage
Title
Cited by
Cited by
Year
Limited set quantifiers over countable linear orderings
T Colcombet, AV Sreejith
International Colloquium on Automata, Languages, and Programming, 146-158, 2015
92015
Two-variable logic over countable linear orderings
A Manuel, AV Sreejith
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
82016
Non-definability of languages by generalized first-order formulas over (N,+)
A Krebs, AV Sreejith
2012 27th Annual IEEE Symposium on Logic in Computer Science, 451-460, 2012
72012
LTL can be more succinct
K Lodaya, AV Sreejith
International Symposium on Automated Technology for Verification and …, 2010
62010
Regular quantifiers in logics
AV Sreejith
Ph. D. thesis, HBNI, 2013
52013
Undecidability of mso+" ultimately periodic
M Bojańczyk, L Daviaud, B Guillon, V Penelle, AV Sreejith
Logical Methods in Computer Science abs/1807.08506 ((to appear)), 2018
42018
Expressive completeness for LTL with modulo counting and group quantifiers
AV Sreejith
Electronic Notes in Theoretical Computer Science 278, 201-214, 2011
32011
First-order logic and its infinitary quantifier extensions over countable words
B Adsul, S Sarkar, AV Sreejith
Fundamentals of Computation Theory: 23rd International Symposium, FCT 2021 …, 2021
22021
Block products for algebras over countable words and applications to logic
B Adsul, S Sarkar, AV Sreejith
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
22019
Two-variable first order logic with counting quantifiers: Complexity results
K Lodaya, AV Sreejith
International Conference on Developments in Language Theory, 260-271, 2017
22017
On lower bounds for multiplicative circuits and linear circuits in noncommutative domains
V Arvind, S Raja, AV Sreejith
Computer Science-Theory and Applications: 9th International Computer Science …, 2014
22014
Weighted One-Deterministic-Counter Automata
P Mathew, V Penelle, P Saivasan, AV Sreejith
arXiv preprint arXiv:2301.13456, 2023
12023
Undecidability of a weak version of MSO+ U
M Bojańczyk, L Daviaud, B Guillon, V Penelle, AV Sreejith
Logical Methods in Computer Science 16, 2020
12020
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
B Adsul, S Sarkar, AV Sreejith
Journal of Computer and System Sciences 136, 302-326, 2023
2023
Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings
M Banerjee, AV Sreejith
Springer Nature, 2023
2023
One Deterministic-Counter Automata.
P Mathew, V Penelle, P Saivasan, AV Sreejith
arXiv preprint arXiv:2301.13456, 2023
2023
Implementation aspects of SIR, SAIR models and of Levitt measure on COVID-19 in India
VK Rai, AV Sreejith, S Biswas
Indian Institute of Technology Goa, 2021
2021
Data Driven Predictive Modeling of Infectious Disease Spread using the SIR Model
S Biswas, AV Sreejith, IIT Goa
2020
Undecidability of a weak version of MSO+ U
L Daviaud, B Guillon, V Penelle, AV Sreejith
Technischen Universitat Braunschweig, 2020
2020
Undecidability of a weak version of MSO+ U
V Penelle, M Bojanczyk, L Daviaud, B Guillon, AV Sreejith
Logical Methods in Computer Science, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20