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
3062004
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
1931997
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
1822002
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
1771994
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
1761999
Timed default concurrent constraint programming
V Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1421996
Chu spaces: a model for concurrency
V Gupta
Department of Computer Science, Stanford University, 1994
1351994
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1322003
Hybrid systems diagnosis
S McIlraith, G Biswas, D Clancy, V Gupta
International Workshop on Hybrid Systems: Computation and Control, 282-295, 2000
1032000
Mode estimation of model-based programs: monitoring systems with complex behavior
BC Williams, S Chung, V Gupta
IJCAI, 579-590, 2001
942001
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
901998
Query identification and association
RV Guha, S Venkataraman, V Gupta, GB Gultekin, P Karbhari, A Jalan
US Patent 8,171,021, 2012
852012
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
812008
Transliteration for query expansion
L Katragadda, V Gupta, P Prahladka
US Patent 8,521,761, 2013
782013
Stochastic processes as concurrent constraint programs
V Gupta, R Jagadeesan, P Panangaden
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
761999
Programming in hybrid constraint languages
V Gupta, R Jagadeesan, V Saraswat, DG Bobrow
International Hybrid Systems Workshop, 226-251, 1994
731994
Modeling time in hybrid systems: how fast is" instantaneous"?
Y Iwasaki, A Farquhar, V Saraswat, D Bobrow, V Gupta
IJCAI, 1773-1781, 1995
631995
Approximating labeled Markov processes
J Desharnais, R Jagadeesan, V Gupta, P Panangaden
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
612000
Gates accept concurrent behavior
V Gupta, V Pratt
Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, 62-71, 1993
611993
Probabilistic concurrent constraint programming
V Gupta, R Jagadeesan, V Saraswat
International Conference on Concurrency Theory, 243-257, 1997
601997
The system can't perform the operation now. Try again later.
Articles 1–20