| 2008 |
|---|
| 20 | EE | Kamal Lodaya,
Paritosh K. Pandya,
Simoni S. Shah:
Marking the chops: an unambiguous temporal logic.
IFIP TCS 2008: 461-476 |
| 19 | EE | M. Praveen,
Kamal Lodaya:
Analyzing Reachability for Some Petri Nets With Fast Growing Markings.
Electr. Notes Theor. Comput. Sci. 223: 215-237 (2008) |
| 2006 |
|---|
| 18 | EE | Kamal Lodaya,
Paritosh K. Pandya:
A Dose of Timed Logic, in Guarded Measure.
FORMATS 2006: 260-273 |
| 17 | EE | Kamal Lodaya:
Product Automata and Process Algebra.
SEFM 2006: 128-136 |
| 2004 |
|---|
| 16 | | Kamal Lodaya,
Meena Mahajan:
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
Springer 2004 |
| 2003 |
|---|
| 15 | EE | Kamal Lodaya,
D. Ranganayakulu,
K. Rangarajan:
Hierarchical Structure of 1-Safe Petri Nets.
ASIAN 2003: 173-187 |
| 2001 |
|---|
| 14 | EE | Kamal Lodaya,
Pascal Weil:
Rationality in Algebras with a Series Operation.
Inf. Comput. 171(2): 269-293 (2001) |
| 2000 |
|---|
| 13 | EE | Kamal Lodaya:
Sharpening the Undecidability of Interval Temporal Logic.
ASIAN 2000: 290-298 |
| 12 | EE | Kamal Lodaya,
Ramaswamy Ramanujam:
An Automaton Model of User-Controlled Navigation on the Web.
CIAA 2000: 208-216 |
| 11 | EE | Kamal Lodaya,
Pascal Weil:
Series-parallel languages and the bounded-width property.
Theor. Comput. Sci. 237(1-2): 347-380 (2000) |
| 1998 |
|---|
| 10 | | Kamal Lodaya,
Pascal Weil:
A Kleene Iteration for Parallelism.
FSTTCS 1998: 355-366 |
| 9 | | Kamal Lodaya,
Pascal Weil:
Series-Parallel Posets: Algebra, Automata and Languages.
STACS 1998: 555-565 |
| 1995 |
|---|
| 8 | | Kamal Lodaya,
Rohit Parikh,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
A Logical Study of Distributed Transition Systems
Inf. Comput. 119(1): 91-118 (1995) |
| 1993 |
|---|
| 7 | | Kamal Lodaya,
P. S. Thiagarajan:
Decidability of a Partial Order Based Temporal Logic.
ICALP 1993: 582-592 |
| 1992 |
|---|
| 6 | | Kamal Lodaya,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
Temporal Logics for Communicating Sequential Agents: I.
Int. J. Found. Comput. Sci. 3(2): 117-159 (1992) |
| 1991 |
|---|
| 5 | | Kamal Lodaya,
Ramaswamy Ramanujam:
Tense Logics for Local Reasoning in Distributed Systems.
FSTTCS 1991: 71-88 |
| 1990 |
|---|
| 4 | | Kamal Lodaya,
R. K. Shyamasundar:
Proof Theory for Exception Handling in a Tasking Environment.
Acta Inf. 28(1): 7-41 (1990) |
| 1988 |
|---|
| 3 | | Kamal Lodaya,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
A logic for distributed transition sytems.
REX Workshop 1988: 508-522 |
| 1987 |
|---|
| 2 | | Kamal Lodaya,
P. S. Thiagarajan:
A Modal Logic for a Subclass of Event Structures.
ICALP 1987: 290-303 |
| 1985 |
|---|
| 1 | | Ramaswamy Ramanujam,
Kamal Lodaya:
Proving Fairness of Schedulers.
Logic of Programs 1985: 284-301 |
