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