The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pravin Varaiya: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pravin Varaiya
    Design, Simulation, and Implementation of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:1-5 [Conf]
  2. 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]
  3. Jennifer McManis, Pravin Varaiya
    Suspension Automata: A Decidable Class of Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:105-117 [Conf]
  4. Anuj Puri, Pravin Varaiya
    Decidability of Hybrid Systems with Rectangular Differential Inclusion. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:95-104 [Conf]
  5. Pravin Varaiya
    Protocol Design for an Automated Highway System (Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:180- [Conf]
  6. Tunc Simsek, Pravin Varaiya
    Design of Autonomous, Distributed Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:435-450 [Conf]
  7. Pravin Varaiya, Felix Wu
    MinISO: A Minimal Independent System Operator. [Citation Graph (0, 0)][DBLP]
    HICSS (5), 1997, pp:602-0 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Akash Deshpande, Pravin Varaiya
    Viable Control of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:128-147 [Conf]
  12. Mikhail Kourjanski, Pravin Varaiya
    Stability of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:413-423 [Conf]
  13. 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]
  14. Alexander B. Kurzhanski, Pravin Varaiya
    Ellipsoidal Techniques for Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:202-214 [Conf]
  15. Anuj Puri, Vivek S. Borkar, Pravin Varaiya
    Epsilon-Approximation of Differential Inclusions. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:362-376 [Conf]
  16. Anuj Puri, Pravin Varaiya
    Verification of Hybrid Systems Using Abstractions. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:359-369 [Conf]
  17. Pravin Varaiya
    SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation). [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:415- [Conf]
  18. 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]
  19. 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]
  20. Scott Jordan, Pravin Varaiya
    Control of Multiple Service, Multiple Resource Communication Networks. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1991, pp:648-657 [Conf]
  21. 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]
  22. Steven H. Low, Pravin Varaiya
    Burstiness Bounds for Some Burst Reducing Servers. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1993, pp:2-9 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. Jun Shu, Pravin Varaiya
    Pricing Network Services. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 2003, pp:- [Conf]
  27. 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]
  28. Pravin Varaiya
    Coordinating Vehicles in an Automated Highway. [Citation Graph (0, 0)][DBLP]
    25th Anniversary of INRIA, 1992, pp:315-330 [Conf]
  29. 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]
  30. Sinem Coleri, Anuj Puri, Pravin Varaiya
    Power Efficient System for Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ISCC, 2003, pp:837-842 [Conf]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. James Yee, Pravin Varaiya
    An Analytic Model for Real-Time Multimedia Disk Scheduling. [Citation Graph (0, 0)][DBLP]
    NOSSDAV, 1992, pp:315-320 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]

  52. Pairwise Algorithm for Distributed Transmit Beamforming. [Citation Graph (, )][DBLP]


  53. Decomposition of Energy Consumption in IEEE 802.11. [Citation Graph (, )][DBLP]


  54. Distributed Online Simultaneous Fault Detection for Multiple Sensors. [Citation Graph (, )][DBLP]


  55. Unequal Importance Image Communication over Heterogeneous Networks. [Citation Graph (, )][DBLP]


  56. Performance Analysis of Slotted Carrier Sense IEEE 802.15.4 Acknowledged Uplink Transmissions. [Citation Graph (, )][DBLP]


Search in 0.089secs, Finished in 0.092secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002