Support for Model Checking Z Specifications. - Maria Ulfah Siregar (IRI, 2016)

Support for model checking Z specifications. - Maria Ulfah Siregar (2016)

Housing Price Prediction Using a Hybrid Genetic Algorithm with Extreme Gradient Boosting. - Maria Ulfah Siregar; Pahlevi Wahyu Hardjita; Farhan Armawan Asdin; Dewi W. Wardani; Ardhi Wijayanto; Yessi Yunitasari; Muhammad Anshari (IC3INA, 2022)

Formalizing Attack Tree on Security Object for MySANi in Legal Metrology. - Muhammad Azwan Ibrahim; Faizan Qamar; Zarina Shukur; Nasharuddin Zainal; Nazri Marzuki; Maria Ulfah Siregar (Syst., 2023)