dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

K. Narayan Kumar (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka: Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. ICLP 2001: 227-241
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhavan Mukund, K. Narayan Kumar, Scott A. Smolka: Faster Model Checking for Open Systems. ASIAN 1999: 227-238
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Narayan Kumar, Rance Cleaveland, Scott A. Smolka: Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS 1998: 209-220
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaoqiu 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

Selection of 5 from 34 records - K. Narayan Kumar has 30 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page