Ministry of Education
Vidvan Image

Dr Arpit Sharma

vidwan id: 554717
Male

Assistant Professor, Department of Electrical Engineering and Computer Science
Indian Institute of Science Education and Research(IISER), Bhopal

Orchid Icon 0009-0006-3923-2492 Google Scholar Icon 59096558700 Google Scholar Icon x-BJJWsAAAAJ

Expertise

  • Electrical and Electronic Engineering

Publications

Total Articles 30
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 141
h-index 7

CrossRef

CrossRef Icon
Citations 0
h-index 0
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, Model Checking, Software Engineering, Machine Learning, Cyber Physical Systems

Personal Details

  • Male
  • Assistant Professor , Indian Institute of Science Education and Research(IISER), Bhopal
  • Department of Electrical Engineering and Computer Science, Indian Institute of Science Education and Research, Bhopal
No Data Found

There is currently nothing to display here.

Assistant Professor Jul 2016 – Present
Indian Institute of Science Education and Research(IISER), Bhopal | Department of Electrical Engineering and Computer Science

Related Profiles

Experts (19623+)

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

View All
Arundhuti

Dr Arundhuti Ghatak

Associate Professor

Atul Kumar

Dr Atul Kumar

Assistant Professor

Adarsh Bhaskar

Dr Adarsh Bhaskar Vasista

Assistant Professor

Aasheesh

Dr Aasheesh Srivastava

Professor

Ashis

Dr Ashis Biswas

Associate Professor

Bharathwaj

Dr Bharathwaj Sathyamoorthy

Associate Professor

Bhaskar

Dr Bhaskar Jyoti Neog

Assistant Professor

Biswajit

Dr Biswajit Patra

Assistant Professor

Angana

Dr Angana Chaudhuri

Assistant Professor

Amit

Dr Amit Paul

Assistant Professor

Co-Authors (1)

Siba

Dr Siba Mishra

CV Raman College of Engineering (CVRCE), Bhubaneswar

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

Embeddings Between State and Action Based Probabilistic Logics

Open Access
Article
Formal Aspects of Computing. Year: 2025. Volume: 37 , Issue: 2 .
Authors: Das S.;Sharma A.
DOI 10.1145/3696431

Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court

Open Access
Conference Paper
Year: 2025. Volume: 14618 LNCS , Pages: 24-45 .
Authors: Das S.;Sharma A.
DOI 10.1007/978-3-031-87217-4_2

Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings

Open Access
Book Chapter
Year: 2025. Volume: 15261 LNCS , Pages: 192-218 .
Authors: Das S.;Sharma A.
DOI 10.1007/978-3-031-75775-4_9

Classification of Crowd-Based Software Requirements via Unsupervised Learning

Open Access
Conference Paper
Year: 2024. Volume: 2178 CCIS , Pages: 237-252 .
Authors: Sharma N.;Sharma A.
DOI 10.1007/978-3-031-70245-7_17

A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems

Open Access
Conference Paper
Year: 2024. Pages: 1712-1721 .
Authors: Das S.;Sharma A.
DOI 10.1145/3605098.3636032
1

On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems

Open Access
Conference Paper
Year: 2023. Volume: 13910 LNCS , Pages: 115-131 .
Authors: Das S.;Sharma A.
DOI 10.1007/978-3-031-35355-0_8
4

TABASCO: A transformer based contextualization toolkit

Open Access
Article
Science of Computer Programming. Year: 2023. Volume: 230 .
Authors: Moharil A.;Sharma A.
DOI 10.1016/j.scico.2023.102994
7

Linguistically Motivated Features for Classifying Shorter Text into Fiction and Non-Fiction Genre

Open Access
Conference Paper
Year: 2022. Volume: 29 , Issue: 1 , Pages: 922-937 .
Authors: Kazmi A.;Ranjan S.;Sharma A.;Rajkumar R.