Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vineet Gupta 0001
@inproceedings{DBLP:conf/icsenst/GuptaV23,
author = {Vineet Gupta and
Prashanth Vooka},
title = {An Analog Interface Circuit for Damage Assessment of Structures using
Electro-Mechanical Impedance Method},
booktitle = {16th International Conference on Sensing Technology, {ICST} 2023,
Hyderabad, India, December 17-20, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICST59744.2023.10460775},
doi = {10.1109/ICST59744.2023.10460775},
timestamp = {Tue, 02 Apr 2024 21:06:14 +0200},
biburl = {https://dblp.org/rec/conf/icsenst/GuptaV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/DevvritDA0HD23,
author = {Devvrit and
Sai Surya Duvvuri and
Rohan Anil and
Vineet Gupta and
Cho{-}Jui Hsieh and
Inderjit S. Dhillon},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {A Computationally Efficient Sparsified Online Newton Method},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/0b43289db08ed60edc6451cb2132e203-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/DevvritDA0HD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06234,
author = {Sid Mittal and
Vineet Gupta and
Frederick Liu and
Mukund Sundararajan},
title = {Using Foundation Models to Detect Policy Violations with Minimal Supervision},
journal = {CoRR},
volume = {abs/2306.06234},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.06234},
doi = {10.48550/ARXIV.2306.06234},
eprinttype = {arXiv},
eprint = {2306.06234},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-06234.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10085,
author = {Devvrit and
Sai Surya Duvvuri and
Rohan Anil and
Vineet Gupta and
Cho{-}Jui Hsieh and
Inderjit S. Dhillon},
title = {A Computationally Efficient Sparsified Online Newton Method},
journal = {CoRR},
volume = {abs/2311.10085},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.10085},
doi = {10.48550/ARXIV.2311.10085},
eprinttype = {arXiv},
eprint = {2311.10085},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/AnilG00M22,
author = {Rohan Anil and
Badih Ghazi and
Vineet Gupta and
Ravi Kumar and
Pasin Manurangsi},
editor = {Yoav Goldberg and
Zornitsa Kozareva and
Yue Zhang},
title = {Large-Scale Differentially Private {BERT}},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022},
pages = {6481--6491},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.findings-emnlp.484},
doi = {10.18653/V1/2022.FINDINGS-EMNLP.484},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/AnilG00M22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-01624,
author = {Rohan Anil and
Badih Ghazi and
Vineet Gupta and
Ravi Kumar and
Pasin Manurangsi},
title = {Large-Scale Differentially Private {BERT}},
journal = {CoRR},
volume = {abs/2108.01624},
year = {2021},
url = {https://arxiv.org/abs/2108.01624},
eprinttype = {arXiv},
eprint = {2108.01624},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-01624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09018,
author = {Rohan Anil and
Vineet Gupta and
Tomer Koren and
Kevin Regan and
Yoram Singer},
title = {Second Order Optimization Made Practical},
journal = {CoRR},
volume = {abs/2002.09018},
year = {2020},
url = {https://arxiv.org/abs/2002.09018},
eprinttype = {arXiv},
eprint = {2002.09018},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/SedghiGL19,
author = {Hanie Sedghi and
Vineet Gupta and
Philip M. Long},
title = {The Singular Values of Convolutional Layers},
booktitle = {7th International Conference on Learning Representations, {ICLR} 2019,
New Orleans, LA, USA, May 6-9, 2019},
publisher = {OpenReview.net},
year = {2019},
url = {https://openreview.net/forum?id=rJevYoA9Fm},
timestamp = {Thu, 25 Jul 2019 13:03:15 +0200},
biburl = {https://dblp.org/rec/conf/iclr/SedghiGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Anil0KS19,
author = {Rohan Anil and
Vineet Gupta and
Tomer Koren and
Yoram Singer},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Memory Efficient Adaptive Optimization},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {9746--9755},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/8f1fa0193ca2b5d2fa0695827d8270e9-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/Anil0KS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-11150,
author = {Rohan Anil and
Vineet Gupta and
Tomer Koren and
Yoram Singer},
title = {Memory-Efficient Adaptive Optimization for Large-Scale Learning},
journal = {CoRR},
volume = {abs/1901.11150},
year = {2019},
url = {http://arxiv.org/abs/1901.11150},
eprinttype = {arXiv},
eprint = {1901.11150},
timestamp = {Mon, 04 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-11150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/0001KS18,
author = {Vineet Gupta and
Tomer Koren and
Yoram Singer},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {Shampoo: Preconditioned Stochastic Tensor Optimization},
booktitle = {Proceedings of the 35th International Conference on Machine Learning,
{ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July
10-15, 2018},
series = {Proceedings of Machine Learning Research},
volume = {80},
pages = {1837--1845},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/gupta18a.html},
timestamp = {Wed, 03 Apr 2019 18:17:30 +0200},
biburl = {https://dblp.org/rec/conf/icml/0001KS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09568,
author = {Vineet Gupta and
Tomer Koren and
Yoram Singer},
title = {Shampoo: Preconditioned Stochastic Tensor Optimization},
journal = {CoRR},
volume = {abs/1802.09568},
year = {2018},
url = {http://arxiv.org/abs/1802.09568},
eprinttype = {arXiv},
eprint = {1802.09568},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09568.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-10408,
author = {Hanie Sedghi and
Vineet Gupta and
Philip M. Long},
title = {The Singular Values of Convolutional Layers},
journal = {CoRR},
volume = {abs/1805.10408},
year = {2018},
url = {http://arxiv.org/abs/1805.10408},
eprinttype = {arXiv},
eprint = {1805.10408},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-10408.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DanielyFGS17,
author = {Amit Daniely and
Roy Frostig and
Vineet Gupta and
Yoram Singer},
title = {Random Features for Compositional Kernels},
journal = {CoRR},
volume = {abs/1703.07872},
year = {2017},
url = {http://arxiv.org/abs/1703.07872},
eprinttype = {arXiv},
eprint = {1703.07872},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DanielyFGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuptaKS17,
author = {Vineet Gupta and
Tomer Koren and
Yoram Singer},
title = {A Unified Approach to Adaptive Regularization in Online and Stochastic
Optimization},
journal = {CoRR},
volume = {abs/1706.06569},
year = {2017},
url = {http://arxiv.org/abs/1706.06569},
eprinttype = {arXiv},
eprint = {1706.06569},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuptaKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/GuhaGRS15,
author = {Ramanathan V. Guha and
Vineet Gupta and
Vivek Raghunathan and
Ramakrishnan Srikant},
editor = {Xueqi Cheng and
Hang Li and
Evgeniy Gabrilovich and
Jie Tang},
title = {User Modeling for a Personal Assistant},
booktitle = {Proceedings of the Eighth {ACM} International Conference on Web Search
and Data Mining, {WSDM} 2015, Shanghai, China, February 2-6, 2015},
pages = {275--284},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2684822.2685309},
doi = {10.1145/2684822.2685309},
timestamp = {Tue, 21 May 2019 11:38:33 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/GuhaGRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuhaG15,
author = {Ramanathan V. Guha and
Vineet Gupta},
title = {Communicating Semantics: Reference by Description},
journal = {CoRR},
volume = {abs/1511.06341},
year = {2015},
url = {http://arxiv.org/abs/1511.06341},
eprinttype = {arXiv},
eprint = {1511.06341},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuhaG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SaraswatGJ14,
author = {Vijay A. Saraswat and
Vineet Gupta and
Radha Jagadeesan},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {TCC, with History},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {458--475},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_24},
doi = {10.1007/978-3-319-06880-0\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SaraswatGJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SaraswatJG13,
author = {Vijay A. Saraswat and
Radha Jagadeesan and
Vineet Gupta},
title = {TCC, with History},
journal = {CoRR},
volume = {abs/1310.5538},
year = {2013},
url = {http://arxiv.org/abs/1310.5538},
eprinttype = {arXiv},
eprint = {1310.5538},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SaraswatJG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DesharnaisGJP10,
author = {Jos{\'{e}}e Desharnais and
Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
title = {Weak bisimulation is sound and complete for pCTL\({}^{\mbox{*}}\)},
journal = {Inf. Comput.},
volume = {208},
number = {2},
pages = {203--219},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.11.002},
doi = {10.1016/J.IC.2009.11.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DesharnaisGJP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GuptaJP06,
author = {Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
title = {Approximate reasoning for real-time probabilistic processes},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {1},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(1:4)2006},
doi = {10.2168/LMCS-2(1:4)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GuptaJP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0505063,
author = {Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
title = {Approximate reasoning for real-time probabilistic processes},
journal = {CoRR},
volume = {abs/cs/0505063},
year = {2005},
url = {http://arxiv.org/abs/cs/0505063},
eprinttype = {arXiv},
eprint = {cs/0505063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DesharnaisGJP04,
author = {Jos{\'{e}}e Desharnais and
Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
title = {Metrics for labelled Markov processes},
journal = {Theor. Comput. Sci.},
volume = {318},
number = {3},
pages = {323--354},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.09.013},
doi = {10.1016/J.TCS.2003.09.013},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DesharnaisGJP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GuptaJP04,
author = {Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
title = {Approximate Reasoning for Real-Time Probabilistic Processes},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {304--313},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348044},
doi = {10.1109/QEST.2004.1348044},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/GuptaJP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DesharnaisGJP03,
author = {Jos{\'{e}}e Desharnais and
Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
title = {Approximating labelled Markov processes},
journal = {Inf. Comput.},
volume = {184},
number = {1},
pages = {160--200},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00051-8},
doi = {10.1016/S0890-5401(03)00051-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DesharnaisGJP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/SaraswatJG03,
author = {Vijay A. Saraswat and
Radha Jagadeesan and
Vineet Gupta},
editor = {Fernando Moura{-}Pires and
Salvador Abreu},
title = {jcc: Integrating Timed Default Concurrent Constraint Programming into
Java},
booktitle = {Progress in Artificial Intelligence, 11th Protuguese Conference on
Artificial Intelligence, {EPIA} 2003, Beja, Portugal, December 4-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2902},
pages = {156--170},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24580-3\_23},
doi = {10.1007/978-3-540-24580-3\_23},
timestamp = {Sun, 02 Jun 2019 21:25:42 +0200},
biburl = {https://dblp.org/rec/conf/epia/SaraswatJG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GuptaJS02,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
title = {Truly concurrent constraint programming},
journal = {Theor. Comput. Sci.},
volume = {278},
number = {1-2},
pages = {223--255},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00337-6},
doi = {10.1016/S0304-3975(00)00337-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GuptaJS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DesharnaisGJP02,
author = {Jos{\'{e}}e Desharnais and
Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Weak Bisimulation is Sound and Complete for PCTL*},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {355--370},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_24},
doi = {10.1007/3-540-45694-5\_24},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DesharnaisGJP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DesharnaisJGP02,
author = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan and
Vineet Gupta and
Prakash Panangaden},
title = {The Metric Analogue of Weak Bisimulation for Probabilistic Processes},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {413--422},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029849},
doi = {10.1109/LICS.2002.1029849},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DesharnaisJGP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WilliamsCG01,
author = {Brian C. Williams and
Seung Chung and
Vineet Gupta},
editor = {Bernhard Nebel},
title = {Mode Estimation of Model-based Programs: Monitoring Systems with Complex
Behavior},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {579--590},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WilliamsCG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/JagadeesanLG00,
author = {Radha Jagadeesan and
Konstantin L{\"{a}}ufer and
Vineet Gupta},
title = {The Triveni project},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {59},
year = {2000},
url = {https://doi.org/10.1145/340855.340962},
doi = {10.1145/340855.340962},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/JagadeesanLG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GuptaJJJL00,
author = {Vineet Gupta and
Lalita Jategaonkar Jagadeesan and
Radha Jagadeesan and
Xiaowei Jiang and
Konstantin L{\"{a}}ufer},
editor = {Rina Dechter},
title = {A Constraint-Based Framework for Prototyping Distributed Virtual Applications},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
International Conference, Singapore, September 18-21, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1894},
pages = {202--217},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45349-0\_16},
doi = {10.1007/3-540-45349-0\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GuptaJJJL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/McIlraithBCG00,
author = {Sheila A. McIlraith and
Gautam Biswas and
Dan Clancy and
Vineet Gupta},
editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Hybrid Systems Diagnosis},
booktitle = {Hybrid Systems: Computation and Control, Third International Workshop,
{HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1790},
pages = {282--295},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46430-1\_25},
doi = {10.1007/3-540-46430-1\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/McIlraithBCG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DesharnaisGJP00,
author = {Jos{\'{e}}e Desharnais and
Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
title = {Approximating Labeled Markov Processes},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {95--106},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855759},
doi = {10.1109/LICS.2000.855759},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DesharnaisGJP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DesharnaisGJP99,
author = {Jos{\'{e}}e Desharnais and
Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Metrics for Labeled Markov Systems},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {258--273},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_19},
doi = {10.1007/3-540-48320-9\_19},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DesharnaisGJP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GuptaJP99,
author = {Vineet Gupta and
Radha Jagadeesan and
Prakash Panangaden},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Stochastic Processes as Concurrent Constraint Programs},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {189--202},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292558},
doi = {10.1145/292540.292558},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GuptaJP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GuptaJS98,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
title = {Computing with Continuous Change},
journal = {Sci. Comput. Program.},
volume = {30},
number = {1-2},
pages = {3--49},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(97)00006-3},
doi = {10.1016/S0167-6423(97)00006-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GuptaJS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/GuptaL98,
author = {Vineet Gupta and
John Lamping},
editor = {Christian Boitet and
Pete Whitelock},
title = {Efficient Linear Logic Meaning Assembly},
booktitle = {36th Annual Meeting of the Association for Computational Linguistics
and 17th International Conference on Computational Linguistics, {COLING-ACL}
'98, August 10-14, 1998, Universit{\'{e}} de Montr{\'{e}}al,
Montr{\'{e}}al, Quebec, Canada. Proceedings of the Conference},
pages = {464--470},
publisher = {Morgan Kaufmann Publishers / {ACL}},
year = {1998},
url = {https://aclanthology.org/P98-1077/},
doi = {10.3115/980845.980924},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/GuptaL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CarlsonG98,
author = {Bj{\"{o}}rn Carlson and
Vineet Gupta},
editor = {Thomas A. Henzinger and
Shankar Sastry},
title = {Hybrid cc with Interval Constraints},
booktitle = {Hybrid Systems: Computation and Control, First International Workshop,
HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1386},
pages = {80--95},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64358-3\_33},
doi = {10.1007/3-540-64358-3\_33},
timestamp = {Mon, 25 Jul 2022 16:36:55 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CarlsonG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Carlson0H97,
author = {Bj{\"{o}}rn Carlson and
Vineet Gupta and
Tad Hogg},
editor = {Eugene C. Freuder},
title = {Controlling Agents in Smart Matter with Global Constraints},
booktitle = {Constraints {\&} Agents: Collected Papers from the 1997 {AAAI}
Workshop, Providence, RI, USA, July 27, 1997},
pages = {58--63},
publisher = {{AAAI} Press},
year = {1997},
timestamp = {Fri, 19 May 2023 15:58:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Carlson0H97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuptaJS97,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Probabilistic Concurrent Constraint Programming},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {243--257},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_17},
doi = {10.1007/3-540-63141-0\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuptaJS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GuptaHJ97,
author = {Vineet Gupta and
Thomas A. Henzinger and
Radha Jagadeesan},
editor = {Oded Maler},
title = {Robust Timed Automata},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {331--345},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014736},
doi = {10.1007/BFB0014736},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GuptaHJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SaraswatJG96,
author = {Vijay A. Saraswat and
Radha Jagadeesan and
Vineet Gupta},
title = {Timed Default Concurrent Constraint Programming},
journal = {J. Symb. Comput.},
volume = {22},
number = {5/6},
pages = {475--520},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0064},
doi = {10.1006/JSCO.1996.0064},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SaraswatJG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuptaJS96,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Models for Concurrent Constraint Programming},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {66--83},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_48},
doi = {10.1007/3-540-61604-7\_48},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuptaJS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuptaJS96a,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Truly Concurrent Constraint Programming},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {373--388},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_65},
doi = {10.1007/3-540-61604-7\_65},
timestamp = {Fri, 15 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuptaJS96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GuptaJS95,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid cc, Hybrid Automata and Program Verification},
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 = {52--63},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020935},
doi = {10.1007/BFB0020935},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GuptaJS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IwasakiFSBG95,
author = {Yumi Iwasaki and
Adam Farquhar and
Vijay A. Saraswat and
Daniel G. Bobrow and
Vineet Gupta},
title = {Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {1773--1781},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/097.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/IwasakiFSBG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SaraswatJG95,
author = {Vijay A. Saraswat and
Radha Jagadeesan and
Vineet Gupta},
editor = {Ron K. Cytron and
Peter Lee},
title = {Default Timed Concurrent Constraint Programming},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {272--285},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199513},
doi = {10.1145/199448.199513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SaraswatJG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Gupta94,
author = {Vineet Gupta},
title = {Chu spaces: a model of concurrency},
school = {Stanford University, {USA}},
year = {1994},
url = {https://searchworks.stanford.edu/view/2959383},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Gupta94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GuptaJSB94,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat and
Daniel G. Bobrow},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Programming in Hybrid Constraint Languages},
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 = {226--251},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_12},
doi = {10.1007/3-540-60472-3\_12},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GuptaJSB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SaraswatJG94,
author = {Vijay A. Saraswat and
Radha Jagadeesan and
Vineet Gupta},
title = {Foundations of Timed Concurrent Constraint Programming},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316085},
doi = {10.1109/LICS.1994.316085},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/SaraswatJG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GuptaP93,
author = {Vineet Gupta and
Vaughan R. Pratt},
title = {Gages Accept Concurrent Behavior},
booktitle = {34th Annual Symposium on Foundations of Computer Science, Palo Alto,
California, USA, 3-5 November 1993},
pages = {62--71},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/SFCS.1993.366881},
doi = {10.1109/SFCS.1993.366881},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GuptaP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/SaraswatJG93,
author = {Vijay A. Saraswat and
Radha Jagadeesan and
Vineet Gupta},
editor = {Brian H. Mayoh and
Enn Tyugu and
Jaan Penjam},
title = {Programming in Timed Concurrent Constraint Languages},
booktitle = {Constraint Programming, Proceedings of the {NATO} Advanced Study Institute
on Constraint Programming, Parnu, Estonia, August 13-24, 1993},
series = {{NATO} {ASI} Series},
volume = {131},
pages = {367--413},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-85983-0\_15},
doi = {10.1007/978-3-642-85983-0\_15},
timestamp = {Fri, 15 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/SaraswatJG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-03 22:47 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:
