Search the dblp DataBase
Vineet Gupta: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Vineet Gupta, John Lamping
Efficient Linear Logic Meaning Assembly. [Citation Graph (0, 0)][DBLP]
COLING-ACL, 1998, pp:464-470 [Conf] - Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Weak Bisimulation is Sound and Complete for PCTL*. [Citation Graph (0, 0)][DBLP]
CONCUR, 2002, pp:355-370 [Conf] - Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for Labeled Markov Systems. [Citation Graph (0, 0)][DBLP]
CONCUR, 1999, pp:258-273 [Conf] - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Models for Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
CONCUR, 1996, pp:66-83 [Conf] - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Truly Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
CONCUR, 1996, pp:373-388 [Conf] - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
CONCUR, 1997, pp:243-257 [Conf] - Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer
A Constraint-Based Framework for Prototyping Distributed Virtual Applications. [Citation Graph (0, 0)][DBLP]
CP, 2000, pp:202-217 [Conf] - Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. [Citation Graph (0, 0)][DBLP]
EPIA, 2003, pp:156-170 [Conf] - Vineet Gupta, Vaughan R. Pratt
Gages Accept Concurrent Behavior [Citation Graph (0, 0)][DBLP]
FOCS, 1993, pp:62-71 [Conf] - Björn Carlson, Vineet Gupta
Hybrid cc with Interval Constraints. [Citation Graph (0, 0)][DBLP]
HSCC, 1998, pp:80-95 [Conf] - Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
Robust Timed Automata. [Citation Graph (0, 0)][DBLP]
HART, 1997, pp:331-345 [Conf] - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Hybrid cc, Hybrid Automata and Program Verification. [Citation Graph (0, 0)][DBLP]
Hybrid Systems, 1995, pp:52-63 [Conf] - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow
Programming in Hybrid Constraint Languages. [Citation Graph (0, 0)][DBLP]
Hybrid Systems, 1994, pp:226-251 [Conf] - Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta
Hybrid Systems Diagnosis. [Citation Graph (0, 0)][DBLP]
HSCC, 2000, pp:282-295 [Conf] - Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? [Citation Graph (0, 0)][DBLP]
IJCAI, 1995, pp:1773-1781 [Conf] - Brian C. Williams, Seung Chung, Vineet Gupta
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. [Citation Graph (0, 0)][DBLP]
IJCAI, 2001, pp:579-590 [Conf] - Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating Labeled Markov Processes. [Citation Graph (0, 0)][DBLP]
LICS, 2000, pp:95-106 [Conf] - Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
LICS, 2002, pp:413-422 [Conf] - Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Foundations of Timed Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP]
LICS, 1994, pp:71-80 [Conf] - Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Stochastic Processes as Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
POPL, 1999, pp:189-202 [Conf] - Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Default Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
POPL, 1995, pp:272-285 [Conf] - Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate Reasoning for Real-Time Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:304-313 [Conf] - Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating labelled Markov processes. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2003, v:184, n:1, pp:160-200 [Journal] - Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Timed Default Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1996, v:22, n:5/6, pp:475-520 [Journal] - Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate reasoning for real-time probabilistic processes. [Citation Graph (0, 0)][DBLP]
Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal] - Vineet Gupta, Benjamin A. Knott, Santosh Kodgi, Corinna E. Lathan
Using the 'VREYE' System for Assessment of Unilateral Visual Neglect: Two Case Reports. [Citation Graph (0, 0)][DBLP]
Presence, 2000, v:9, n:3, pp:268-286 [Journal] - Vineet Gupta, Narender P. Reddy, Pelin Batur
Forces in Laparoscopic Surgical Tools. [Citation Graph (0, 0)][DBLP]
Presence, 1997, v:6, n:2, pp:218-228 [Journal] - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Computing with Continuous Change. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1998, v:30, n:1-2, pp:3-49 [Journal] - Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for labelled Markov processes. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2004, v:318, n:3, pp:323-354 [Journal] - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Truly concurrent constraint programming. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2002, v:278, n:1-2, pp:223-255 [Journal]
Approximate reasoning for real-time probabilistic processes [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.004secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002