Maria Ulfah Siregar
Maria Ulfah Siregar
UIN Sunan Kalijaga
Verified email at uin-suka.ac.id - Homepage
TitleCited byYear
A new approach to CPU scheduling algorithm: genetic round robin
MU Siregar
International Journal of Computer Applications 47 (19), 2012
162012
Support for model checking Z specifications
MU Siregar
2016 IEEE 17th International Conference on Information Reuse and Integration …, 2016
32016
Experiences using Z2SAL
MU Siregar, J Derrick, S North, AJH Simons
2014 International Conference on Advanced Computer Science and Information …, 2014
22014
Recommendation System of Self-Medication for Mild Digestive Diseases with Dempster Shafer Method
S Abriani, AS Yazid, MU Siregar
IJID (International Journal on Informatics for Development) 3 (1), 1-7, 2019
12019
Using Abstraction in Model Checking Z Specifications
MU Siregar, J Derrick
The University of Sheffield Engineering Symposium Conference Proceedings Vol …, 2014
12014
An Investigation into the Use of Abstraction in Model Checking Z Specification
MU Siregar, J Derrick
Proceedings of the 9th Annual South-East European Doctoral Student …, 0
1
Revitalisasi Pengelolaan Jurnal IJID
MU Siregar, S Sumarsono
JISKA (Jurnal Informatika Sunan Kalijaga) 4 (1), 38-44, 2019
2019
Verification of a Rule-Based Expert System by Using SAL Model Checker
MU Siregar, S Abriani
2019 3rd International Conference on Informatics and Computational Sciences …, 2019
2019
An Implementation of Web-Based Payroll Information System in Universitas Proklamasi 45 Yogyakarta
MU Siregar, DEK Mahardika
IJID (International Journal on Informatics for Development) 7 (2), 48-53, 2019
2019
A Usage of McCall's Software Quality Analysis on the Bonus System of PT Surya Pratama Alam
MU Siregar, AH Arif
JISKA (Jurnal Informatika Sunan Kalijaga) 3 (1), 63-72, 2018
2018
A Scanner and Parser for Z Specifications
MU Siregar, J Derrick
IJID (International Journal on Informatics for Development) 7 (1), 13-18, 2018
2018
Translations of Embedded Theorems in Z Specifications
MU Siregar, J Derrick, AS Yazid
IJID (International Journal on Informatics for Development) 5 (2), 26-30, 2016
2016
A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
MU Siregar
Quality Software Through Reuse and Integration, 256-286, 2016
2016
Expert System for Diagnosis Skin Disease in Infants With Case-Based Reasoning Method
NR Marliana, AS Yazid, MU Siregar
IJID (International Journal on Informatics for Development) 2 (2), 7-13, 2013
2013
Automatic of Correction and Program Evaluation Using Web-Based Systems
SP Fajar, MD Fauzi, MU Siregar
IJID (International Journal on Informatics for Development) 2 (2), 14-20, 2013
2013
An Approach for Pre-Diagnosis Information Literacy Level by Using Expert System
MU Siregar, J Munandar
International Journal on Informatics for Development 1 (1), 2012
2012
DATA PREPARATION FOR DATA MINING BASED ON NEURAL NETWORK: A CASE STUDY ON GERMAN CREDIT CLASSIFICATION DATASET
MU Siregar
The system can't perform the operation now. Try again later.
Articles 1–17