引用次数
引用: 12,666
H-指数: 52
I10-指数 : 129
出版物: 249
GHC: Operational Semantics, Problems, and Relationships with CP(|, |).
Vijay A. Saraswat
SLP 347 -358
12
1987
Linear Logic for Meaning Assembly
John Lamping , Mary Dalrymple , Fernando C. N. Pereira , Vijay A. Saraswat
arXiv: Computation and Language
55
1995
Problems with concurrent prolog
Vijay A. Saraswat
19
1986
Janus: a step towards distributed constraint programming
Ken Kahn , Vijay A. Saraswat , Jacob Levy
conference on logic programming 431 -446
166
1990
SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation).
Horst Samulowitz , Benjamin Herta , David Grove , Bard Bloom
theory and applications of satisfiability testing 463 -468
5
2012
From Sentiment Analysis to Preference Aggregation.
Andrea Loreggia , Umberto Grandi , Vijay A. Saraswat , Francesca Rossi
ISAIM
7
2014
Expressing Probabilistic Graphical Models in RCC.
Cristina Cornelio , Vijay A. Saraswat
national conference on artificial intelligence
2017
Default timed concurrent constraint programming
Vijay A. Saraswat , Radha Jagadeesan , Vineet Gupta
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 272 -285
39
1995
Partial correctness semantics for CP
Vijay A. Saraswat
foundations of software technology and theoretical computer science 347 -368
21
1985
The semantic foundations of concurrent constraint programming
Vijay A. Saraswat , Martin Rinard , Prakash Panangaden
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91 333 -352
383
1991
Model-based computing: Developing flexible machine control software
Markus P.J. Fromherz , Vijay A. Saraswat , Daniel G. Bobrow
Artificial Intelligence 114 ( 1-2) 157 -202
16
1999
Detecting stable properties of networks in concurrent logic programming languages
Vijay A Saraswat , Kenneth Kahn , David Weinbaum ,
principles of distributed computing 210 -222
11
1988
Lifeline-based global load balancing
Vijay A. Saraswat , Prabhanjan Kambadur , Sreedhar Kodali , David Grove
acm sigplan symposium on principles and practice of parallel programming 46 ( 8) 201 -212
95
2011
Curricula for concurrency and parallelism
Guy L. Steele , Vijay A. Saraswat
conference on object-oriented programming systems, languages, and applications 281 -282
4
2009
Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung
Kenneth M Kahn , Vijay A Saraswat , Volker Haarslev ,
Telekommunikation und multimediale Anwendungen der Informatik, GI - 21. Jahrestagung 427 -436
2
1991
Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation
Markus P. J. Fromherz , Vijay A. Saraswat
principles and practice of constraint programming 629 -635
18
1995
A theory of memory models
Vijay A. Saraswat , Radha Jagadeesan , Maged Michael , Christoph von Praun
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '07 161 -172
90
2007
Idempotent work stealing
Maged M. Michael , Martin T. Vechev , Vijay A. Saraswat
ACM SIGPLAN Notices 44 ( 4) 45
2009
Actors as a special case of concurrent constraint (logic) programming
K. Kahn , Vijay A. Saraswat
ACM SIGPLAN Notices 25 ( 10) 57 -66
1990
Radha Jagadeesan Vineet Gupta David Grove Vivek Sarkar Pascal Van Hentenryck Mary Dalrymple Christoph von Praun Kemal Ebcioglu Daniel G. Bobrow Rastislav Bodik Mikio Takeuchi Armando Solar-Lezama martin rinard Ken Kahn Christian Grothoff Sanjit A. Seshia Prakash Panangaden Yves Deville Fernando Pereira Maged M Michael