Follow
Vineet Gupta
Vineet Gupta
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
4032004
The singular values of convolutional layers
H Sedghi, V Gupta, PM Long
arXiv preprint arXiv:1805.10408, 2018
2232018
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
2171997
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
2111999
The metric analogue of weak bisimulation for probabilistic processes
J Desharnais, R Jagadeesan, V Gupta, P Panangaden
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 413-422, 2002
2052002
Transliteration for query expansion
L Katragadda, V Gupta, P Prahladka
US Patent 8,521,761, 2013
2032013
Shampoo: Preconditioned stochastic tensor optimization
V Gupta, T Koren, Y Singer
International Conference on Machine Learning, 1842-1850, 2018
1972018
Foundations of timed concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 71-80, 1994
1881994
Timed default concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1501996
Chu spaces: a model of concurrency
V Gupta
stanford university, 1994
1471994
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1442003
Large-scale differentially private BERT
R Anil, B Ghazi, V Gupta, R Kumar, P Manurangsi
arXiv preprint arXiv:2108.01624, 2021
1362021
Second order optimization made practical
R Anil, V Gupta, T Koren, K Regan, Y Singer
arXiv preprint arXiv:2002.09018, 2020
120*2020
Hybrid systems diagnosis
S McIlraith, G Biswas, D Clancy, V Gupta
Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2000
1132000
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior.
BC Williams, S Chung, V Gupta
104*2001
Query identification and association
RV Guha, S Venkataraman, V Gupta, GB Gultekin, P Karbhari, A Jalan
US Patent 8,171,021, 2012
1032012
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
961998
Memory-efficient adaptive optimization for large-scale learning
R Anil, V Gupta, T Koren, Y Singer
arXiv preprint arXiv:1901.11150 4, 2019
92*2019
User modeling for a personal assistant
R Guha, V Gupta, V Raghunathan, R Srikant
Proceedings of the Eighth ACM International Conference on Web Search and …, 2015
912015
System and method for providing preferred country biasing of search results
V Gupta, B Gomes, J Lamping, M McGrath, A Singhal, S Tong
US Patent 7,451,130, 2008
882008
The system can't perform the operation now. Try again later.
Articles 1–20