Rajeev K. Ranjan

	2009
13		Rajeev K. Ranjan, Claudionor Coelho, Sebastian Skalberg: Beyond verification: leveraging formal for debugging. DAC 2009: 648-651
	2002
12		David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes: Formal verification methods: getting around the brick wall. DAC 2002: 576-577
	1999
11		Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton: Using Combinational Verification for Sequential Circuits. DATE 1999: 138-144
	1998
10		Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan: A Comparison of Presburger Engines for EFSM Reachability. CAV 1998: 280-292
9		Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi: A Performance Study of BDD-Based Model Checking. FMCAD 1998: 255-289
8		Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton: On the optimization power of retiming and resynthesis transformations. ICCAD 1998: 402-407
	1997
7		Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. ICCD 1997: 344-351
6		Amit Mehrotra, Shaz Qadeer, Rajeev K. Ranjan, Randy H. Katz: Benchmarking and Analysis of Architectures for CAD Applications. ICCD 1997: 670-675
	1996
5		Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS: A System for Verification and Synthesis. CAV 1996: 428-432
4		Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: High Performance BDD Package By Exploiting Memory Hiercharchy. DAC 1996: 635-640
3		Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS. FMCAD 1996: 248-256
2		Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Binary decision diagrams on network of workstation. ICCD 1996: 358-364
	1994
1		Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459

Coauthor Index

1	Adnan Aziz	[1] [3] [5]
2	Felice Balarin	[1]
3	Gérard Berry	[12]
4	Armin Biere	[9]
5	Robert K. Brayton	[1] [2] [3] [4] [5] [7] [8] [11]
6	Randal E. Bryant	[9]
7	Szu-Tsung Cheng	[1] [3] [5]
8	Claudionor Coelho	[13]
9	Olivier Coudert	[9]
10	David L. Dill	[12]
11	Stephen A. Edwards	[3] [5]
12	Limor Fix	[12]
13	Harry Foster	[12]
14	Wilsin Gosti	[7]
15	Gary D. Hachtel	[3] [5]
16	Ramin Hojati	[1]
17	Nate James	[12]
18	Geert Janssen	[9]
19	Timothy Kam	[1]
20	Randy H. Katz	[6]
21	Sunil P. Khatri	[3] [5]
22	Sriram C. Krishnan	[1]
23	Yuji Kukimoto	[3] [5]
24	James H. Kukula	[10]
25	Amit Mehrotra	[6]
26	David R. O'Hallaron	[9]
27	Abelardo Pardo	[3] [5]
28	Shaz Qadeer	[3] [5] [6]
29	Shishpal Rawat	[12]
30	Jagesh V. Sanghavi	[2] [4]
31	Alberto L. Sangiovanni-Vincentelli	[1] [2] [3] [4] [5] [7]
32	Shaker Sarwary	[3] [5]
33	Thomas R. Shiple	[1] [3] [5] [10]
34	Vigyan Singhal	[1] [8] [11]
35	Sebastian Skalberg	[13]
36	Fabio Somenzi	[3] [5] [8] [9] [11]
37	Gunnar Stålmarck	[12]
38	Gitanjali Swamy	[3] [5]
39	Serdar Tasiran	[1]
40	Tiziano Villa	[3] [5]
41	Huey-Yih Wang	[1]
42	Curt Widdoes	[12]
43	Bwolen Yang	[9]

Colors in the list of coauthors