|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
Model Checking Languages of Data Words.  |
FoSSaCS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar |
Analysing Message Sequence Graph Specifications. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Model checking time-constrained scenario-based specifications. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Kannan, K. Narayan Kumar (eds.) |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India |
FSTTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ravi Kannan, K. Narayan Kumar |
Preface -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Distributed Timed Automata with Independently Evolving Clocks. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay, Madhavan Mukund, K. Narayan Kumar |
Checking Coverage for Infinite Collections of Timed Scenarios. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Local Testing of Message Sequence Charts Is Difficult. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan |
A theory of regular MSC languages. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan |
Causal Closure for MSC Languages. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
An unfold/fold transformation framework for definite logic programs. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
inductive theorem proving, Logic programming, program transformation, unfolding, folding |
| 1 | Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni |
Bounded time-stamping in message-passing systems. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
Netcharts: Bridging the gap between HMSCs and executable specifications. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
| 1 | Abhik 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan |
Resource-Constrained Model Checking of Recursive Programs. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka |
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni |
Synthesizing Distributed Finite-State Systems from MSCs. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
Verification of Parameterized Systems Using Logic Program Transformations. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
On Message Sequence Graphs and Finitely Generated Regular MSC Languages. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
Regular Collections of Message Sequence Charts. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
Generalized Unfold/fold Transformation Systems for Normal Logic Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka |
Faster Model Checking for Open Systems. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni |
Robust Asynchronous Protocols Are Finite-State. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni |
Towards a Characterisation of Finite-State Message-Passing Systems. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka |
Infinite Probabilistic and Nonprobabilistic Testing. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Narayan Kumar, Paritosh K. Pandya |
On the Computational Power of Operators in ICSP with Fairness. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Narayan Kumar, Paritosh K. Pandya |
Infinitary Parallelism without Unbounded Nondeterminism in CSP. |
Acta Inf. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Narayan Kumar, Paritosh K. Pandya |
ICSP and Its Relationship with ACSP and CSP. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")