Statistics
Publications
15
Citations
547
H-Index
13
Active since
2001
Rohit Chadha is an author at University of Illinois Urbana-Champaign specializing in computer science, computing, and formal methods.
Publications per year
2001–2020
15
15
Inductive methods and contract-signing protocols
Rohit Chadha, Max Kanovich, Andre Scedrov · 2001 · 60 citations
1–5 of 15