Decidability of Hybrid Systems with Rectangular Differential Inclusion. - Anuj Puri; Pravin Varaiya (CAV, 1994)

Verification of Hybrid Systems Using Abstractions. - Anuj Puri; Pravin Varaiya (Hybrid Systems, 1994)

Deterministic w Automata vis-a-vis Deterministic Buchi Automata. - Sriram C. Krishnan; Anuj Puri; Robert K. Brayton (ISAAC, 1994)

The Rabin Index and Chain Automata, with Applications to Automatas and Games. - Sriram C. Krishnan; Anuj Puri; Robert K. Brayton; Pravin Varaiya (CAV, 1995)

Epsilon-Approximation of Differential Inclusions. - Anuj Puri; Vivek S. Borkar; Pravin Varaiya (Hybrid Systems, 1995)

Structural Complexity of Omega-Automata. - Sriram C. Krishnan; Anuj Puri; Robert K. Brayton (STACS, 1995)

What's Decidable about Hybrid Automata? - Thomas A. Henzinger; Peter W. Kopke; Anuj Puri; Pravin Varaiya (J. Comput. Syst. Sci., 1998)

An Undecidable Problem for Timed Automata. - Anuj Puri (Discret. Event Dyn. Syst., 1999)

A Minimized Automaton Representation of Reachable States. - Gerard J. Holzmann; Anuj Puri (Int. J. Softw. Tools Technol. Transf., 1999)

Dynamical Properties of Timed Automata. - Anuj Puri (Discret. Event Dyn. Syst., 2000)

Geographical routing using partial information for wireless ad hoc networks. - Rahul Jain 002; Anuj Puri; Raja Sengupta 002 (IEEE Wirel. Commun., 2001)

Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks. - X. James Dong; Pravin Varaiya; Anuj Puri (International Conference on Internet Computing, 2002)

Base station scheduling of requests with fixed deadlines. - Mohit Agarwal; Anuj Puri (INFOCOM, 2002)

Algorithms for the Multi-constrained Routing Problem. - Anuj Puri; Stavros Tripakis (SWAT, 2002)

Optimal buffering policy for downloading music in heterogeneous wireless networks. - Mohit Agarwal; Anuj Puri (WCNC, 2002)

Optimizing traffic flow in fixed wireless networks. - Anuj Puri (WCNC, 2002)

Channel estimation techniques based on pilot arrangement in OFDM systems. - Sinem Coleri Ergen; Mustafa Ergen; Anuj Puri; Ahmad Bahai (IEEE Trans. Broadcast., 2002)

Power Efficient System for Sensor Networks. - Sinem Coleri Ergen; Anuj Puri; Pravin Varaiya (ISCC, 2003)

Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs. - X. James Dong; Mustafa Ergen; Pravin Varaiya; Anuj Puri (LCN, 2003)

Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data. - Anuj Puri; Kimon P. Valavanis; Michael Kontitsis (ICRA, 2007)

Improving the efficiency of healthcare delivery system in underdeveloped rural areas. - Amarjeet Singh 001; Vinayak S. Naik; Sangeeta Lal; Raja Sengupta 001; Deepak Saxena; Pushpendra Singh 001; Anuj Puri (COMSNETS, 2011)

The Group Right to Mutual Privacy. - Anuj Puri (Digit. Soc., 2023)