| 2006 |
|---|
| 16 | | S. Arun-Kumar,
Naveen Garg:
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
Springer 2006 |
| 15 | EE | S. Arun-Kumar:
On Bisimilarities Induced by Relations on Actions.
SEFM 2006: 41-49 |
| 14 | EE | M. Jamshid Bagherzadeh,
S. Arun-Kumar:
Flexible Communication of Agents based on FIPA-ACL.
Electr. Notes Theor. Comput. Sci. 159: 23-39 (2006) |
| 2005 |
|---|
| 13 | EE | Astrid Kiehn,
S. Arun-Kumar:
Amortised Bisimulations.
FORTE 2005: 320-334 |
| 2004 |
|---|
| 12 | EE | Neelesh Korade,
S. Arun-Kumar:
A Logical Characterization of Efficiency Preorders.
ICTAC 2004: 99-112 |
| 11 | EE | M. Jamshid Bagherzadeh,
S. Arun-Kumar:
A Multi-agent Framework Based on Communication and Concurrency.
IWDC 2004: 114-125 |
| 10 | EE | M. Jamshid Bagherzadeh,
S. Arun-Kumar:
Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.
LPAR 2004: 544-559 |
| 2002 |
|---|
| 9 | | Sanjiva Prasad,
S. Arun-Kumar:
Introduction to Operational Semantics.
The Compiler Design Handbook 2002: 841-890 |
| 2000 |
|---|
| 8 | EE | Kumar Neeraj Verma,
Jean Goubault-Larrecq,
Sanjiva Prasad,
S. Arun-Kumar:
Reflecting BDDs in Coq.
ASIAN 2000: 162-181 |
| 1996 |
|---|
| 7 | | Kamal Jain,
S. Arun-Kumar:
Testing Processes for Efficiency.
FSTTCS 1996: 100-110 |
| 1992 |
|---|
| 6 | | S. Arun-Kumar,
Matthew Hennessy:
An Efficiency Preorder for Processes.
Acta Inf. 29(8): 737-760 (1992) |
| 1991 |
|---|
| 5 | | S. Arun-Kumar,
Matthew Hennessy:
An Efficiency Preorder for Processes.
TACS 1991: 152-175 |
| 1988 |
|---|
| 4 | | Ron Koymans,
R. K. Shyamasundar,
Willem P. de Roever,
Rob Gerth,
S. Arun-Kumar:
Compositional Semantics for Real-Time Distributed Computing
Inf. Comput. 79(3): 210-256 (1988) |
| 1986 |
|---|
| 3 | | S. R. Goregaokar,
S. Arun-Kumar:
A Characterization of Asynchronous Message-Passing.
FSTTCS 1986: 270-287 |
| 1985 |
|---|
| 2 | | Ron Koymans,
R. K. Shyamasundar,
Willem P. de Roever,
Rob Gerth,
S. Arun-Kumar:
Compositional Semantics for Real-time Distributed Computing.
Logic of Programs 1985: 167-189 |
| 1 | | K. Rangarajan,
S. Arun-Kumar:
Fair Derivations in E0L Systems.
Inf. Process. Lett. 20(4): 183-188 (1985) |
