default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Anuj Puri
@article{DBLP:journals/digitalsociety/Puri23,
author = {Anuj Puri},
title = {The Group Right to Mutual Privacy},
journal = {Digit. Soc.},
volume = {2},
number = {2},
pages = {22},
year = {2023},
url = {https://doi.org/10.1007/s44206-023-00051-5},
doi = {10.1007/S44206-023-00051-5},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/digitalsociety/Puri23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsnets/SinghNLSSSP11,
author = {Amarjeet Singh and
Vinayak S. Naik and
Sangeeta Lal and
Raja Sengupta and
Deepak Saxena and
Pushpendra Singh and
Anuj Puri},
editor = {David B. Johnson and
Anurag Kumar},
title = {Improving the efficiency of healthcare delivery system in underdeveloped
rural areas},
booktitle = {Third International Conference on Communication Systems and Networks,
{COMSNETS} 2011, Bangalore, India, January 4-8, 2011},
pages = {1--6},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/COMSNETS.2011.5716519},
doi = {10.1109/COMSNETS.2011.5716519},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comsnets/SinghNLSSSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/PuriVK07,
author = {Anuj Puri and
Kimon P. Valavanis and
Michael Kontitsis},
title = {Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based
Video Data},
booktitle = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA}
2007, 10-14 April 2007, Roma, Italy},
pages = {870--876},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ROBOT.2007.363095},
doi = {10.1109/ROBOT.2007.363095},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/PuriVK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/ColeriPV03,
author = {Sinem Coleri Ergen and
Anuj Puri and
Pravin Varaiya},
title = {Power Efficient System for Sensor Networks},
booktitle = {Proceedings of the Eighth {IEEE} Symposium on Computers and Communications
{(ISCC} 2003), 30 June - 3 July 2003, Kiris-Kemer, Turkey},
pages = {837--842},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISCC.2003.1214221},
doi = {10.1109/ISCC.2003.1214221},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscc/ColeriPV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/DongEVP03,
author = {X. James Dong and
Mustafa Ergen and
Pravin Varaiya and
Anuj Puri},
title = {Improving the Aggregate Throughput of Access Points in {IEEE} 802.11
Wireless LANs},
booktitle = {28th Annual {IEEE} Conference on Local Computer Networks {(LCN} 2003),
The Conference on Leading Edge and Practical Computer Networking,
20-24 October 2003, Bonn/K{\"{o}}nigswinter, Germany, Proceedings},
pages = {682--681},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LCN.2003.1243201},
doi = {10.1109/LCN.2003.1243201},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/DongEVP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbc/ErgenEPB02,
author = {Sinem Coleri Ergen and
Mustafa Ergen and
Anuj Puri and
Ahmad Bahai},
title = {Channel estimation techniques based on pilot arrangement in {OFDM}
systems},
journal = {{IEEE} Trans. Broadcast.},
volume = {48},
number = {3},
pages = {223--229},
year = {2002},
url = {https://doi.org/10.1109/TBC.2002.804034},
doi = {10.1109/TBC.2002.804034},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbc/ErgenEPB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/DongVP02,
author = {X. James Dong and
Pravin Varaiya and
Anuj Puri},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} 2002, Las Vegas, Nevada, USA, June 24-27, 2002},
pages = {125--131},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 03 Feb 2017 14:05:09 +0100},
biburl = {https://dblp.org/rec/conf/ic/DongVP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/AgarwalP02,
author = {Mohit Agarwal and
Anuj Puri},
title = {Base station scheduling of requests with fixed deadlines},
booktitle = {Proceedings {IEEE} {INFOCOM} 2002, The 21st Annual Joint Conference
of the {IEEE} Computer and Communications Societies, New York, USA,
June 23-27, 2002},
pages = {487--496},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/INFCOM.2002.1019293},
doi = {10.1109/INFCOM.2002.1019293},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/AgarwalP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/PuriT02,
author = {Anuj Puri and
Stavros Tripakis},
editor = {Martti Penttonen and
Erik Meineche Schmidt},
title = {Algorithms for the Multi-constrained Routing Problem},
booktitle = {Algorithm Theory - {SWAT} 2002, 8th Scandinavian Workshop on Algorithm
Theory, Turku, Finland, July 3-5, 2002 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2368},
pages = {338--347},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45471-3\_35},
doi = {10.1007/3-540-45471-3\_35},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/swat/PuriT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/AgarwalP02,
author = {Mohit Agarwal and
Anuj Puri},
title = {Optimal buffering policy for downloading music in heterogeneous wireless
networks},
booktitle = {2002 {IEEE} Wireless Communications and Networking Conference Record,
{WCNC} 2002, Orlando, Florida, USA, MArch 17-21, 2002},
pages = {337--341},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/WCNC.2002.993518},
doi = {10.1109/WCNC.2002.993518},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/AgarwalP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/Puri02,
author = {Anuj Puri},
title = {Optimizing traffic flow in fixed wireless networks},
booktitle = {2002 {IEEE} Wireless Communications and Networking Conference Record,
{WCNC} 2002, Orlando, Florida, USA, MArch 17-21, 2002},
pages = {904--907},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/WCNC.2002.993391},
doi = {10.1109/WCNC.2002.993391},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/Puri02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/JainPS01,
author = {Rahul Jain and
Anuj Puri and
Raja Sengupta},
title = {Geographical routing using partial information for wireless ad hoc
networks},
journal = {{IEEE} Wirel. Commun.},
volume = {8},
number = {1},
pages = {48--57},
year = {2001},
url = {https://doi.org/10.1109/98.904899},
doi = {10.1109/98.904899},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wc/JainPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/Puri00,
author = {Anuj Puri},
title = {Dynamical Properties of Timed Automata},
journal = {Discret. Event Dyn. Syst.},
volume = {10},
number = {1-2},
pages = {87--113},
year = {2000},
url = {https://doi.org/10.1023/A:1008387132377},
doi = {10.1023/A:1008387132377},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/Puri00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/Puri99,
author = {Anuj Puri},
title = {An Undecidable Problem for Timed Automata},
journal = {Discret. Event Dyn. Syst.},
volume = {9},
number = {2},
pages = {135--146},
year = {1999},
url = {https://doi.org/10.1023/A:1008319830371},
doi = {10.1023/A:1008319830371},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/Puri99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HolzmannP99,
author = {Gerard J. Holzmann and
Anuj Puri},
title = {A Minimized Automaton Representation of Reachable States},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {3},
pages = {270--278},
year = {1999},
url = {https://doi.org/10.1007/s100090050034},
doi = {10.1007/S100090050034},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HolzmannP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HenzingerKPV98,
author = {Thomas A. Henzinger and
Peter W. Kopke and
Anuj Puri and
Pravin Varaiya},
title = {What's Decidable about Hybrid Automata?},
journal = {J. Comput. Syst. Sci.},
volume = {57},
number = {1},
pages = {94--124},
year = {1998},
url = {https://doi.org/10.1006/jcss.1998.1581},
doi = {10.1006/JCSS.1998.1581},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HenzingerKPV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Puri98,
author = {Anuj Puri},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Dynamical Properties of Timed Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {210--227},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055349},
doi = {10.1007/BFB0055349},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Puri98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KrishnanPBV95,
author = {Sriram C. Krishnan and
Anuj Puri and
Robert K. Brayton and
Pravin Varaiya},
editor = {Pierre Wolper},
title = {The Rabin Index and Chain Automata, with Applications to Automatas
and Games},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {253--266},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_55},
doi = {10.1007/3-540-60045-0\_55},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KrishnanPBV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PuriBV95,
author = {Anuj Puri and
Vivek S. Borkar and
Pravin Varaiya},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Epsilon-Approximation of Differential Inclusions},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {362--376},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020960},
doi = {10.1007/BFB0020960},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PuriBV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KrishnanPB95,
author = {Sriram C. Krishnan and
Anuj Puri and
Robert K. Brayton},
editor = {Ernst W. Mayr and
Claude Puech},
title = {Structural Complexity of Omega-Automata},
booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer
Science, Munich, Germany, March 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {900},
pages = {143--156},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59042-0\_69},
doi = {10.1007/3-540-59042-0\_69},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KrishnanPB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HenzingerKPV95,
author = {Thomas A. Henzinger and
Peter W. Kopke and
Anuj Puri and
Pravin Varaiya},
editor = {Frank Thomson Leighton and
Allan Borodin},
title = {What's decidable about hybrid automata?},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Theory
of Computing, 29 May-1 June 1995, Las Vegas, Nevada, {USA}},
pages = {373--382},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225058.225162},
doi = {10.1145/225058.225162},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HenzingerKPV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PuriV94,
author = {Anuj Puri and
Pravin Varaiya},
editor = {David L. Dill},
title = {Decidability of Hybrid Systems with Rectangular Differential Inclusion},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {95--104},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_46},
doi = {10.1007/3-540-58179-0\_46},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PuriV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PuriV94,
author = {Anuj Puri and
Pravin Varaiya},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Verification of Hybrid Systems Using Abstractions},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {359--369},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_18},
doi = {10.1007/3-540-60472-3\_18},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PuriV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KrishnanPB94,
author = {Sriram C. Krishnan and
Anuj Puri and
Robert K. Brayton},
editor = {Ding{-}Zhu Du and
Xiang{-}Sun Zhang},
title = {Deterministic w Automata vis-a-vis Deterministic Buchi Automata},
booktitle = {Algorithms and Computation, 5th International Symposium, {ISAAC} '94,
Beijing, P. R. China, August 25-27, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {834},
pages = {378--386},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58325-4\_202},
doi = {10.1007/3-540-58325-4\_202},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KrishnanPB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
