 | 
| |
Online DBLP entries are available for C. R. Ramakrishnan and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
-
Baoqiu
Cui,
Yifei
Dong,
Xiaoqun
Du,
K.
Narayan Kumar, C. R. Ramakrishnan,
I.
V. Ramakrishnan,
Abhik
Roychoudhury,
Scott
A. Smolka,
David
Scott Warren: Logic Programming and Model Checking.
PLILP/ALP
1998: 1-20
-
Hasan
Davulcu,
Michael
Kifer, C. R. Ramakrishnan,
I.
V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows.
PODS
1998: 25-33
-
Xinxin
Liu, C. R. Ramakrishnan,
Scott
A. Smolka: Fully Local and Efficient Evaluation of Alternating Fixed
Points (Extended Abstract).
TACAS
1998: 5-19
-
Owen
Kaser, C. R. Ramakrishnan: Evaluating Inlining Techniques.
Computer
Languages 24(2): 55-72 (1998)
-
Y.
S. Ramakrishnan, C. R. Ramakrishnan,
I.
V. Ramakrishnan,
Scott
A. Smolka,
Terrance
Swift,
David
Scott Warren: Efficient Model Checking Using Tabled Resolution.
CAV
1997: 143-154
-
Owen
Kaser, C. R. Ramakrishnan,
I.
V. Ramakrishnan,
R.
C. Sekar: EQUALS - A Fast Parallel Implementation of a Lazy Language.
Journal
of Functional Programming 7(2): 183-217 (1997)
-
Leo
Bachmair,
Ta
Chen, C. R. Ramakrishnan,
I.
V. Ramakrishnan: Subsumption Algorithms Based on Search Trees.
CAAP
1996: 135-148
-
Prasad
Rao, C. R. Ramakrishnan,
I.
V. Ramakrishnan: A Thread in Time Saves Tabling Time.
JICSLP
1996: 112-126
-
Steven
Dawson, C. R. Ramakrishnan,
David
Scott Warren: Practical Program Analysis Using General Purpose Logic
Programming Systems - A Case Study.
PLDI
1996: 117-126
-
Steven
Dawson, C. R. Ramakrishnan,
Steven
Skiena,
Terrance
Swift: Principles and Practice of Unification Factoring.
TOPLAS
18(5): 528-563 (1996)
-
Steven
Dawson, C. R. Ramakrishnan,
I.
V. Ramakrishnan,
Terrance
Swift: Optimizing Clause Resolution: Beyond Unification Factoring.
ILPS
1995: 194-208
-
C. R. Ramakrishnan,
I.
V. Ramakrishnan,
R.
C. Sekar: A Symbolic Constraint Solving Framework for Analysis of Logic
Programs.
PEPM
1995: 12-23
-
Steven
Dawson, C. R. Ramakrishnan,
I.
V. Ramakrishnan: Design and Implementation of Jump Tables for Fast
Indexing of Logic Programs.
PLILP
1995: 133-150
-
Steven
Dawson, C. R. Ramakrishnan,
I.
V. Ramakrishnan,
Konstantinos
F. Sagonas,
Steven
Skiena,
Terrance
Swift,
David
Scott Warren: Unification Factoring for Efficient Execution of Logic
Programs.
POPL
1995: 247-258
-
Steven
Dawson, C. R. Ramakrishnan,
I.
V. Ramakrishnan,
R.
C. Sekar: Extracting Determinacy in Logic Programs.
ICLP
1993: 424-438
-
Owen
Kaser, C. R. Ramakrishnan,
Shaunak
Pawagi: On the Conversion of Indirect to Direct Recursion.
LOPLAS
2(1-4): 151-164 (1993)
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
