The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vijay A. Saraswat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley
    Characterizing Non-Intermittent Faults. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:849-854 [Conf]
  2. Vijay A. Saraswat
    CP as a General-Purpose Constraint-Language. [Citation Graph (0, 0)][DBLP]
    AAAI, 1987, pp:53-58 [Conf]
  3. Vijay A. Saraswat
    Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2004, pp:494-508 [Conf]
  4. Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat
    Combinatorial sketching for finite programs. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 2006, pp:404-415 [Conf]
  5. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
    Models for Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:66-83 [Conf]
  6. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
    Truly Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:373-388 [Conf]
  7. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
    Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:243-257 [Conf]
  8. Vijay A. Saraswat, Radha Jagadeesan
    Concurrent Clustered Programming. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:353-367 [Conf]
  9. Markus P. J. Fromherz, Vijay A. Saraswat
    Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:629-635 [Conf]
  10. Vijay A. Saraswat
    The Concurrent Constraint Programming Research Programmes. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:588- [Conf]
  11. Mary Dalrymple, John Lamping, Vijay A. Saraswat
    LFG Semantics via Constraints. [Citation Graph (0, 0)][DBLP]
    EACL, 1993, pp:97-105 [Conf]
  12. Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat
    The Semantics of Resource Sharing in Lexical-Functional Grammar. [Citation Graph (0, 0)][DBLP]
    EACL, 1995, pp:31-38 [Conf]
  13. 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]
  14. Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat
    Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:517-528 [Conf]
  15. Vijay A. Saraswat
    Partial correctness semantics for CP [ , | , &]. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1985, pp:347-368 [Conf]
  16. Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev
    Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1991, pp:427-436 [Conf]
  17. 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]
  18. 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]
  19. Vijay A. Saraswat
    A Somewhat Logical Formulation of CLP Synchronisation Primitives. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1298-1314 [Conf]
  20. Vijay A. Saraswat
    The Paradigm of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:777-778 [Conf]
  21. 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]
  22. Olivier Raiman, Johan de Kleer, Vijay A. Saraswat
    Critical Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:18-23 [Conf]
  23. Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
    On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:59-68 [Conf]
  24. Vijay A. Saraswat
    The Category of Constraint Systems is Cartesian-Closed [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:341-345 [Conf]
  25. Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
    Foundations of Timed Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:71-80 [Conf]
  26. Kenneth M. Kahn, Vijay A. Saraswat
    Complete Visualization of Concurrent Programs and Their Executions. [Citation Graph (0, 0)][DBLP]
    LPE, 1990, pp:30-34 [Conf]
  27. Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar
    X10: an object-oriented approach to non-uniform cluster computing. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:519-538 [Conf]
  28. Kenneth M. Kahn, Vijay A. Saraswat
    Actors as a Special Case of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:57-66 [Conf]
  29. Vijay A. Saraswat, Kenneth M. Kahn, David Weinbaum
    Detecting Stable Properties of Networks in Concurrent Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    PODC, 1988, pp:210-222 [Conf]
  30. Vijay A. Saraswat
    The Concurrent Logic Programming Language CP: Definition and Operational Semantics. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:49-62 [Conf]
  31. Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
    Default Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:272-285 [Conf]
  32. Vijay A. Saraswat, Martin C. Rinard
    Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:232-245 [Conf]
  33. Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden
    Semantic Foundations of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:333-352 [Conf]
  34. Ugo Montanari, Francesca Rossi, Vijay A. Saraswat
    CC Programs with both In- and Non-determinism: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:162-172 [Conf]
  35. Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
    Timed constraint programming: a declarative approach to usage control. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:164-175 [Conf]
  36. Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun
    X10: concurrent programming for modern architectures. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2007, pp:271- [Conf]
  37. Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun
    A theory of memory models. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2007, pp:161-172 [Conf]
  38. Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely
    A Hyperdoctrinal View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:457-476 [Conf]
  39. Vijay A. Saraswat
    GHC: Operational Semantics, Problems, and Relationships with CP(|, |). [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:347-358 [Conf]
  40. Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy
    Janus: A step towards distributed constraint programming. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:431-446 [Conf]
  41. Rajeev Motwani, Rina Panigrahy, Vijay A. Saraswat, Suresh Venkatasubramanian
    On the decidability of accessibility problems (extended abstract). [Citation Graph (0, 0)][DBLP]
    STOC, 2000, pp:306-315 [Conf]
  42. Kenneth M. Kahn, Vijay A. Saraswat
    Complete Visualizations of Concurrent Programs and their Executions. [Citation Graph (0, 0)][DBLP]
    VL, 1990, pp:7-15 [Conf]
  43. Markus P. J. Fromherz, Vijay A. Saraswat, Daniel G. Bobrow
    Model-Based Computing: Developing Flexible Machine Control Software. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:114, n:1-2, pp:157-202 [Journal]
  44. Pascal Van Hentenryck, Vijay A. Saraswat
    Constraint Programming: Strategic Directions. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:7-33 [Journal]
  45. Vijay A. Saraswat
    Compositional Computing. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:95-97 [Journal]
  46. Vijay A. Saraswat, Pascal Van Hentenryck
    Introduction to the Special Issue. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:5-6 [Journal]
  47. Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat
    The Semantics of Resource Sharing in Lexical-Functional Grammar [Citation Graph (0, 0)][DBLP]
    CoRR, 1995, v:0, n:, pp:- [Journal]
  48. Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat
    Linear Logic for Meaning Assembly [Citation Graph (0, 0)][DBLP]
    CoRR, 1995, v:0, n:, pp:- [Journal]
  49. Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat
    Quantifiers, Anaphora, and Intensionality [Citation Graph (0, 0)][DBLP]
    CoRR, 1995, v:0, n:, pp:- [Journal]
  50. Pascal Van Hentenryck, Vijay A. Saraswat
    Strategic Directions in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4, pp:701-726 [Journal]
  51. Vijay A. Saraswat
    Compositional Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:74- [Journal]
  52. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
    Design, Implementation, and Evaluation of the Constraint Language cc(FD). [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:139-164 [Journal]
  53. Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat
    Quantifiers, Anaphora, and Intensionality. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:3, pp:219-273 [Journal]
  54. 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]
  55. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
    Design, Implementation, and Evaluation of the Constraint Language cc(FD) [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:293-316 [Journal]
  56. 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]
  57. 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]
  58. Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
    Sketching stencils. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:167-178 [Conf]

  59. X10: Concurrent Programming for Modern Architectures. [Citation Graph (, )][DBLP]


  60. Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing. [Citation Graph (, )][DBLP]


  61. Constrained types for object-oriented languages. [Citation Graph (, )][DBLP]


  62. Curricula for concurrency and parallelism. [Citation Graph (, )][DBLP]


  63. Type inference for locality analysis of distributed data structures. [Citation Graph (, )][DBLP]


  64. Idempotent work stealing. [Citation Graph (, )][DBLP]


  65. Efficient, portable implementation of asynchronous multi-place programs. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.020secs
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