Anuj Puri

According to our database, Anuj Puri authored at least 22 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Group Right to Mutual Privacy.

Anuj Puri

Digit. Soc., August, 2023

2011

Improving the efficiency of healthcare delivery system in underdeveloped rural areas.

Amarjeet Singh, Vinayak S. Naik, Sangeeta Lal, Raja Sengupta, Deepak Saxena, Pushpendra Singh, Anuj Puri

Proceedings of the Third International Conference on Communication Systems and Networks, 2011

2007

Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data.

Anuj Puri, Kimon P. Valavanis, Michael Kontitsis

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

2003

Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs.

X. James Dong, Mustafa Ergen, Pravin Varaiya, Anuj Puri

Proceedings of the 28th Annual IEEE Conference on Local Computer Networks (LCN 2003), 2003

Power Efficient System for Sensor Networks.

Sinem Coleri Ergen, Anuj Puri, Pravin Varaiya

Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

2002

Channel estimation techniques based on pilot arrangement in OFDM systems.

Sinem Coleri Ergen, Mustafa Ergen, Anuj Puri, Ahmad Bahai

IEEE Trans. Broadcast., 2002

Optimizing traffic flow in fixed wireless networks.

Anuj Puri

Proceedings of the 2002 IEEE Wireless Communications and Networking Conference Record, 2002

Optimal buffering policy for downloading music in heterogeneous wireless networks.

Mohit Agarwal, Anuj Puri

Proceedings of the 2002 IEEE Wireless Communications and Networking Conference Record, 2002

Algorithms for the Multi-constrained Routing Problem.

Anuj Puri, Stavros Tripakis

Proceedings of the Algorithm Theory, 2002

Base station scheduling of requests with fixed deadlines.

Mohit Agarwal, Anuj Puri

Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks.

X. James Dong, Pravin Varaiya, Anuj Puri

Proceedings of the International Conference on Internet Computing, 2002

2001

Geographical routing using partial information for wireless ad hoc networks.

Rahul Jain, Anuj Puri, Raja Sengupta

IEEE Wirel. Commun., 2001

2000

Dynamical Properties of Timed Automata.

Anuj Puri

Discret. Event Dyn. Syst., 2000

1999

A Minimized Automaton Representation of Reachable States.

Gerard J. Holzmann, Anuj Puri

Int. J. Softw. Tools Technol. Transf., 1999

An Undecidable Problem for Timed Automata.

Anuj Puri

Discret. Event Dyn. Syst., 1999

1998

What's Decidable about Hybrid Automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya

J. Comput. Syst. Sci., 1998

1995

Structural Complexity of Omega-Automata.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton

Proceedings of the STACS 95, 1995

Epsilon-Approximation of Differential Inclusions.

Anuj Puri, Vivek S. Borkar, Pravin Varaiya

Proceedings of the Hybrid Systems III: Verification and Control, 1995

The Rabin Index and Chain Automata, with Applications to Automatas and Games.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya

Proceedings of the Computer Aided Verification, 1995

1994

Deterministic w Automata vis-a-vis Deterministic Buchi Automata.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton

Proceedings of the Algorithms and Computation, 5th International Symposium, 1994

Verification of Hybrid Systems Using Abstractions.

Anuj Puri, Pravin Varaiya

Proceedings of the Hybrid Systems II, 1994

Decidability of Hybrid Systems with Rectangular Differential Inclusion.

Anuj Puri, Pravin Varaiya

Proceedings of the Computer Aided Verification, 6th International Conference, 1994