Muralidhar Talupur

2008
12	EE	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith: Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. TACAS 2008: 33-47
2007
11	EE	Malay K. Ganai, Muralidhar Talupur, Aarti Gupta: SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic. JSAT 3(1-2): 91-114 (2007)
2006
10		Kamala Krithivasan, Prahladh Harsha, Muralidhar Talupur: Communicating Distributed H systems with Simple Splicing Rules. CDES 2006: 107-111
9	EE	Malay K. Ganai, Muralidhar Talupur, Aarti Gupta: SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver. TACAS 2006: 135-150
8	EE	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith: Environment Abstraction for Parameterized Verification. VMCAI 2006: 126-141
2004
7	EE	Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli: Range Allocation for Separation Logic. CAV 2004: 148-161
6	EE	Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith: Verification by Network Decomposition. CONCUR 2004: 276-291
5	EE	Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur: Revisiting Positive Equality. TACAS 2004: 1-15
2003
4	EE	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. CAV 2003: 126-140
3	EE	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: High Level Verification of Control Intensive Systems Using Predicate Abstraction. MEMOCODE 2003: 55-64
2	EE	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang: SAT Based Predicate Abstraction for Hardware Verification. SAT 2003: 78-92
2000
1		Lakshminarayanan Subramanian, Muralidhar Talupur, Kamala Krithivasan, C. Pandu Rangan: On the Generative Power of Simple H Systems. Journal of Automata, Languages and Combinatorics 5(4): 457- (2000)

Coauthor Index

1	Randal E. Bryant	[5]
2	Edmund M. Clarke	[2] [3] [4] [6] [8] [12]
3	Malay K. Ganai	[9] [11]
4	Amit Goel	[5]
5	Orna Grumberg	[3] [4]
6	Aarti Gupta	[9] [11]
7	Prahladh Harsha	[10]
8	Kamala Krithivasan	[1] [10]
9	Shuvendu K. Lahiri	[5]
10	Amir Pnueli	[7]
11	C. Pandu Rangan (Chanrasekharan Pandu Rangan)	[1]
12	Nishant Sinha	[7]
13	Ofer Strichman	[7]
14	Lakshminarayanan Subramanian	[1]
15	Tayssir Touili	[6]
16	Helmut Veith	[2] [6] [8] [12]
17	Dong Wang	[2] [3] [4]

Colors in the list of coauthors