Ministry of Education
Vidvan Image

Dr Sreejith A V

vidwan id: 124952
Male

Associate Professor, School of Mathematics and Computer Science
Indian Institute of Technology Goa

Google Scholar Icon 36606889900 Google Scholar Icon 6LVNqAMAAAAJ

Expertise

  • Computer Science Theory and Methods

Publications

Total Articles 14
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 35
h-index 4

CrossRef

CrossRef Icon
Citations 17
h-index 2
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Theoretical computer science, Formal methods, Logic and Automata theory

Personal Details

  • Male
  • Associate Professor , Indian Institute of Technology Goa
  • F-6, New Academic Block A, IIT Goa, At GEC Campus, Farmagudi
PhD
Other Institute 2014
Associate Professor Oct 2017 – Present
Indian Institute of Technology Goa | School of Mathematics and Computer Science

Related Profiles

Experts (2488+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (51+)

View All
Ashish

Dr Ashish Bhateja

Associate Professor

Bidhan

Dr Bidhan Pramanick

Assistant Professor

Anandarao

Dr Anandarao Suvvari

Assistant Professor

Anirudha

Dr Anirudha Ambekar

Assistant Professor

Apeksha

Dr Apeksha Madhukar

Assistant Professor

Arindam

Dr Arindam Das

Associate Professor

Abhitosh

Dr Abhitosh Upadhyay

Assistant Professor

Kalpesh

Dr Kalpesh Jayantilal Haria

Assistant Professor

Clint

Dr Clint Pazhayidam George

Associate Professor

Kedar

Dr Kedar Joshi

Assistant Professor

Co-Authors (5)

Bharat

Dr Bharat Adsul

Indian Institute of Technology Bombay

Amit

Dr Amit Kumar

University of Minnesota

V

Prof V Arvind

The Institute of Mathematical Sciences (IMSc), Chennai

S

Dr S Raja

Indian Institute of Technology, Tirupati

Rajiv

Prof Rajiv Sinha

Indian Institute of Technology Kanpur

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Learning Real-Time One-Counter Automata Using Polynomially Many Queries

Open Access
Conference Paper
Year: 2025. Volume: 15696 LNCS , Pages: 276-294 .
Authors: Mathew P.;Penelle V.;Sreejith A.V.
DOI 10.1007/978-3-031-90643-5_14

Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words

Open Access
Article
Journal of Computer and System Sciences. Year: 2023. Volume: 136 , Pages: 302-326 .
Authors: Adsul B.;Sarkar S.;Sreejith A.V.
DOI 10.1016/j.jcss.2023.04.002

Weighted One-Deterministic-Counter Automata

Open Access
Conference Paper
Year: 2023. Volume: 284 .
Authors: Mathew P.;Penelle V.;Saivasan P.;Sreejith A.V.
DOI 10.4230/LIPIcs.FSTTCS.2023.39
1

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

Open Access
Article
Earth Surface Dynamics. Year: 2021. Volume: 9 , Issue: 1 , Pages: 47-70 .
Authors: Gaurav K.;Metivier F.;Sreejith A.V.;Sinha R.;Kumar A.;Kumar Tandon S.
DOI 10.5194/esurf-9-47-2021
5 6

First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words

Open Access
Conference Paper
Year: 2021. Volume: 12867 LNCS , Pages: 39-52 .
Authors: Adsul B.;Sarkar S.;Sreejith A.V.
DOI 10.1007/978-3-030-86593-1_3
1 1

Undecidability of a weak version of MSO+U

Open Access
Article
Logical Methods in Computer Science. Year: 2020. Volume: 16 , Issue: 1 .
Authors: Bojańczyk M.;Daviaud L.;Guillon B.;Penelle V.;Sreejith A.V.
DOI 10.23638/LMCS-16(1:12)2020
1

Block products for algebras over countable words and applications to logic

Open Access
Conference Paper
Year: 2019. Volume: 2019-June .
Authors: Adsul B.;Sarkar S.;Sreejith A.
DOI 10.1109/LICS.2019.8785669
1 2

Two-variable first order logic with counting quantifiers: Complexity results

Open Access
Article
Year: 2017. Volume: 10396 LNCS , Pages: 260-271 .
Authors: Lodaya K.;Sreejith A.
DOI 10.1007/978-3-319-62809-7_19
1 1