S. Arun-Kumar

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 3

Top Topics

Efficient Execution

Boolean Expressions

Conjunctive Queries

Top Venues

Publications

S. Arun-Kumar
Extending Process Algebra with an Undefined Action. TASE (2022)
Divyanshu Bagga, S. Arun-Kumar
Logical Characterisation of Parameterised Bisimulations. ICTAC (2017)
Mangala Gowri Nanda, S. Arun-Kumar
Decompiling Boolean Expressions from Java™ Bytecode. ISEC (2016)
S. Arun-Kumar, Divyanshu Bagga
Parameterised Bisimulations: Some Applications. RAMiCS (2014)
Manish Gaur, S. Arun-Kumar
On Efficiency Preorders. FSEN (2013)
S. Arun-Kumar
On Bisimilarities Induced by Relations on Actions. SEFM (2006)
M. Jamshid Bagherzadeh, S. Arun-Kumar
Flexible Communication of Agents based on FIPA-ACL. Electron. Notes Theor. Comput. Sci. 159 (2006)
Astrid Kiehn, S. Arun-Kumar
Amortised Bisimulations. FORTE (2005)
M. Jamshid Bagherzadeh, S. Arun-Kumar
A Multi-agent Framework Based on Communication and Concurrency. IWDC (2004)
M. Jamshid Bagherzadeh, S. Arun-Kumar
Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals. LPAR (2004)
Neelesh Korade, S. Arun-Kumar
A Logical Characterization of Efficiency Preorders. ICTAC (2004)
Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
Reflecting BDDs in Coq. ASIAN (2000)
Kamal Jain, S. Arun-Kumar
Testing Processes for Efficiency. FSTTCS (1996)
S. Arun-Kumar, V. Natarajan
Conformance: A Precongruence close to Bisimilarity. STRICT (1995)
S. Arun-Kumar, Matthew Hennessy
An Efficiency Preorder for Processes. Acta Informatica 29 (8) (1992)
S. Arun-Kumar, Matthew Hennessy
An Efficiency Preorder for Processes. TACS (1991)
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) (1988)
S. R. Goregaokar, S. Arun-Kumar
A Characterization of Asynchronous Message-Passing. FSTTCS (1986)
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)
K. Rangarajan, S. Arun-Kumar
Fair Derivations in E0L Systems. Inf. Process. Lett. 20 (4) (1985)