Vineet Gupta
Google Publications
-
Communicating Semantics: Reference by Description
Ramanathan V. Guha, Vineet Gupta
ArXiv (2015)
-
Approximate reasoning for real-time probabilistic processes
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Logical Methods in Computer Science, vol. 2 (2006)
-
Metrics for labelled Markov processes
Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Theor. Comput. Sci., vol. 318 (2004), pp. 323-354

