S. K. Panda

	2010
8		Rajdeep Mukhopadhyay, Anvesh Komuravelli, Pallab Dasgupta, S. K. Panda, Siddhartha Mukhopadhyay: A static verification approach for architectural integration of mixed-signal integrated circuits. Integration 43(1): 58-71 (2010)
	2009
7		Subhankar Mukherjee, Antara Ain, S. K. Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta: A formal approach for specification-driven AMS behavioral model generation. DATE 2009: 1512-1517
6		Rajdeep Mukhopadhyay, S. K. Panda, Pallab Dasgupta, John Gough: Instrumenting AMS assertion verification on commercial platforms. ACM Trans. Design Autom. Electr. Syst. 14(2): (2009)
	2008
5		J.-X. Xu, B. Ashok, S. K. Panda, V. Bajic: Modeling transcription termination of selected gene groups using support vector machine. IJCNN 2008: 384-389
4		S. K. Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar: Simulation-based verification using Temporally Attributed Boolean Logic. ACM Trans. Design Autom. Electr. Syst. 13(4): (2008)
	2007
3		S. K. Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar: Simulation Based Verification using Temporally Attributed Boolean Logic. VLSI Design 2007: 57-62
	2006
2		Rajeev Kumar, Rahul Chaudhry, Dipankar Das, Vibha Rathi, S. K. Panda, P. P. Chakrabarti: SystemC Modeling and Validation of A RISC Processor System. FDL 2006: 189-197
	2005
1		Arnab Roy, S. K. Panda, Rajeev Kumar, P. P. Chakrabarti: A framework for systematic validation and debugging of pipeline simulators. ACM Trans. Design Autom. Electr. Syst. 10(3): 462-491 (2005)

Coauthor Index

1	Antara Ain	[7]
2	B. Ashok	[5]
3	V. Bajic	[5]
4	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [2] [3] [4]
5	Rahul Chaudhry	[2]
6	Dipankar Das	[2]
7	Pallab Dasgupta	[6] [7] [8]
8	John Gough	[6]
9	Anvesh Komuravelli	[8]
10	Rajeev Kumar	[1] [2] [3] [4]
11	Subhankar Mukherjee	[7]
12	Rajdeep Mukhopadhyay	[6] [7] [8]
13	Siddhartha Mukhopadhyay	[8]
14	Vibha Rathi	[2]
15	Arnab Roy	[1] [3] [4]
16	J.-X. Xu	[5]

Colors in the list of coauthors