Statistics
Publications
20
Citations
851
H-Index
14
Active since
1994
Vigyan Singhal is an author at University of California, Berkeley specializing in computer science, computer engineering, and engineering.
Publications per year
1994–2008
20
20
Model-checking continuous-time Markov chains
Adnan Aziz, Kumud Sanwal, Vigyan Singhal et al. · ACM Transactions on Computational Logic · 2000 · 415 citations
Congguang Yang, Maciej Ciesielski, Vigyan Singhal · 2000 · 54 citations · Full text
The validity of retiming sequential circuits
Vigyan Singhal, Carl Pixley, Richard Rudell et al. · 1995 · 40 citations · Full text
1–5 of 20