Arjun Kapur

	2003
7		Hong Wang, Shiri Manor, Dave LaFollette, Nadav Nesher, Ku-jei King, Perry H. Wang, Shay Levy, Shai Satt, Gal Carmeli, Arjun Kapur, Ioannis Schoinas, Ed Rubinstein, Rahul Bhatt: Inferno: a functional simulation infrastructure for modeling microarchitectural data speculations. ISPASS 2003: 11-21
6		Rahul Bhatt, Dave LaFollette, Arjun Kapur: The Fallacy of Spec-Based Design. SEFM 2003: 156-
5		Luca de Alfaro, Arjun Kapur: Hybrid diagrams. Theor. Comput. Sci. 290(1): 565-597 (2003)
	1997
4		Luca de Alfaro, Arjun Kapur, Zohar Manna: Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997: 153-164
	1996
3		Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe: STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV 1996: 415-418
	1995
2		Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe: STeP: The Stanford Temporal Prover. TAPSOFT 1995: 793-794
	1994
1		Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454

Coauthor Index

1	Luca de Alfaro	[2] [4] [5]
2	Rahul Bhatt	[6] [7]
3	Nikolaj Bjørner	[2] [3]
4	Anca Browne (I. A. Draghicescu)	[2] [3]
5	Gal Carmeli	[7]
6	Edward Y. Chang	[2] [3]
7	Michael Colón	[2] [3]
8	Harish Devarajan	[2]
9	Thomas A. Henzinger	[1]
10	Ku-jei King	[7]
11	Dave LaFollette	[6] [7]
12	Jaejin Lee	[2]
13	Shay Levy	[7]
14	Zohar Manna	[1] [2] [3] [4]
15	Shiri Manor	[7]
16	Nadav Nesher	[7]
17	Amir Pnueli	[1]
18	Ed Rubinstein	[7]
19	Shai Satt	[7]
20	Ioannis Schoinas	[7]
21	Henny B. Sipma (Henny Sipma)	[2] [3]
22	Tomás E. Uribe	[2] [3]
23	Perry H. Wang	[7]
24	Hong Wang	[7]

Colors in the list of coauthors