Anuj Puri

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