K. Narayan Kumar Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRavi Kannan, K. Narayan Kumar: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2009
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRavi Kannan, K. Narayan Kumar: Preface -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). FSTTCS 2009
2008
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Distributed Timed Automata with Independently Evolving Clocks. CONCUR 2008: 82-97
2007
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Akshay, Madhavan Mukund, K. Narayan Kumar: Checking Coverage for Infinite Collections of Timed Scenarios. CONCUR 2007: 181-196
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Local Testing of Message Sequence Charts Is Difficult. FCT 2007: 76-87
2005
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan: Causal Closure for MSC Languages. FSTTCS 2005: 335-347
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan: A theory of regular MSC languages. Inf. Comput. 202(1): 1-38 (2005)
2004
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. 26(3): 464-509 (2004)
2003
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan: Netcharts: Bridging the gap between HMSCs and executable specifications. CONCUR 2003: 293-307
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Gastin, Madhavan Mukund, K. Narayan Kumar: Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. MFCS 2003: 429-438
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhavan Mukund, K. Narayan Kumar, Milind A. Sohoni: Bounded time-stamping in message-passing systems. Theor. Comput. Sci. 290(1): 221-239 (2003)
2002
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan: Resource-Constrained Model Checking of Recursive Programs. TACAS 2002: 236-250
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. 13(3): 387-403 (2002)
2001
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
2000
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhavan Mukund, K. Narayan Kumar, Milind A. Sohoni: Synthesizing Distributed Finite-State Systems from MSCs. CONCUR 2000: 521-535
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan: On Message Sequence Graphs and Finitely Generated Regular MSC Languages. ICALP 2000: 675-686
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan: Regular Collections of Message Sequence Charts. MFCS 2000: 405-414
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
1999
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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN 1999: 322-333
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan: Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999: 616
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP 1999: 396-413
1998
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni: Towards a Characterisation of Finite-State Message-Passing Systems. ASIAN 1998: 282-299
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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni: Robust Asynchronous Protocols Are Finite-State. ICALP 1998: 188-199
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
1994
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Narayan Kumar, Paritosh K. Pandya: On the Computational Power of Operators in ICSP with Fairness. FSTTCS 1994: 231-242
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Narayan Kumar, Paritosh K. Pandya: ICSP and Its Relationship with ACSP and CSP. FSTTCS 1993: 358-372
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Narayan Kumar, Paritosh K. Pandya: Infinitary Parallelism without Unbounded Nondeterminism in CSP. Acta Inf. 30(5): 467-487 (1993)

Coauthor Index

1Bharat Adsul [24]
2S. Akshay [26] [27]
3Samik Basu [18]
4Puneet Bhateja [25]
5Benedikt Bollig [27]
6Rance Cleaveland [6]
7Baoqiu Cui [4]
8Yifei Dong [4]
9Xiaoqun Du [4]
10Paul Gastin [20] [25] [27]
11Jesper G. Henriksen [13] [14] [23]
12Ravi Kannan (Ravindran Kannan) [28] [29]
13Madhavan Mukund [5] [7] [11] [13] [14] [15] [19] [20] [21] [23] [24] [25] [26] [27]
14Vasumathi Narayanan [24]
15Paritosh K. Pandya [1] [2] [3]
16L. Robert Pokorny [18]
17Jaikumar Radhakrishnan [5] [7]
18C. R. Ramakrishnan [4] [8] [10] [12] [16] [17] [18] [22]
19I. V. Ramakrishnan [4] [8] [9] [10] [12] [17] [22]
20Abhik Roychoudhury [4] [8] [9] [10] [12] [17] [22]
21Scott A. Smolka [4] [6] [11] [12] [16]
22Milind A. Sohoni [5] [7] [15] [19] [23]
23P. S. Thiagarajan [13] [14] [21] [23]
24David Scott Warren [4]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)