Skip to content

Scientist · Computer Science

Tingting Han

University of Technology and Applied Sciences, Muscat, Muscat, Oman

iD0000-0002-2131-9200

Citations, last 5 years: 165
Works, last 5 years: 10
h-index: 19
Citations, all time: 1 123
In Computer Science: #69,326

Research topics

Formal Methods in Verification37Computer Science
Petri Nets in System Modeling23Computer Science
Logic, programming, and type systems20Computer Science
Software Engineering Research8Computer Science
semigroups and automata theory8Computer Science

Recent works

Discussion

Ask Tingting about their research. When the scientist claims this card, they will see your question.

Start a discussion