Scholar

Mahesh Viswanathan

Google Scholar ID: nztNRM0AAAAJ

University of Illinois, Urbana-Champaign

formal verificationautomata theoryconcurrency theorylogic

Google Scholar↗

Citations & Impact

All-time

Citations

2,425

H-index

27

i10-index

63

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

6 items

Efficient Dynamic Algorithms to Predict Short Races

2026

Cited

0

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions

2025

Cited

0

Dynamic Race Detection With O(1) Samples

2025

Cited

0

Efficient Timestamping for Sampling-based Race Detection

2025

Cited

0

The Decision Problem for Regular First-Order Theories

arXiv.org · 2024

Cited

0

DAWN: Designing Distributed Agents in a Worldwide Network

arXiv.org · 2024

Cited

2

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)