The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vineet Gupta: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vineet Gupta, John Lamping
    Efficient Linear Logic Meaning Assembly. [Citation Graph (0, 0)][DBLP]
    COLING-ACL, 1998, pp:464-470 [Conf]
  2. 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]
  3. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Metrics for Labeled Markov Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:258-273 [Conf]
  4. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
    Models for Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:66-83 [Conf]
  5. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
    Truly Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:373-388 [Conf]
  6. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
    Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:243-257 [Conf]
  7. 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]
  8. 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]
  9. Vineet Gupta, Vaughan R. Pratt
    Gages Accept Concurrent Behavior [Citation Graph (0, 0)][DBLP]
    FOCS, 1993, pp:62-71 [Conf]
  10. Björn Carlson, Vineet Gupta
    Hybrid cc with Interval Constraints. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:80-95 [Conf]
  11. Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
    Robust Timed Automata. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:331-345 [Conf]
  12. 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]
  13. 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]
  14. Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta
    Hybrid Systems Diagnosis. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:282-295 [Conf]
  15. 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]
  16. 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]
  17. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Approximating Labeled Markov Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:95-106 [Conf]
  18. 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]
  19. Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
    Foundations of Timed Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:71-80 [Conf]
  20. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Stochastic Processes as Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:189-202 [Conf]
  21. Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
    Default Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:272-285 [Conf]
  22. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Approximate Reasoning for Real-Time Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:304-313 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]

  31. Approximate reasoning for real-time probabilistic processes [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002