Non-Redundant Implicational Base of Many-Valued Context Using SAT. - Taufiq Hidayat; Asmala bin Ahmad; Mohammad Ishak Desa (Comput. Informatics, 2021)

SAX and Random Projection Algorithms for the Motif Discovery of Orbital Asteroid Resonance Using Big Data Platforms. - Lala Septem Riza; Muhammad Naufal Fazanadi; Judhistira Aria Utama; Khyrina Airin Fariza Abu Samah; Taufiq Hidayat; Shah Nazir (Sensors, 2022)

Non-redundant implicational base of formal context with constraints using SAT. - Taufiq Hidayat; Asmala bin Ahmad; Hea Choon Ngo (PeerJ Comput. Sci., 2024)