Shankara Narayanan Krishna

827 citations
45 papers · 179 indexed · h-index 7
Topics
Formal Methods in Verification (18 papers)DNA and Biological Computing (17 papers)Logic, programming, and type systems (11 papers)
Journals
SHILAP Revista de lepidopterologíaTheoretical Computer ScienceLecture notes in computer science
Partner nations
IndiaUnited StatesFrance

In The Last Decade

Shankara Narayanan Krishna

41 papers receiving 166 citations

Peers

Shankara Narayanan Krishna
Comparison fields: 5 of 26
  • Molecular Biology 111
  • Computational Theory and Mathematics 91
  • Mechanical Engineering 64
  • Artificial Intelligence 51
  • Computer Networks and Communications 31
Replace Michael Ho with:
Michael Ho Taiwan
Claudio Ferretti Italy
Markus L. Schmid Germany
Joffroy Beauquier France
Dora Giammarresi Italy
S. Yu Canada
J. P. Banâtre France
Jin Sima United States
Sergey Verlan France
Przemysław Uznański Poland
Shankara Narayanan Krishna relative to Michael Ho Taiwan Michael Ho's profile →
Citations per field
00.5×2.8×
Michael Ho · 1×
Citations per year

Countries citing papers authored by Shankara Narayanan Krishna

Since Specialization
Citations

This map shows the geographic impact of Shankara Narayanan Krishna's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Shankara Narayanan Krishna with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Shankara Narayanan Krishna more than expected).

Fields of papers citing papers by Shankara Narayanan Krishna

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Shankara Narayanan Krishna. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Shankara Narayanan Krishna. The network helps show where Shankara Narayanan Krishna may publish in the future.

Co-authorship network of co-authors of Shankara Narayanan Krishna

This figure shows the co-authorship network connecting the top 25 collaborators of Shankara Narayanan Krishna. A scholar is included among the top collaborators of Shankara Narayanan Krishna based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Shankara Narayanan Krishna. Shankara Narayanan Krishna is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
#WorkIndexed citations
1 1
2 1
3 4
4 1
5 5
6 1
7 1
8 1
9 0
10 1
11 0
12 5
13
On construction of safety signal automata for MITL[ u, s] using temporal projections
3
14 4
15 18
16 21
17
Further Results on Contextual and Rewriting P Systems
5
18 6
19
P systems with picture objects
9
20
A Note on Parallel Rewriting in P Systems.
5

About Shankara Narayanan Krishna

Shankara Narayanan Krishna is a scholar working on Software, Computational Theory and Mathematics and Hardware and Architecture, having authored 45 papers that have together received 179 indexed citations. Recurring topics across this work include Formal Methods in Verification (18 papers), DNA and Biological Computing (17 papers) and Logic, programming, and type systems (11 papers). The work is most often cited by research in Computational Theory and Mathematics (91 citations), Hardware and Architecture (18 citations) and Software (9 citations). Shankara Narayanan Krishna has collaborated with scholars based in India, United States and France. Frequent co-authors include Rama Raghavan, Ashutosh Trivedi, Andrei Păun, Gabriel Ciobanu, Parosh Aziz Abdulla, Kamala Krithivasan, Mohamed Faouzi Atig, Paritosh K. Pandya, Umang Mathur and Andreas Pavlogiannis. Their work appears in journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Lecture notes in computer science.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026