A. V. Sreejith

26 papers A* 3B 3C 1Misc 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Equivalence of Deterministic Weighted Real-Time One-Counter Automata.
ICLA
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2025 A* conf
Learning Deterministic One-Counter Automata in Polynomial Time.
LICS
Prince Mathew, Vincent Penelle, A. V. Sreejith
2025 J jnl
Learning Deterministic One-Counter Automata in Polynomial Time.
CoRR
Prince Mathew, Vincent Penelle, A. V. Sreejith
2025 — conf
Learning Real-Time One-Counter Automata Using Polynomially Many Queries.
TACAS (1)
Prince Mathew, Vincent Penelle, A. V. Sreejith
2025 J jnl
Regular expressions over countable words.
CoRR
Thomas Colcombet, A. V. Sreejith
2025 — conf
Scalable Learning of One-Counter Automata via State-Merging Algorithms.
FSTTCS
Shibashis Guha, Anirban Majumdar, Prince Mathew, A. V. Sreejith
2025 J jnl
Scalable Learning of One-Counter Automata via State-Merging Algorithms.
CoRR
Shibashis Guha, Anirban Majumdar, Prince Mathew, A. V. Sreejith
2024 J jnl
Equivalence of Deterministic Weighted Real-time One-Counter Automata.
CoRR
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2024 J jnl
Learning real-time one-counter automata using polynomially many queries.
CoRR
Prince Mathew, Vincent Penelle, A. V. Sreejith
2023 J jnl
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words.
J. Comput. Syst. Sci.
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
2023 — ed.
Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
ICLA
Mohua Banerjee, A. V. Sreejith
2023 J jnl
One Deterministic-Counter Automata.
CoRR
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2023 — conf
Weighted One-Deterministic-Counter Automata.
FSTTCS
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2021 B conf
First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words.
FCT
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
2021 J jnl
First-Order logic and its Infinitary Quantifier Extensions over Countable Words.
CoRR
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
2020 J jnl
Undecidability of a weak version of MSO+U.
Log. Methods Comput. Sci.
Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
2019 A* conf
Block products for algebras over countable words and applications to logic.
LICS
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
2018 J jnl
Undecidability of MSO+"ultimately periodic".
CoRR
Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
2017 C conf
Two-Variable First Order Logic with Counting Quantifiers: Complexity Results.
DLT
Kamal Lodaya, A. V. Sreejith
2016 B conf
Two-Variable Logic over Countable Linear Orderings.
MFCS
Amaldev Manuel, A. V. Sreejith
2015 — conf
Limited Set quantifiers over Countable Linear Orderings.
ICALP (2)
Thomas Colcombet, A. V. Sreejith
2014 Misc conf
On Lower Bounds for Multiplicative Circuits and Linear Circuits in Noncommutative Domains.
CSR
Vikraman Arvind, S. Raja, A. V. Sreejith
2012 A* conf
Non-definability of Languages by Generalized First-order Formulas over (N, +).
LICS
Andreas Krebs, A. V. Sreejith
2012 J jnl
Non-definability of languages by generalized first-order formulas over (N,+)
CoRR
Andreas Krebs, A. V. Sreejith
2011 — conf
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers.
M4M/LAMAS
A. V. Sreejith
2010 B conf
LTL Can Be More Succinct.
ATVA
Kamal Lodaya, A. V. Sreejith