Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

S. Arun-Kumar | Researchclopedia

Back to researchers

S. Arun-Kumar

Tamil Nadu Dr. M.G.R. Medical University

56

Works

514

Citations

11

h-index

15

i10-index

Research Topics

Formal Methods in Verification Synthesis and biological activity Logic, programming, and type systems

Affiliations

Tata Institute of Fundamental Research1985–1988

SRM Institute of Science and Technology2009–2009

Indian Institute of Technology Bombay1979–1992

Gulf Medical University2018–2020

Vinayaka Missions University2021–2021

Top Works

Compositional semantics for real-time distributed computing

Ron Koymans,R. K. Shyamasundar,et al.

198864 citations

Synthesis and Biological Evaluation

Synthesis and Characterization of Heterocyclic Compounds

Pharmacological evaluation of 2-substituted (1,3,4) thiadiazolo quinazolines

V. Alagarsamy,A. Thangathiruppathy,et al.

200663 citations

Enumeration of All Minimal Cut-Sets for a Node Pair in a Graph

S. Arun-Kumar,S.H. Lee

197962 citations

Structure-Activity Relationships of Pyrimidine Derivatives and theirBiological Activity - A Review

Helina Navis Anthoni Samy,Ramalakshmi Natarajan,et al.

202247 citations

Synthesis and Anti‐inflammatory Activity of Some Novel Pyrazole Derivatives of Gallic Acid

S. Arun-Kumar,K. Ilango,et al.

200931 citations

Reflecting BDDs in Coq

Kumar Neeraj Verma,Jean Goubault-Larrecq,et al.

200027 citations

Conformance: A Precongruence close to Bisimilarity

S. Arun-Kumar,V. Natarajan

199526 citations

Amortised Bisimulations

Astrid Kiehn,S. Arun-Kumar

200523 citations

Comprehensive Review on Versatile Pharmacology of Quinoxaline Derivative

V. Bala Aakash,N. Ramalakshmi,et al.

202217 citations