Вы здесь

Kumar K. N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Resource-Constrained Model Checking of Recursive Programs 2002 Basu S., Kumar K. N., Pokorny L. R., Ramakrishnan C. R. Lecture Notes in Computer Science 21.05.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 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
СТ 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
СТ On the Computational Power of Operators in ICSP with Fairness 1994 Kumar K. N., Pandya P. K. Lecture Notes in Computer Science 11.01.1995
СТ Infinitary Parallelism without Unbounded Nondeterminism in CSP 1993 Kumar K. N., Pandya P. K. Acta Informatica 07.12.1993