Skip to content

Scientist · Computer Science

Thomas Anung Basuki

Heriot-Watt University Malaysia, Putrajaya, Malaysia

iD0000-0003-4438-8564

Citations, last 5 years: 29
Works, last 5 years: 5
h-index: 6
Citations, all time: 133
In Computer Science: #223,831

Research topics

Formal Methods in Verification7Computer Science
Logic, programming, and type systems3Computer Science
Gene Regulatory Network Analysis3Biochemistry, Genetics and Molecular Biology
Petri Nets in System Modeling3Computer Science
Model-Driven Software Engineering Techniques3Computer Science

Recent works

Discussion

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

Start a discussion