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
3332004
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
2011997
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
1911999
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
1852002
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
1821994
Chu spaces: a model of concurrency
V Gupta
stanford university, 1994
1431994
Timed default concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1411996
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1402003
Transliteration for query expansion
L Katragadda, V Gupta, P Prahladka
US Patent 8,521,761, 2013
1332013
The singular values of convolutional layers
H Sedghi, V Gupta, PM Long
arXiv preprint arXiv:1805.10408, 2018
1092018
Hybrid systems diagnosis
S McIlraith, G Biswas, D Clancy, V Gupta
International Workshop on Hybrid Systems: Computation and Control, 282-295, 2000
1042000
Mode estimation of model-based programs: monitoring systems with complex behavior
BC Williams, S Chung, V Gupta
IJCAI, 579-590, 2001
982001
Query identification and association
RV Guha, S Venkataraman, V Gupta, GB Gultekin, P Karbhari, A Jalan
US Patent 8,171,021, 2012
932012
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
931998
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
852008
Stochastic processes as concurrent constraint programs
V Gupta, R Jagadeesan, P Panangaden
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
771999
Programming in hybrid constraint languages
V Gupta, R Jagadeesan, V Saraswat, DG Bobrow
International Hybrid Systems Workshop, 226-251, 1994
741994
Modeling time in hybrid systems: how fast is" instantaneous"?
Y Iwasaki, A Farquhar, V Saraswat, D Bobrow, V Gupta
IJCAI, 1773-1781, 1995
631995
Probabilistic concurrent constraint programming
V Gupta, R Jagadeesan, V Saraswat
International Conference on Concurrency Theory, 243-257, 1997
621997
Gates accept concurrent behavior
V Gupta, V Pratt
Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, 62-71, 1993
611993
The system can't perform the operation now. Try again later.
Articles 1–20