|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy |
Fine-grained Concurrency with Separation Logic.  |
J. Philosophical Logic  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Praveen, Kamal Lodaya |
Parameterized complexity results for 1-safe Petri nets |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | M. Praveen, Kamal Lodaya |
Parameterized Complexity Results for 1-safe Petri Nets. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade |
Kleene Theorems for Product Systems. |
DCFS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, A. V. Sreejith |
LTL Can Be More Succinct. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah |
Around Dot Depth Two. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Meena Mahajan (eds.) |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India |
FSTTCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kamal Lodaya, Meena Mahajan |
Frontmatter, Table of Contents, Preface, Conference Organization, Author Index. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Praveen, Kamal Lodaya |
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Praveen, Kamal Lodaya |
Analyzing Reachability for Some Petri Nets With Fast Growing Markings. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah |
Marking the chops: an unambiguous temporal logic. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya |
A regular viewpoint on processes and algebra. |
Acta Cybern. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kamal Lodaya |
Product Automata and Process Algebra. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Paritosh K. Pandya |
A Dose of Timed Logic, in Guarded Measure. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Meena Mahajan (eds.) |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings |
FSTTCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kamal Lodaya, D. Ranganayakulu, K. Rangarajan |
Hierarchical Structure of 1-Safe Petri Nets. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Pascal Weil |
Rationality in Algebras with a Series Operation. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Pascal Weil |
Series-parallel languages and the bounded-width property. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya |
Sharpening the Undecidability of Interval Temporal Logic. |
ASIAN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Ramaswamy Ramanujam |
An Automaton Model of User-Controlled Navigation on the Web. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Pascal Weil |
Series-Parallel Posets: Algebra, Automata and Languages. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Pascal Weil |
A Kleene Iteration for Parallelism. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan |
A Logical Study of Distributed Transition Systems |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, P. S. Thiagarajan |
Decidability of a Partial Order Based Temporal Logic. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan |
Temporal Logics for Communicating Sequential Agents: I. |
Int. J. Found. Comput. Sci. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kamal Lodaya, Ramaswamy Ramanujam |
Tense Logics for Local Reasoning in Distributed Systems. |
FSTTCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, R. K. Shyamasundar |
Proof Theory for Exception Handling in a Tasking Environment. |
Acta Inf. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan |
A logic for distributed transition sytems. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
concurrent step, distributed transition systems, completeness, soundness, axiomatization |
| 1 | Kamal Lodaya, P. S. Thiagarajan |
A Modal Logic for a Subclass of Event Structures. |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, Kamal Lodaya |
Proving Fairness of Schedulers. |
Logic of Programs |
1985 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")