Shankara Narayanan Krishna
Shankara Narayanan Krishna publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology, on topics such as Formal Methods in Verification, Logic, programming, and type systems and DNA and Biological Computing.
- World rank
- #6,971,155 of 7,710,434 ranked researchers
- Rank in India
- #240,539 of 280,097
- Works
- 179
- Citations
- 841
- Citations per work
- 4.7
What does Shankara Narayanan Krishna research?
Shankara Narayanan Krishna's work is mostly in Computer Science (71%), Biochemistry, Genetics and Molecular Biology (15%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences12771.2%
- Computer Science12771.2%
- Life Sciences2714.9%
- Everything else2513.9%
- 1Computational Theory and Mathematics30% of their works
- 2Artificial Intelligence21% of their works
- 3Molecular Biology15% of their works
- 4Software8% of their works
- 5Computer Networks and Communications7% of their works
- 6Hardware and Architecture6% of their works
Research topics
Which keywords describe Shankara Narayanan Krishna's research?
The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, DNA Computing and Molecular Computation.
- Automated Testing
- Modular Robots
- Distributed Systems
- Biosensors
- Formal Languages
- Molecular Computation
- Static Analysis
- Symbolic Model Checker
- Automata
- Model Checking
- Satisfiability Modulo Theories
- Formal Verification
- DNA Computing
- Self-Assembly
- Regular Expressions
- DNA nanotechnology
- Fault Tolerance
- Self-Reconfiguration
- Software Fault Localization
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 19 words, with their numbers
- Model Checking1402 topics
- Automata1262 topics
- Satisfiability Modulo Theories861 topic
- Symbolic Model Checker861 topic
- Formal Verification541 topic
- Static Analysis541 topic
- DNA Computing451 topic
- Molecular Computation451 topic
- Self-Assembly422 topics
- Formal Languages401 topic
- Regular Expressions401 topic
- Biosensors241 topic
- DNA nanotechnology241 topic
- Distributed Systems221 topic
- Fault Tolerance221 topic
- Modular Robots181 topic
- Self-Reconfiguration181 topic
- Automated Testing171 topic
- Software Fault Localization171 topic
Where does Shankara Narayanan Krishna work?
Shankara Narayanan Krishna's main affiliation in the publication record is Indian Institute of Technology Bombay, India.
How many publications and citations does Shankara Narayanan Krishna have?
OpenAlex counts 179 works and 841 citations for Shankara Narayanan Krishna, an h-index of 14, ranking #6,971,155 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Shankara Narayanan Krishna. Posts are plain text and can be reported.