Anuj Puri

	2007
16		Anuj Puri, Kimon P. Valavanis, Michael Kontitsis: Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data. ICRA 2007: 870-876
	2003
15		Sinem Coleri Ergen, Anuj Puri, Pravin Varaiya: Power Efficient System for Sensor Networks. ISCC 2003: 837-842
14		X. James Dong, Mustafa Ergen, Pravin Varaiya, Anuj Puri: Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs. LCN 2003: 682-681
	2002
13		Mohit Agarwal, Anuj Puri: Base station scheduling of requests with fixed deadlines. INFOCOM 2002
12		X. James Dong, Pravin Varaiya, Anuj Puri: Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks. International Conference on Internet Computing 2002: 125-131
11		Anuj Puri, Stavros Tripakis: Algorithms for the Multi-constrained Routing Problem. SWAT 2002: 338-347
	1999
10		Gerard J. Holzmann, Anuj Puri: A Minimized Automaton Representation of Reachable States. STTT 2(3): 270-278 (1999)
	1998
9		Anuj Puri: Dynamical Properties of Timed Automata. FTRTFT 1998: 210-227
8		Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya: What's Decidable about Hybrid Automata? J. Comput. Syst. Sci. 57(1): 94-124 (1998)
	1995
7		Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya: The Rabin Index and Chain Automata, with Applications to Automatas and Games. CAV 1995: 253-266
6		Anuj Puri, Vivek S. Borkar, Pravin Varaiya: Epsilon-Approximation of Differential Inclusions. Hybrid Systems 1995: 362-376
5		Sriram C. Krishnan, Anuj Puri, Robert K. Brayton: Structural Complexity of Omega-Automata. STACS 1995: 143-156
4		Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya: What's decidable about hybrid automata? STOC 1995: 373-382
	1994
3		Anuj Puri, Pravin Varaiya: Decidability of Hybrid Systems with Rectangular Differential Inclusion. CAV 1994: 95-104
2		Anuj Puri, Pravin Varaiya: Verification of Hybrid Systems Using Abstractions. Hybrid Systems 1994: 359-369
1		Sriram C. Krishnan, Anuj Puri, Robert K. Brayton: Deterministic w Automata vis-a-vis Deterministic Buchi Automata. ISAAC 1994: 378-386

Coauthor Index

1	Mohit Agarwal	[13]
2	Vivek S. Borkar	[6]
3	Robert K. Brayton	[1] [5] [7]
4	X. James Dong	[12] [14]
5	Mustafa Ergen	[14]
6	Sinem Coleri Ergen	[15]
7	Thomas A. Henzinger	[4] [8]
8	Gerard J. Holzmann	[10]
9	Michael Kontitsis	[16]
10	Peter W. Kopke	[4] [8]
11	Sriram C. Krishnan	[1] [5] [7]
12	Stavros Tripakis	[11]
13	Kimon P. Valavanis	[16]
14	Pravin Varaiya	[2] [3] [4] [6] [7] [8] [12] [14] [15]

Colors in the list of coauthors