Author

Arijit Shaw

Observed name: Shaw, Arijit

Institution: Chennai Mathematical Institute

Observed institutions: National University of Singapore, Jadavpur University, Chennai Mathematical Institute, TCG Crest

ORCID: 0000-0002-8332-518X

Observed ORCID: 0000-0002-8332-518X

OpenAlex ID: A5011060083

A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks

2017 · Sanjay Moulik, Rajesh Devaraj, et al. · International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) · 13

Designing New Phase Selection Heuristics

2020 · Arijit Shaw, Kuldeep S. Meel · Lecture notes in computer science · 3

Explaining SAT Solving Using Causal Reasoning

2023 · Yang, Jiong, Shaw, Arijit, et al. · arXiv (Cornell University) · 2

PDF

Data for CSB: a Counting and Sampling tool for Bit-vectors (Acta Informatica paper)

2026 · Shaw, Arijit, Meel, Kuldeep S. · Zenodo (CERN European Organization for Nuclear Research)

Data for An Approximate Skolem Funcion Counter (AAAI-24 paper)

2023 · Shaw, Arijit, Meel, Kuldeep S., et al. · Zenodo (CERN European Organization for Nuclear Research)

Works count: 5

Citation count: 18

H-index: 2

I10-index: 1