P. S. Thiagarajan
P. S. Thiagarajan publishes mostly in Computational Theory and Mathematics, Molecular Biology and Artificial Intelligence, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Logic, programming, and type systems.
- World rank
- #153,952 of 1,633,909 ranked researchers
- Rank in Singapore
- #604 of 5,048
- Works
- 40
- Citations
- 278
- Citations per work
- 7.0
What does P. S. Thiagarajan research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics48% of their works
- 2Molecular Biology18% of their works
- 3Artificial Intelligence13% of their works
- 4Computer Networks and Communications8% of their works
- 5Hardware and Architecture5% of their works
- 6Management Information Systems3% of their works
Research topics
Which keywords describe P. S. Thiagarajan's research?
The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Deadlock Prevention, Petri Nets, Synthetic Biology and Distributed Systems.
- Gene Set Enrichment Analysis
- Metabolic Engineering
- Formal Languages
- Gene Regulatory Networks
- Formal Verification
- Distributed Systems
- Petri Nets
- Symbolic Model Checker
- Automata
- Model Checking
- Satisfiability Modulo Theories
- Deadlock Prevention
- Synthetic Biology
- Fault Tolerance
- Static Analysis
- Stochastic Gene Expression
- Genome-Scale Models
- Regular Expressions
- Protein-Protein Interaction Networks
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 Checking222 topics
- Automata202 topics
- Satisfiability Modulo Theories171 topic
- Symbolic Model Checker171 topic
- Deadlock Prevention101 topic
- Petri Nets101 topic
- Synthetic Biology72 topics
- Distributed Systems51 topic
- Fault Tolerance51 topic
- Formal Verification51 topic
- Static Analysis51 topic
- Gene Regulatory Networks41 topic
- Stochastic Gene Expression41 topic
- Formal Languages31 topic
- Genome-Scale Models31 topic
- Metabolic Engineering31 topic
- Regular Expressions31 topic
- Gene Set Enrichment Analysis21 topic
- Protein-Protein Interaction Networks21 topic
Where does P. S. Thiagarajan work?
P. S. Thiagarajan's main affiliation in the publication record is National University of Singapore, Singapore.
How many publications and citations does P. S. Thiagarajan have?
Science Explorer counts 40 works and 278 citations for P. S. Thiagarajan, ranking #153,952 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.