Shankara Narayanan Krishna

Publications

239

Citations

H-Index

2001

Active since

Affiliations

Indian Institute of Technology Bombay(Current)

Romanian Academy

Shankara Narayanan Krishna is an author at Indian Institute of Technology Bombay specializing in engineering, computer science, and formal verification.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSystems EngineeringComputer EngineeringSystem SoftwareProgram AnalysisSoftware Testing

Publications per year

2001–2020

Publications

P Systems with Mobile Membranes

Shankara Narayanan Krishna, Gh. Păun · Natural Computing · 2005 · 40 citations

Membrane Structure, Membrane Formation, Membrane Computing +3

P Systems with Replicated Rewriting

Shankara Narayanan Krishna, Rama Raghavan · Justus-Liebig-Universität Gießen · 2001 · 36 citations · Full text

Verification of programs under the release-acquire semantics

Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig et al. · 2019 · 35 citations

Program Checking, Engineering, Reachability Problem +18

Universality results for P systems based on brane calculi operations

Shankara Narayanan Krishna · Theoretical Computer Science · 2006 · 26 citations

M-theory, Quantum Field Theory, String Theory +4

Results on catalytic and evolution-communication P systems

Shankara Narayanan Krishna, Andrei Păun · New Generation Computing · 2004 · 19 citations

Evolution Strategy, Engineering, Industrial Catalysis +5

Rows per page

1–5 of 12