S. Arun-Kumar

	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		S. Arun-Kumar: On Bisimilarities Induced by Relations on Actions. SEFM 2006: 41-49
14		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		Astrid Kiehn, S. Arun-Kumar: Amortised Bisimulations. FORTE 2005: 320-334
	2004
12		Neelesh Korade, S. Arun-Kumar: A Logical Characterization of Efficiency Preorders. ICTAC 2004: 99-112
11		M. Jamshid Bagherzadeh, S. Arun-Kumar: A Multi-agent Framework Based on Communication and Concurrency. IWDC 2004: 114-125
10		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		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)

Coauthor Index

1	M. Jamshid Bagherzadeh	[10] [11] [14]
2	Naveen Garg	[16]
3	Rob Gerth	[2] [4]
4	S. R. Goregaokar	[3]
5	Jean Goubault-Larrecq (Jean Goubault)	[8]
6	Matthew Hennessy	[5] [6]
7	Kamal Jain	[7]
8	Astrid Kiehn	[13]
9	Neelesh Korade	[12]
10	Ron Koymans	[2] [4]
11	Sanjiva Prasad	[8] [9]
12	K. Rangarajan	[1]
13	Willem P. de Roever	[2] [4]
14	R. K. Shyamasundar	[2] [4]
15	Kumar Neeraj Verma	[8]

Colors in the list of coauthors