Follow
Vineet Gupta
Vineet Gupta
Google Inc
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
3862004
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
2111997
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
2051999
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
1992002
Transliteration for query expansion
L Katragadda, V Gupta, P Prahladka
US Patent 8,521,761, 2013
1952013
The singular values of convolutional layers
H Sedghi, V Gupta, PM Long
arXiv preprint arXiv:1805.10408, 2018
1932018
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
1871994
Timed default concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1561996
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1452003
Chu spaces: a model of concurrency
V Gupta
stanford university, 1994
1441994
Shampoo: Preconditioned stochastic tensor optimization
V Gupta, T Koren, Y Singer
International Conference on Machine Learning, 1842-1850, 2018
1322018
Hybrid systems diagnosis
S McIlraith, G Biswas, D Clancy, V Gupta
Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2000
1092000
Query identification and association
RV Guha, S Venkataraman, V Gupta, GB Gultekin, P Karbhari, A Jalan
US Patent 8,171,021, 2012
1032012
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior.
BC Williams, S Chung, V Gupta
1032001
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
941998
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
Second order optimization made practical
R Anil, V Gupta, T Koren, K Regan, Y Singer
arXiv preprint arXiv:2002.09018, 2020
87*2020
Stochastic processes as concurrent constraint programs
V Gupta, R Jagadeesan, P Panangaden
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
821999
Large-scale differentially private BERT
R Anil, B Ghazi, V Gupta, R Kumar, P Manurangsi
arXiv preprint arXiv:2108.01624, 2021
792021
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
782015
The system can't perform the operation now. Try again later.
Articles 1–20