|
СТ |
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints |
2002 |
Pemmasai G., Ramakrishnan C. R., Ramakrishnan I. V. |
|
|
|
Lecture Notes in Computer Science |
27.08.2002 |
|
СТ |
Verification of Parameterized Systems Using Logic Program Transformations |
2000 |
Roychoudhury A., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs |
1999 |
Roychoudhury A., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V. |
|
|
|
Lecture Notes in Computer Science |
28.12.1999 |
|
СТ |
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs |
1999 |
Johnson E., Ramakrishnan C. R., Ramakrishnan I. V., Rao P. |
|
|
|
Lecture Notes in Computer Science |
25.11.1999 |
|
СТ |
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs |
1999 |
Roychoudhury A., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools |
1999 |
Dong Y., Du X., Ramakrishna Y. S., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A., Sokolovsky O., Stark E. W., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
|
СТ |
Logic Programming and Model Checking |
1998 |
Cui B., Dong Y., Du X., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Roychoudhury A., Smolka S. A., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
A Symbolic Constraint Solving Framework for Analysis of Logic Programs |
1995 |
Ramakrishnan C. R., Ramakrishnan I. V., Sekar R. C. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
|
СТ |
Efficient Tabling Mechanisms for Logic Program |
1995 |
Ramakrishnan I. V., Rao P., Sagonas K., Swift T., Warren D. S. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs |
1995 |
Dawson S., Ramakrishnan C. R., Ramakrishnan I. V. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Automata-Driven Efficient Subterm Unification |
1994 |
Ramesh R., Ramakrishnan I. V., Sekar R. C. |
|
|
|
Lecture Notes in Computer Science |
11.01.1995 |
|
СТ |
Multistage Indexing Algorithms for Speeding Prolog Execution |
1992 |
Chen T., Ramakrishnan I. V., Ramesh R. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Associative-Commutative Discrimination Nets |
1993 |
Bachmair L., Chen T., Ramakrishnan I. V. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
|
СТ |
Nonlinear Pattern Matching in Trees |
1992 |
Ramesh R., Ramakrishnan I. V. |
|
|
|
J. of the ACM |
29.05.1992 |
