Vineet Gupta

2006
31	EE	Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes. Logical Methods in Computer Science 2(1): (2006)
2005
30	EE	Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes CoRR abs/cs/0505063: (2005)
2004
29	EE	Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate Reasoning for Real-Time Probabilistic Processes. QEST 2004: 304-313
28	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
2003
27	EE	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170
26	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
2002
25	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
24	EE	Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
23	EE	Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly concurrent constraint programming. Theor. Comput. Sci. 278(1-2): 223-255 (2002)
2001
22		Brian C. Williams, Seung Chung, Vineet Gupta: Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. IJCAI 2001: 579-590
2000
21	EE	Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer: A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP 2000: 202-217
20	EE	Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta: Hybrid Systems Diagnosis. HSCC 2000: 282-295
19	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating Labeled Markov Processes. LICS 2000: 95-106
18		Vineet Gupta, Benjamin A. Knott, Santosh Kodgi, Corinna E. Lathan: Using the 'VREYE' System for Assessment of Unilateral Visual Neglect: Two Case Reports. Presence 9(3): 268-286 (2000)
1999
17	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for Labeled Markov Systems. CONCUR 1999: 258-273
16	EE	Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Stochastic Processes as Concurrent Constraint Programs. POPL 1999: 189-202
1998
15		Vineet Gupta, John Lamping: Efficient Linear Logic Meaning Assembly. COLING-ACL 1998: 464-470
14		Björn Carlson, Vineet Gupta: Hybrid cc with Interval Constraints. HSCC 1998: 80-95
13		Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Computing with Continuous Change. Sci. Comput. Program. 30(1-2): 3-49 (1998)
1997
12		Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Probabilistic Concurrent Constraint Programming. CONCUR 1997: 243-257
11		Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan: Robust Timed Automata. HART 1997: 331-345
10		Vineet Gupta, Narender P. Reddy, Pelin Batur: Forces in Laparoscopic Surgical Tools. Presence 6(2): 218-228 (1997)
1996
9		Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly Concurrent Constraint Programming. CONCUR 1996: 373-388
8		Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Models for Concurrent Constraint Programming. CONCUR 1996: 66-83
7		Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22(5/6): 475-520 (1996)
1995
6		Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems 1995: 52-63
5		Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta: Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? IJCAI 1995: 1773-1781
4		Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Default Timed Concurrent Constraint Programming. POPL 1995: 272-285
1994
3		Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow: Programming in Hybrid Constraint Languages. Hybrid Systems 1994: 226-251
2		Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Foundations of Timed Concurrent Constraint Programming LICS 1994: 71-80
1993
1		Vineet Gupta, Vaughan R. Pratt: Gages Accept Concurrent Behavior FOCS 1993: 62-71

Coauthor Index

1	Pelin Batur	[10]
2	Gautam Biswas	[20]
3	Daniel G. Bobrow	[3] [5]
4	Björn Carlson	[14]
5	Seung Chung	[22]
6	Dan Clancy	[20]
7	Josée Desharnais (Josee Desharnais)	[17] [19] [24] [25] [26] [28]
8	Adam Farquhar	[5]
9	Thomas A. Henzinger	[11]
10	Yumi Iwasaki	[5]
11	Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)	[21]
12	Radha Jagadeesan	[2] [3] [4] [6] [7] [8] [9] [11] [12] [13] [16] [17] [19] [21] [23] [24] [25] [26] [27] [28] [29] [30] [31]
13	Xiaowei Jiang	[21]
14	Benjamin A. Knott	[18]
15	Santosh Kodgi	[18]
16	John Lamping	[15]
17	Corinna E. Lathan	[18]
18	Konstantin Läufer	[21]
19	Sheila A. McIlraith	[20]
20	Prakash Panangaden	[16] [17] [19] [24] [25] [26] [28] [29] [30] [31]
21	Vaughan R. Pratt	[1]
22	Narender P. Reddy	[10]
23	Vijay A. Saraswat	[2] [3] [4] [5] [6] [7] [8] [9] [12] [13] [23] [27]
24	Brian C. Williams	[22]

Colors in the list of coauthors