S. Arunkumar

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022

Extending Process Algebra with an Undefined Action.

[BibT_eX]

[DOI]

S. Arun-Kumar

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2019

Breast Cancer Detection Based on Medio-Lateral ObliqueView and Cranio-Caudal View Mammograms: An Overview.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Awareness Science and Technology, 2019

2016

Decompiling Boolean Expressions from Java™ Bytecode.

[BibT_eX]

[DOI]

Mangala Gowri Nanda

S. Arun-Kumar

Proceedings of the 9th India Software Engineering Conference, 2016

2015

Artificial neural network-based temperature prediction in heat sinks with cross cuts fins.

[BibT_eX]

[DOI]

V. Kannan

S. Arunkumar

Muniyandi Venkatesan

Int. J. Adv. Intell. Paradigms, 2015

Microcontroller based Tabla tuning system.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2015

2013

On Efficiency Preorders.

[BibT_eX]

[DOI]

Manish Gaur

S. Arun-Kumar

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2006

On Bisimilarities Induced by Relations on Actions.

[BibT_eX]

[DOI]

S. Arun-Kumar

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005

Flexible Communication of Agents based on FIPA-ACL.

[BibT_eX]

[DOI]

M. Jamshid Bagherzadeh

S. Arun-Kumar

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Amortised Bisimulations.

[BibT_eX]

[DOI]

Astrid Kiehn

S. Arun-Kumar

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.

[BibT_eX]

[DOI]

M. Jamshid Bagherzadeh

S. Arun-Kumar

Proceedings of the Logic for Programming, 2004

A Multi-agent Framework Based on Communication and Concurrency.

[BibT_eX]

[DOI]

M. Jamshid Bagherzadeh

S. Arun-Kumar

Proceedings of the Distributed Computing, 2004

A Logical Characterization of Efficiency Preorders.

[BibT_eX]

[DOI]

Neelesh Korade

S. Arun-Kumar

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Low-Power Transform-Domain Coding by Separable Two-Dimensional Hartley-Like Transform.

[BibT_eX]

Pramod Kumar Meher

Thambipillai Srikanthan

M. Mahesh Kumar

S. Arunkumar

Proceedings of the International Conference on Embedded Systems and Applications, 2003

2002

Introduction to Operational Semantics.

[BibT_eX]

[DOI]

Sanjiva Prasad

S. Arun-Kumar

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002

2000

Reflecting BDDs in Coq.

[BibT_eX]

[DOI]

Kumar Neeraj Verma

Jean Goubault-Larrecq

Sanjiva Prasad

S. Arun-Kumar

Proceedings of the Advances in Computing Science, 2000

1996

Testing Processes for Efficiency.

[BibT_eX]

[DOI]

Kamal Jain

S. Arun-Kumar

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

Conformance: A Precongruence close to Bisimilarity.

[BibT_eX]

[DOI]

S. Arun-Kumar

V. Natarajan

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1992

An Efficiency Preorder for Processes.

[BibT_eX]

[DOI]

S. Arun-Kumar

Matthew Hennessy

Acta Informatica, 1992

Efficient Broadcast Using Selective Flooding.

[BibT_eX]

[DOI]

S. Arunkumar

R. S. Panwar

Proceedings of the Proceedings IEEE INFOCOM '92, 1992

1988

Compositional Semantics for Real-Time Distributed Computing

[BibT_eX]

[DOI]

Inf. Comput., December, 1988

1986

A Characterization of Asynchronous Message-Passing.

[BibT_eX]

[DOI]

S. R. Goregaokar

S. Arun-Kumar

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1985

Fair Derivations in E0L Systems.

[BibT_eX]

[DOI]

K. Rangarajan

S. Arun-Kumar

Inf. Process. Lett., 1985

1978

On Optimal Regulation Policies for Certain Multi-Reservoir Systems.

[BibT_eX]

[DOI]

S. Arunkumar

K. Chon

Oper. Res., 1978

S. Arunkumar

Bibliography

Loading...