Vineet Gupta

	2011
35		Qiong Cheng, Mitsunori Ogihara, Vineet Gupta: Learning Condition-Dependent Dynamical PPI Networks from Conflict-Sensitive Phosphorylation Dynamics. BIBM 2011: 309-312
	2010
34		Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010)
33		Pierre Busson, Nitin Chawla, Jérôme Bach, Stéphane Le Tual, Harvinder Singh, Vineet Gupta, Pascal Urard: A 1 GHz Digital Channel Multiplexer for Satellite Outdoor Unit. J. Solid-State Circuits 45(1): 84-94 (2010)
	2009
32		Pierre Busson, Nitin Chawla, Jérôme Bach, Stéphane Le Tual, Harvinder Singh, Vineet Gupta, Pascal Urard: A 1GHz digital channel multiplexer for satellite OutDoor Unit based on a 65nm CMOS transceiver. ISSCC 2009: 258-259
	2006
31		Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes. Logical Methods in Computer Science 2(1): (2006)
	2005
30		Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes CoRR abs/cs/0505063: (2005)
	2004
29		Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate Reasoning for Real-Time Probabilistic Processes. QEST 2004: 304-313
28		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
	2003
27		Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170
26		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
	2002
25		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
24		Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
23		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		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		Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta: Hybrid Systems Diagnosis. HSCC 2000: 282-295
19		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		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for Labeled Markov Systems. CONCUR 1999: 258-273
16		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	Jérôme Bach	[32] [33]
2	Pelin Batur	[10]
3	Gautam Biswas	[20]
4	Daniel G. Bobrow	[3] [5]
5	Pierre Busson	[32] [33]
6	Björn Carlson	[14]
7	Nitin Chawla	[32] [33]
8	Qiong Cheng	[35]
9	Seung Chung	[22]
10	Dan Clancy	[20]
11	Josée Desharnais (Josee Desharnais)	[17] [19] [24] [25] [26] [28] [34]
12	Adam Farquhar	[5]
13	Thomas A. Henzinger	[11]
14	Yumi Iwasaki	[5]
15	Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)	[21]
16	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] [34]
17	Xiaowei Jiang	[21]
18	Benjamin A. Knott	[18]
19	Santosh Kodgi	[18]
20	John Lamping	[15]
21	Corinna E. Lathan	[18]
22	Konstantin Läufer	[21]
23	Sheila A. McIlraith	[20]
24	Mitsunori Ogihara (Mitsunori Ogiwara)	[35]
25	Prakash Panangaden	[16] [17] [19] [24] [25] [26] [28] [29] [30] [31] [34]
26	Vaughan R. Pratt	[1]
27	Narender P. Reddy	[10]
28	Vijay A. Saraswat	[2] [3] [4] [5] [6] [7] [8] [9] [12] [13] [23] [27]
29	Harvinder Singh	[32] [33]
30	Stéphane Le Tual	[32] [33]
31	Pascal Urard	[32] [33]
32	Brian C. Williams	[22]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page