Ministry of Education
Vidvan Image

Dr Bharat Adsul

vidwan id: 155609
Male

Associate Professor, Department of Computer Science and Engineering
Indian Institute of Technology Bombay

Google Scholar Icon 22333648900

Expertise

  • Computer Science Artificial Intelligence

Publications

Total Articles 24
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 147
h-index 6

CrossRef

CrossRef Icon
Citations 73
h-index 5
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

Formal methods in Concurrency, Logics and Games, Geometric Complexity Theory

Personal Details

  • Male
  • Associate Professor , Indian Institute of Technology Bombay
  • Indian Institute of Technology Bombay, Powai
No Data Found

There is currently nothing to display here.

Associate Professor Jun 2007 – Present
Indian Institute of Technology Bombay | Department of Computer Science and Engineering

Related Profiles

Experts (12262+)

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 (592+)

View All
Bharath

Dr Bharath Shekar

Assistant Professor

Sibi Raj B

Dr Sibi Raj B Pillai

Assistant Professor

Vivek Shripad

Dr Vivek Shripad Borkar

Professor

Bhaskaran

Dr Bhaskaran Raman

Professor

BELLIE

Prof BELLIE Siva Kumar

Professor

Bakul

Dr Bakul Rao

Associate Professor

Balasubramaniam

Dr Balasubramaniam Kavaipatti

Assistant Professor

Petety V

Prof Petety V Balaji

Professor

Avishek

Dr Avishek Ranjan

Assistant Professor

Avradeep

Dr Avradeep Pal

Assistant Professor

Co-Authors (5)

Jinesh

Dr Jinesh Machchhar

Indian Institute of Technology Mandi

Sobhan

Prof Sobhan Babu

Indian Institute of Technology Hyderabad

Milind

Dr Milind Sohoni

Indian Institute of Technology Bombay

Sreejith

Dr Sreejith A V

Indian Institute of Technology Goa

Supratik

Dr Supratik Chakraborty

Indian Institute of Technology Bombay

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

An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications

Open Access
Conference Paper
Year: 2024.
Authors: Adsul B.;Gastin P.;Kulkarni S.;Weil P.
DOI 10.1145/3661814.3662110
1

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

ASYNCHRONOUS WREATH PRODUCT AND CASCADE DECOMPOSITIONS FOR CONCURRENT BEHAVIOURS

Open Access
Article
Logical Methods in Computer Science. Year: 2022. Volume: 18 , Issue: 2 , Pages: 22-44 .
Authors: Adsul B.;Gastin P.;Sarkar S.;Weil P.
DOI 10.46298/LMCS-18(2:22)2022
2

Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages

Open Access
Conference Paper
Year: 2022. Volume: 243 .
Authors: Adsul B.;Gastin P.;Sarkar S.;Weil P.
DOI 10.4230/LIPIcs.CONCUR.2022.28
1

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

Fast algorithms for rank-1 bimatrix games

Open Access
Article
Year: 2021. Volume: 69 , Issue: 2 , Pages: 613-631 .
Authors: Adsul B.;Garg J.;Mehta R.;Sohoni M.;Von Stengel B.
DOI 10.1287/OPRE.2020.1981
6

Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces

Open Access
Conference Paper
Year: 2020. Volume: 171 , Pages: 191-1917 .
Authors: Adsul B.;Gastin P.;Sarkar S.;Weil P.
DOI 10.4230/LIPIcs.CONCUR.2020.19
4

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