Vigyan Singhal

1.6k total citations
27 papers, 518 citations indexed

About

Vigyan Singhal is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Electrical and Electronic Engineering. According to data from OpenAlex, Vigyan Singhal has authored 27 papers receiving a total of 518 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Computational Theory and Mathematics, 18 papers in Hardware and Architecture and 15 papers in Electrical and Electronic Engineering. Recurrent topics in Vigyan Singhal's work include Formal Methods in Verification (20 papers), VLSI and Analog Circuit Testing (11 papers) and Embedded Systems Design Techniques (10 papers). Vigyan Singhal is often cited by papers focused on Formal Methods in Verification (20 papers), VLSI and Analog Circuit Testing (11 papers) and Embedded Systems Design Techniques (10 papers). Vigyan Singhal collaborates with scholars based in United States, Switzerland and Germany. Vigyan Singhal's co-authors include Robert K. Brayton, Adnan Aziz, Jerry R. Burch, Carl Pixley, Maciej Ciesielski, Congguang Yang, Rajeev Kumar Ranjan, Fabio Somenzi, Richard Rudell and Sharad Malik and has published in prestigious journals such as The VLDB Journal, ACM Transactions on Design Automation of Electronic Systems and Formal Methods in System Design.

In The Last Decade

Vigyan Singhal

25 papers receiving 486 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Vigyan Singhal United States	12	331	261	194	134	82	27	518
Carl Pixley United States	16	415 1.3×	481 1.8×	323 1.7×	203 1.5×	106 1.3×	46	681
Congguang Yang United States	7	356 1.1×	322 1.2×	212 1.1×	199 1.5×	121 1.5×	10	578
Richard Raimi United States	4	318 1.0×	137 0.5×	67 0.3×	201 1.5×	138 1.7×	6	418
Per Bjesse United States	9	264 0.8×	284 1.1×	97 0.5×	134 1.0×	147 1.8×	18	452
Bernd Steinbach Germany	11	212 0.6×	87 0.3×	130 0.7×	31 0.2×	135 1.6×	55	351
S. Sastry United States	9	124 0.4×	174 0.7×	161 0.8×	51 0.4×	33 0.4×	27	297
Frank Markham Brown United States	6	193 0.6×	86 0.3×	68 0.4×	23 0.2×	110 1.3×	23	305
Harry Foster United States	10	205 0.6×	338 1.3×	203 1.0×	183 1.4×	76 0.9×	29	478
Jeremy Sproston Italy	8	397 1.2×	86 0.3×	18 0.1×	226 1.7×	166 2.0×	25	494
Peter M. Maurer United States	12	91 0.3×	250 1.0×	195 1.0×	160 1.2×	42 0.5×	66	475

Countries citing papers authored by Vigyan Singhal

Since Specialization

Citations

This map shows the geographic impact of Vigyan Singhal's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Vigyan Singhal with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Vigyan Singhal more than expected).

Fields of papers citing papers by Vigyan Singhal

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Vigyan Singhal. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Vigyan Singhal. The network helps show where Vigyan Singhal may publish in the future.

Co-authorship network of co-authors of Vigyan Singhal

This figure shows the co-authorship network connecting the top 25 collaborators of Vigyan Singhal. A scholar is included among the top collaborators of Vigyan Singhal based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Vigyan Singhal. Vigyan Singhal is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Singhal, Vigyan, et al.. (2011). Planning for end-to-end formal using simulation-based coverage: invited tutorial. 9–16. 2 indexed citations

Singhal, Vigyan, et al.. (2011). Planning for end-to-end formal using simulation-based coverage. 9–16. 1 indexed citations

Singhal, Vigyan, Carl Pixley, Adnan Aziz, Shaz Qadeer, & Robert K. Brayton. (2003). Sequential optimization in the absence of global reset. ACM Transactions on Design Automation of Electronic Systems. 8(2). 222–251. 1 indexed citations

Goel, Anuj Kumar, et al.. (2003). BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods in System Design. 22(3). 205–224. 5 indexed citations

Aziz, Adnan, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, & Alberto Sangiovanni‐Vincentelli. (2002). Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods in System Design. 21(2). 193–224. 7 indexed citations

Ganai, Malay, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, & Vigyan Singhal. (2001). SIVA: A System for Coverage-Directed State Space Search. Journal of Electronic Testing. 17(1). 11–27. 14 indexed citations

Aziz, Adnan, et al.. (2001). Optimizing designs containing black boxes. ACM Transactions on Design Automation of Electronic Systems. 6(4). 591–601. 2 indexed citations

Yalagandula, Praveen, Vigyan Singhal, & Adnan Aziz. (2000). Automatic lighthouse generation for directed state space search. 237–242. 10 indexed citations

Aziz, Adnan, et al.. (2000). Model-checking continuous-time Markov chains. ACM Transactions on Computational Logic. 1(1). 162–170. 193 indexed citations

10.

Ranjan, Rajeev Kumar, Vigyan Singhal, Fabio Somenzi, & Robert K. Brayton. (1998). On the optimization power of retiming and resynthesis transformations. 402–407. 19 indexed citations

11.

Burch, Jerry R. & Vigyan Singhal. (1998). Tight integration of combinational verification methods. 570–576. 37 indexed citations

12.

Burch, Jerry R. & Vigyan Singhal. (1998). Robust latch mapping for combinational equivalence checking. 563–569. 19 indexed citations

13.

Singhal, Vigyan, et al.. (1997). Optimizing designs containing black boxes. 113–116. 9 indexed citations

14.

Singhal, Vigyan, Sharad Malik, & Robert K. Brayton. (1996). The case for retiming with explicit reset circuitry. International Conference on Computer Aided Design. 618–625. 20 indexed citations

15.

Singhal, Vigyan, Carl Pixley, Adnan Aziz, & Robert K. Brayton. (1995). Exploiting power-up delay for sequential optimization. European Design Automation Conference. 54–59. 15 indexed citations

16.

Swamy, Gitanjali, Vigyan Singhal, & Robert K. Brayton. (1995). Incremental Methods for FSM Traversal. SSRN Electronic Journal. 3 indexed citations

17.

Singhal, Vigyan, Carl Pixley, Richard Rudell, & Robert K. Brayton. (1995). The validity of retiming sequential circuits. 316–321. 30 indexed citations

18.

Pixley, Carl, Vigyan Singhal, Adnan Aziz, & Robert K. Brayton. (1994). Multi-level synthesis for safe replaceability. International Conference on Computer Aided Design. 442–449. 23 indexed citations

19.

Hojati, Ramin, Vigyan Singhal, & Robert K. Brayton. (1994). Edge-Streett/ Edge-Rabin Automata Environment for. 5 indexed citations

20.

Singhal, Vigyan & Alan Jay Smith. (1991). Characterization of Contention in Real Relational. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact