| 2008 |
|---|
| 54 | EE | Ram Rajagopal,
XuanLong Nguyen,
Sinem Coleri Ergen,
Pravin Varaiya:
Distributed Online Simultaneous Fault Detection for Multiple Sensors.
IPSN 2008: 133-144 |
| 2007 |
|---|
| 53 | EE | Mehdi Malboubi,
Ahmad Bahai,
Mustafa Ergen,
Pravin Varaiya,
Jean C. Walrand:
Unequal Importance Image Communication over Heterogeneous Networks.
VTC Spring 2007: 629-633 |
| 52 | EE | Sinem Coleri Ergen,
Pravin Varaiya:
Energy efficient routing with delay guarantee for sensor networks.
Wireless Networks 13(5): 679-690 (2007) |
| 2006 |
|---|
| 51 | EE | Sofie Pollin,
Mustafa Ergen,
Sinem Coleri Ergen,
Bruno Bougard,
Liesbet Van der Perre,
Francky Catthoor,
Ingrid Moerman,
Ahmad Bahai,
Pravin Varaiya:
Performance Analysis of Slotted Carrier Sense IEEE 802.15.4 Medium Access Layer.
GLOBECOM 2006 |
| 50 | EE | Sinem Coleri Ergen,
Pravin Varaiya:
Effects of A-D conversion nonidealities on distributed sampling in dense sensor networks.
IPSN 2006: 202-209 |
| 49 | EE | Jun Shu,
Pravin Varaiya:
Smart pay access control via incentive alignment.
IEEE Journal on Selected Areas in Communications 24(5): 1051-1060 (2006) |
| 48 | EE | Sinem Coleri Ergen,
Pravin Varaiya:
PEDAMACS: Power Efficient and Delay Aware Medium Access Protocol for Sensor Networks.
IEEE Trans. Mob. Comput. 5(7): 920-930 (2006) |
| 2005 |
|---|
| 47 | EE | Zhanfeng Jia,
Rajarshi Gupta,
Jean C. Walrand,
Pravin Varaiya:
Bandwidth Guaranteed Routing for Ad Hoc Networks with Interference Consideration.
ISCC 2005: 3-9 |
| 46 | EE | Mustafa Ergen,
Pravin Varaiya:
Throughput Analysis and Admission Control for IEEE 802.11a.
MONET 10(5): 705-716 (2005) |
| 2003 |
|---|
| 45 | EE | Jun Shu,
Pravin Varaiya:
Pricing Network Services.
INFOCOM 2003 |
| 44 | EE | Mustafa Ergen,
Duke Lee,
Raja Sengupta,
Pravin Varaiya:
Wireless Token Ring Protocol-Performance Comparison with IEEE 802.11.
ISCC 2003: 710-715 |
| 43 | EE | Sinem Coleri Ergen,
Anuj Puri,
Pravin Varaiya:
Power Efficient System for Sensor Networks.
ISCC 2003: 837-842 |
| 42 | 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 |
| 41 | EE | Jun Shu,
Pravin Varaiya:
Mechanism Design for Networking Research.
Information Systems Frontiers 5(1): 29-37 (2003) |
| 40 | EE | Eduardo Magaña,
Daniel Morató,
Pravin Varaiya:
Router Scheduling Configuration Based on the Maximization of Benefit and Carried Best Effort Traffic.
Telecommunication Systems 24(2-4): 275-292 (2003) |
| 2002 |
|---|
| 39 | | 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 |
| 2001 |
|---|
| 38 | EE | Tunc Simsek,
Pravin Varaiya:
Design of Autonomous, Distributed Systems.
EMSOFT 2001: 435-450 |
| 2000 |
|---|
| 37 | EE | Alexander B. Kurzhanski,
Pravin Varaiya:
Ellipsoidal Techniques for Reachability Analysis.
HSCC 2000: 202-214 |
| 1999 |
|---|
| 36 | EE | Jörn Altmann,
Björn Rupp,
Pravin Varaiya:
Internet demand under different pricing schemes.
ACM Conference on Electronic Commerce 1999: 9-14 |
| 35 | EE | Pravin Varaiya:
Design, Simulation, and Implementation of Hybrid Systems.
ICATPN 1999: 1-5 |
| 1998 |
|---|
| 34 | | 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) |
| 1997 |
|---|
| 33 | | Pravin Varaiya:
SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation).
HART 1997: 415 |
| 32 | EE | Pravin Varaiya,
Felix Wu:
MinISO: A Minimal Independent System Operator.
HICSS (5) 1997: 602- |
| 1996 |
|---|
| 31 | | Akash Deshpande,
Aleks Göllü,
Pravin Varaiya:
SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata.
Hybrid Systems 1996: 113-133 |
| 30 | | Mikhail Kourjanski,
Pravin Varaiya:
A Class of Rectangular Hybrid Systems with Computable Reach Set.
Hybrid Systems 1996: 228-234 |
| 29 | | Mireille E. Broucke,
Pravin Varaiya:
Decidability of Hybrid Systems with Linear and Nonlinear Differential Inclusions.
Hybrid Systems 1996: 77-92 |
| 1995 |
|---|
| 28 | | 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 |
| 27 | | Akash Deshpande,
Datta N. Godbole,
Aleks Göllü,
Pravin Varaiya:
Design and Evaluation Tools for Automated Highway Systems.
Hybrid Systems 1995: 138-148 |
| 26 | | Anuj Puri,
Vivek S. Borkar,
Pravin Varaiya:
Epsilon-Approximation of Differential Inclusions.
Hybrid Systems 1995: 362-376 |
| 25 | | Mikhail Kourjanski,
Pravin Varaiya:
Stability of Hybrid Systems.
Hybrid Systems 1995: 413-423 |
| 24 | EE | Thomas A. Henzinger,
Peter W. Kopke,
Anuj Puri,
Pravin Varaiya:
What's decidable about hybrid automata?
STOC 1995: 373-382 |
| 23 | EE | James C. Yee,
Pravin Varaiya:
Models and performance of real-time disk access policies.
Computer Communications 18(10): 725-741 (1995) |
| 22 | | Richard J. Edell,
Nick McKeown,
Pravin Varaiya:
Billing Users and Pricing for TCP.
IEEE Journal on Selected Areas in Communications 13(7): 1162-1175 (1995) |
| 1994 |
|---|
| 21 | | Jennifer McManis,
Pravin Varaiya:
Suspension Automata: A Decidable Class of Hybrid Automata.
CAV 1994: 105-117 |
| 20 | | Anuj Puri,
Pravin Varaiya:
Decidability of Hybrid Systems with Rectangular Differential Inclusion.
CAV 1994: 95-104 |
| 19 | | Akash Deshpande,
Pravin Varaiya:
Viable Control of Hybrid Systems.
Hybrid Systems 1994: 128-147 |
| 18 | | Anuj Puri,
Pravin Varaiya:
Verification of Hybrid Systems Using Abstractions.
Hybrid Systems 1994: 359-369 |
| 17 | | Nina Taft Plotkin,
Pravin Varaiya:
The Entropy of Traffic Streams in ATM Virtual Circuits.
INFOCOM 1994: 1038-1045 |
| 16 | | Steven H. Low,
Pravin Varaiya:
An Algorithm for Optimal Service Provisioning using Resource Pricing.
INFOCOM 1994: 368-373 |
| 1993 |
|---|
| 15 | | Pravin Varaiya:
Protocol Design for an Automated Highway System (Abstract).
CAV 1993: 180 |
| 14 | | Nina Taft Plotkin,
Pravin Varaiya:
Performance Analysis of Parallel ATM Connections for Gigabit Speed Applications.
INFOCOM 1993: 1186-1193 |
| 13 | | Steven H. Low,
Pravin Varaiya:
Burstiness Bounds for Some Burst Reducing Servers.
INFOCOM 1993: 2-9 |
| 12 | | Michael K. Wong,
Pravin Varaiya:
A Deterministic Fluid Model for Cell Loss in ATM Networks.
INFOCOM 1993: 395-400 |
| 11 | | Steven H. Low,
Pravin Varaiya:
Stability of a Class of Dynamic Routing Protocols (IGRP).
INFOCOM 1993: 610-616 |
| 10 | EE | Steven H. Low,
Pravin Varaiya:
A new approach to service provisioning in ATM networks.
IEEE/ACM Trans. Netw. 1(5): 547-553 (1993) |
| 1992 |
|---|
| 9 | | Pravin Varaiya:
Coordinating Vehicles in an Automated Highway.
25th Anniversary of INRIA 1992: 315-330 |
| 8 | | James Yee,
Pravin Varaiya:
An Analytic Model for Real-Time Multimedia Disk Scheduling.
NOSSDAV 1992: 315-320 |
| 1991 |
|---|
| 7 | | Scott Jordan,
Pravin Varaiya:
Control of Multiple Service, Multiple Resource Communication Networks.
INFOCOM 1991: 648-657 |
| 1989 |
|---|
| 6 | | Randall A. Cieslak,
Ayman Fawaz,
Sonia Sachs,
Pravin Varaiya,
Jean C. Walrand,
Albert Li:
The Programmable Network Prototyping System.
INFOCOM 1989: 393-399 |
| 5 | | Randall A. Cieslak,
Ayman Fawaz,
Sonia Sachs,
Pravin Varaiya,
Jean C. Walrand,
Albert Li:
The Programmable Network Prototyping System.
IEEE Computer 22(5): 67-76 (1989) |
| 1983 |
|---|
| 4 | | Pravin Varaiya,
Jean C. Walrand:
Multi-Armed Bandit Problems and Resource Sharing Systems.
Computer Performance and Reliability 1983: 181-196 |
| 3 | | Jean C. Walrand,
Pravin Varaiya:
Optimal causal coding - decoding problems.
IEEE Transactions on Information Theory 29(6): 814-819 (1983) |
| 1969 |
|---|
| 2 | | L. J. Forys,
Pravin Varaiya:
The epsilon-Capacity of Classes of Unknown Channels
Information and Control 14(4): 376-406 (1969) |
| 1967 |
|---|
| 1 | | D. Eggert,
Pravin Varaiya:
Affine Dynamical Systems.
J. Comput. Syst. Sci. 1(4): 330-348 (1967) |
