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