Translating Stochastic CLS into Maude. - Thomas Anung Basuki; Antonio Cerone; Paolo Milazzo (MeCBIC, 2008)

Modelling Cell Cycle using Different Levels of Representation - Thomas Anung Basuki; Antonio Cerone; Rafael V. Carvalho (MeCBIC, 2009)

Model-checking user behaviour using interacting components. - Thomas Anung Basuki; Antonio Cerone; Andreas Griesmayer; Rudolf Schlatte (Formal Aspects Comput., 2009)

Modelling the Dynamics of an Aedes albopictus Population - Thomas Anung Basuki; Antonio Cerone; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Elisabetta Rossi (AMCA-POP, 2010)

Modelling Biological Systems From Molecular Interactions to Population Dynamics. - Thomas Anung Basuki (2010)

How Similar is Similar: A Comparison of Bahasa Indonesia and Bahasa Malaysia. - Thomas Anung Basuki; Benediktus Giovanito Antaputra (ICECC, 2020)

A Hybrid SVD-Based Image Watermarking Scheme Utilizing Both U and V Orthogonal Vectors for Robustness and Imperceptibility. - Yuan Ju Teoh; Huo-Chong Ling; Wei Kitt Wong; Thomas Anung Basuki (IEEE Access, 2023)