Shibashis Guha
Shibashis Guha publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Management Science and Operations Research, on topics such as Formal Methods in Verification, Logic, programming, and type systems and semigroups and automata theory.
- World rank
- #6,455,115 of 7,710,434 ranked researchers
- Rank in India
- #210,495 of 280,097
- Works
- 59
- Citations
- 128
- Citations per work
- 2.2
What does Shibashis Guha research?
Shibashis Guha's work is mostly in Computer Science (68%), Decision Sciences (9%), Biochemistry, Genetics and Molecular Biology (6%).
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 Sciences4067.7%
- Computer Science4067.7%
- Everything else1017.7%
- Social Sciences58.8%
- Decision Sciences58.8%
- Life Sciences35.8%
- 1Computational Theory and Mathematics33% of their works
- 2Artificial Intelligence22% of their works
- 3Management Science and Operations Research9% of their works
- 4Computer Networks and Communications8% of their works
- 5Molecular Biology6% of their works
- 6Software6% of their works
Research topics
Which keywords describe Shibashis Guha's research?
The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis and Formal Languages.
- Molecular Computation
- Deadlock Prevention
- Active Learning
- Answer Set Programming
- Game Theory
- Formal Languages
- Formal Verification
- Satisfiability Modulo Theories
- Automata
- Model Checking
- Temporal Logic
- Symbolic Model Checker
- Static Analysis
- Regular Expressions
- Network Formation
- Modal Logic
- DNA Computing
- Machine Learning
- Petri Nets
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 Checking583 topics
- Automata462 topics
- Temporal Logic422 topics
- Satisfiability Modulo Theories351 topic
- Symbolic Model Checker351 topic
- Formal Verification161 topic
- Static Analysis161 topic
- Formal Languages111 topic
- Regular Expressions111 topic
- Game Theory91 topic
- Network Formation91 topic
- Answer Set Programming71 topic
- Modal Logic71 topic
- Active Learning61 topic
- DNA Computing61 topic
- Deadlock Prevention61 topic
- Machine Learning61 topic
- Molecular Computation61 topic
- Petri Nets61 topic
Where does Shibashis Guha work?
Shibashis Guha's main affiliation in the publication record is Tata Institute of Fundamental Research, India.
How many publications and citations does Shibashis Guha have?
OpenAlex counts 59 works and 128 citations for Shibashis Guha, an h-index of 6, ranking #6,455,115 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 Shibashis Guha. Posts are plain text and can be reported.