Search the dblp DataBase
Pravin Varaiya :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Pravin Varaiya Design, Simulation, and Implementation of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] ICATPN, 1999, pp:1-5 [Conf ] Sriram C. Krishnan , Anuj Puri , Robert K. Brayton , Pravin Varaiya The Rabin Index and Chain Automata, with Applications to Automatas and Games. [Citation Graph (0, 0)][DBLP ] CAV, 1995, pp:253-266 [Conf ] Jennifer McManis , Pravin Varaiya Suspension Automata: A Decidable Class of Hybrid Automata. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:105-117 [Conf ] Anuj Puri , Pravin Varaiya Decidability of Hybrid Systems with Rectangular Differential Inclusion. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:95-104 [Conf ] Pravin Varaiya Protocol Design for an Automated Highway System (Abstract). [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:180- [Conf ] Tunc Simsek , Pravin Varaiya Design of Autonomous, Distributed Systems. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2001, pp:435-450 [Conf ] Pravin Varaiya , Felix Wu MinISO: A Minimal Independent System Operator. [Citation Graph (0, 0)][DBLP ] HICSS (5), 1997, pp:602-0 [Conf ] Mireille E. Broucke , Pravin Varaiya Decidability of Hybrid Systems with Linear and Nonlinear Differential Inclusions. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1996, pp:77-92 [Conf ] Akash Deshpande , Datta N. Godbole , Aleks Göllü , Pravin Varaiya Design and Evaluation Tools for Automated Highway Systems. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1995, pp:138-148 [Conf ] Akash Deshpande , Aleks Göllü , Pravin Varaiya SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1996, pp:113-133 [Conf ] Akash Deshpande , Pravin Varaiya Viable Control of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1994, pp:128-147 [Conf ] Mikhail Kourjanski , Pravin Varaiya Stability of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1995, pp:413-423 [Conf ] Mikhail Kourjanski , Pravin Varaiya A Class of Rectangular Hybrid Systems with Computable Reach Set. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1996, pp:228-234 [Conf ] Alexander B. Kurzhanski , Pravin Varaiya Ellipsoidal Techniques for Reachability Analysis. [Citation Graph (0, 0)][DBLP ] HSCC, 2000, pp:202-214 [Conf ] Anuj Puri , Vivek S. Borkar , Pravin Varaiya Epsilon-Approximation of Differential Inclusions. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1995, pp:362-376 [Conf ] Anuj Puri , Pravin Varaiya Verification of Hybrid Systems Using Abstractions. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1994, pp:359-369 [Conf ] Pravin Varaiya SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation). [Citation Graph (0, 0)][DBLP ] HART, 1997, pp:415- [Conf ] X. James Dong , Pravin Varaiya , Anuj Puri Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks. [Citation Graph (0, 0)][DBLP ] International Conference on Internet Computing, 2002, pp:125-131 [Conf ] Randall A. Cieslak , Ayman Fawaz , Sonia Sachs , Pravin Varaiya , Jean C. Walrand , Albert Li The Programmable Network Prototyping System. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1989, pp:393-399 [Conf ] Scott Jordan , Pravin Varaiya Control of Multiple Service, Multiple Resource Communication Networks. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1991, pp:648-657 [Conf ] Steven H. Low , Pravin Varaiya Stability of a Class of Dynamic Routing Protocols (IGRP). [Citation Graph (0, 0)][DBLP ] INFOCOM, 1993, pp:610-616 [Conf ] Steven H. Low , Pravin Varaiya Burstiness Bounds for Some Burst Reducing Servers. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1993, pp:2-9 [Conf ] Steven H. Low , Pravin Varaiya An Algorithm for Optimal Service Provisioning using Resource Pricing. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1994, pp:368-373 [Conf ] Nina Taft Plotkin , Pravin Varaiya Performance Analysis of Parallel ATM Connections for Gigabit Speed Applications. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1993, pp:1186-1193 [Conf ] Nina Taft Plotkin , Pravin Varaiya The Entropy of Traffic Streams in ATM Virtual Circuits. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1994, pp:1038-1045 [Conf ] Jun Shu , Pravin Varaiya Pricing Network Services. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2003, pp:- [Conf ] Michael K. Wong , Pravin Varaiya A Deterministic Fluid Model for Cell Loss in ATM Networks. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1993, pp:395-400 [Conf ] Pravin Varaiya Coordinating Vehicles in an Automated Highway. [Citation Graph (0, 0)][DBLP ] 25th Anniversary of INRIA, 1992, pp:315-330 [Conf ] Sinem Coleri Ergen , Pravin Varaiya Effects of A-D conversion nonidealities on distributed sampling in dense sensor networks. [Citation Graph (0, 0)][DBLP ] IPSN, 2006, pp:202-209 [Conf ] Sinem Coleri , Anuj Puri , Pravin Varaiya Power Efficient System for Sensor Networks. [Citation Graph (0, 0)][DBLP ] ISCC, 2003, pp:837-842 [Conf ] Mustafa Ergen , Duke Lee , Raja Sengupta , Pravin Varaiya Wireless Token Ring Protocol-Performance Comparison with IEEE 802.11. [Citation Graph (0, 0)][DBLP ] ISCC, 2003, pp:710-715 [Conf ] Zhanfeng Jia , Rajarshi Gupta , Jean C. Walrand , Pravin Varaiya Bandwidth Guaranteed Routing for Ad Hoc Networks with Interference Consideration. [Citation Graph (0, 0)][DBLP ] ISCC, 2005, pp:3-9 [Conf ] X. James Dong , Mustafa Ergen , Pravin Varaiya , Anuj Puri Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs. [Citation Graph (0, 0)][DBLP ] LCN, 2003, pp:682-681 [Conf ] Pravin Varaiya , Jean C. Walrand Multi-Armed Bandit Problems and Resource Sharing Systems. [Citation Graph (0, 0)][DBLP ] Computer Performance and Reliability, 1983, pp:181-196 [Conf ] James Yee , Pravin Varaiya An Analytic Model for Real-Time Multimedia Disk Scheduling. [Citation Graph (0, 0)][DBLP ] NOSSDAV, 1992, pp:315-320 [Conf ] Jörn Altmann , Björn Rupp , Pravin Varaiya Internet demand under different pricing schemes. [Citation Graph (0, 0)][DBLP ] ACM Conference on Electronic Commerce, 1999, pp:9-14 [Conf ] Thomas A. Henzinger , Peter W. Kopke , Anuj Puri , Pravin Varaiya What's decidable about hybrid automata? [Citation Graph (0, 0)][DBLP ] STOC, 1995, pp:373-382 [Conf ] James C. Yee , Pravin Varaiya Models and performance of real-time disk access policies. [Citation Graph (0, 0)][DBLP ] Computer Communications, 1995, v:18, n:10, pp:725-741 [Journal ] Randall A. Cieslak , Ayman Fawaz , Sonia Sachs , Pravin Varaiya , Jean C. Walrand , Albert Li The Programmable Network Prototyping System. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1989, v:22, n:5, pp:67-76 [Journal ] L. J. Forys , Pravin Varaiya The epsilon-Capacity of Classes of Unknown Channels [Citation Graph (0, 0)][DBLP ] Information and Control, 1969, v:14, n:4, pp:376-406 [Journal ] Jun Shu , Pravin Varaiya Mechanism Design for Networking Research. [Citation Graph (0, 0)][DBLP ] Information Systems Frontiers, 2003, v:5, n:1, pp:29-37 [Journal ] D. Eggert , Pravin Varaiya Affine Dynamical Systems. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1967, v:1, n:4, pp:330-348 [Journal ] Thomas A. Henzinger , Peter W. Kopke , Anuj Puri , Pravin Varaiya What's Decidable about Hybrid Automata? [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1998, v:57, n:1, pp:94-124 [Journal ] Richard J. Edell , Nick McKeown , Pravin Varaiya Billing Users and Pricing for TCP. [Citation Graph (0, 0)][DBLP ] IEEE Journal on Selected Areas in Communications, 1995, v:13, n:7, pp:1162-1175 [Journal ] Mustafa Ergen , Pravin Varaiya Throughput Analysis and Admission Control for IEEE 802.11a. [Citation Graph (0, 0)][DBLP ] MONET, 2005, v:10, n:5, pp:705-716 [Journal ] Eduardo Magaña , Daniel Morató , Pravin Varaiya Router Scheduling Configuration Based on the Maximization of Benefit and Carried Best Effort Traffic. [Citation Graph (0, 0)][DBLP ] Telecommunication Systems, 2003, v:24, n:2-4, pp:275-292 [Journal ] Jean C. Walrand , Pravin Varaiya Optimal causal coding - decoding problems. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Information Theory, 1983, v:29, n:6, pp:814-819 [Journal ] Sinem Coleri Ergen , Pravin Varaiya PEDAMACS: Power Efficient and Delay Aware Medium Access Protocol for Sensor Networks. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Mob. Comput., 2006, v:5, n:7, pp:920-930 [Journal ] Steven H. Low , Pravin Varaiya A new approach to service provisioning in ATM networks. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 1993, v:1, n:5, pp:547-553 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] GLOBECOM, 2006, pp:- [Conf ] Sinem Coleri Ergen , Pravin Varaiya Energy efficient routing with delay guarantee for sensor networks. [Citation Graph (0, 0)][DBLP ] Wireless Networks, 2007, v:13, n:5, pp:679-690 [Journal ] Pairwise Algorithm for Distributed Transmit Beamforming. [Citation Graph (, )][DBLP ] Decomposition of Energy Consumption in IEEE 802.11. [Citation Graph (, )][DBLP ] Distributed Online Simultaneous Fault Detection for Multiple Sensors. [Citation Graph (, )][DBLP ] Unequal Importance Image Communication over Heterogeneous Networks. [Citation Graph (, )][DBLP ] Performance Analysis of Slotted Carrier Sense IEEE 802.15.4 Acknowledged Uplink Transmissions. [Citation Graph (, )][DBLP ] Search in 0.055secs, Finished in 0.058secs