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 |