Tichakorn Wongpiromsarn
Tichakorn Wongpiromsarn publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Model-Driven Software Engineering Techniques.
- World rank
- #155,105 of 1,633,909 ranked researchers
- Rank in Singapore
- #616 of 5,048
- Works
- 32
- Citations
- 184
- Citations per work
- 5.8
What does Tichakorn Wongpiromsarn research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence33% of their works
- 2Computational Theory and Mathematics31% of their works
- 3Software11% of their works
- 4Control and Systems Engineering6% of their works
- 5Ecology, Evolution, Behavior and Systematics6% of their works
- 6Safety, Risk, Reliability and Quality3% of their works
Research topics
Which keywords describe Tichakorn Wongpiromsarn's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Domain-Specific Languages, Formal Verification, Model-Driven Engineering and Static Analysis.
- Semantic Web
- Ontology
- Pollinator Decline
- Modal Logic
- Ecosystem Services
- Knowledge Representation
- Static Analysis
- Formal Verification
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Domain-Specific Languages
- Model-Driven Engineering
- Description Logics
- Answer Set Programming
- Heuristic Search
- Planning Systems
- Autonomic Computing
- Self-Adaptive Systems
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 20 words, with their numbers
- Model Checking163 topics
- Temporal Logic122 topics
- Satisfiability Modulo Theories101 topic
- Symbolic Model Checker101 topic
- Domain-Specific Languages41 topic
- Formal Verification41 topic
- Model-Driven Engineering41 topic
- Static Analysis41 topic
- Description Logics32 topics
- Knowledge Representation32 topics
- Answer Set Programming21 topic
- Ecosystem Services21 topic
- Heuristic Search21 topic
- Modal Logic21 topic
- Planning Systems21 topic
- Pollinator Decline21 topic
- Autonomic Computing11 topic
- Ontology11 topic
- Self-Adaptive Systems11 topic
- Semantic Web11 topic
Where does Tichakorn Wongpiromsarn work?
Tichakorn Wongpiromsarn's main affiliation in the publication record is Singapore-MIT Alliance for Research and Technology, Singapore.
How many publications and citations does Tichakorn Wongpiromsarn have?
Science Explorer counts 32 works and 184 citations for Tichakorn Wongpiromsarn, ranking #155,105 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.