Anuj Puri

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 1

Publications

Anuj Puri
The Group Right to Mutual Privacy. Digit. Soc. 2 (2) (2023)
Amarjeet Singh, Vinayak S. Naik, Sangeeta Lal, Raja Sengupta, Deepak Saxena, Pushpendra Singh, Anuj Puri
Improving the efficiency of healthcare delivery system in underdeveloped rural areas. COMSNETS (2011)
Anuj Puri, Kimon P. Valavanis, Michael Kontitsis
Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data. ICRA (2007)
Sinem Coleri Ergen, Anuj Puri, Pravin Varaiya
Power Efficient System for Sensor Networks. ISCC (2003)
X. James Dong, Mustafa Ergen, Pravin Varaiya, Anuj Puri
Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs. LCN (2003)
Anuj Puri, Stavros Tripakis
Algorithms for the Multi-constrained Routing Problem. SWAT (2002)
X. James Dong, Pravin Varaiya, Anuj Puri
Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks. International Conference on Internet Computing (2002)
Mohit Agarwal, Anuj Puri
Base station scheduling of requests with fixed deadlines. INFOCOM (2002)
Mohit Agarwal, Anuj Puri
Optimal buffering policy for downloading music in heterogeneous wireless networks. WCNC (2002)
Anuj Puri
Optimizing traffic flow in fixed wireless networks. WCNC (2002)
Sinem Coleri Ergen, Mustafa Ergen, Anuj Puri, Ahmad Bahai
Channel estimation techniques based on pilot arrangement in OFDM systems. IEEE Trans. Broadcast. 48 (3) (2002)
Rahul Jain, Anuj Puri, Raja Sengupta
Geographical routing using partial information for wireless ad hoc networks. IEEE Wirel. Commun. 8 (1) (2001)
Anuj Puri
Dynamical Properties of Timed Automata. Discret. Event Dyn. Syst. 10 (1-2) (2000)
Gerard J. Holzmann, Anuj Puri
A Minimized Automaton Representation of Reachable States. Int. J. Softw. Tools Technol. Transf. 2 (3) (1999)
Anuj Puri
An Undecidable Problem for Timed Automata. Discret. Event Dyn. Syst. 9 (2) (1999)
Anuj Puri
Dynamical Properties of Timed Automata. FTRTFT (1998)
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
What's Decidable about Hybrid Automata? J. Comput. Syst. Sci. 57 (1) (1998)
Anuj Puri, Vivek S. Borkar, Pravin Varaiya
Epsilon-Approximation of Differential Inclusions. Hybrid Systems (1995)
Sriram C. Krishnan, Anuj Puri, Robert K. Brayton
Structural Complexity of Omega-Automata. STACS (1995)
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
What's decidable about hybrid automata? STOC (1995)
Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya
The Rabin Index and Chain Automata, with Applications to Automatas and Games. CAV (1995)
Anuj Puri, Pravin Varaiya
Decidability of Hybrid Systems with Rectangular Differential Inclusion. CAV (1994)
Anuj Puri, Pravin Varaiya
Verification of Hybrid Systems Using Abstractions. Hybrid Systems (1994)
Sriram C. Krishnan, Anuj Puri, Robert K. Brayton
Deterministic w Automata vis-a-vis Deterministic Buchi Automata. ISAAC (1994)