dosen
| Nama | Ir. Maria Ulfah Siregar, S.Kom., MIT., Ph.D. |
| Program Studi | S2 | Informatika |
| Fakultas | Sains dan Teknologi |
| Jenis Pegawai | Status | Pegawai Negeri Sipil | Aktif Mengajar |
| Jabatan Akademik | Golongan | Lektor Kepala | IV/B |
| |
|
| Pendidikan Terakhir | S3 | - |
Riwayat Mengajar
No
Mata Kuliah
SKS
Jenis MK
Kelas
Jadwal
1
Aljabar Linier
4
WAJIB
A
SEN 13:25-15:10 R: FST-407#SEL 08:50-10:35 R: FST-407
2
Aljabar Linier
4
WAJIB
B
SEL 07:00-08:45 R: FST-407#KAM 15:30-17:15 R: FST-407
3
Aljabar Linier
4
WAJIB
C
SEL 13:25-15:10 R: FST-407#RAB 10:40-12:10 R: FST-407
4
Capita Selecta MBKM Machine Learning 3
4
PILIHAN
M
SAB 06:30-06:30 R: FST-Virtual 1
5
Capita Selecta MBKM Machine Learning 4
4
PILIHAN
M
SAB 06:31-06:31 R: FST-Virtual 1
6
Penalaran Komputer
4
PILIHAN
A
SEN 07:00-08:45 R: FST-Virtual 1#RAB 13:25-15:10 R: FST-106
| No | Mata Kuliah | SKS | Jenis MK | Kelas | Jadwal |
|---|---|---|---|---|---|
| 1 | Aljabar Linier | 4 | WAJIB | A | SEN 13:25-15:10 R: FST-407#SEL 08:50-10:35 R: FST-407 |
| 2 | Aljabar Linier | 4 | WAJIB | B | SEL 07:00-08:45 R: FST-407#KAM 15:30-17:15 R: FST-407 |
| 3 | Aljabar Linier | 4 | WAJIB | C | SEL 13:25-15:10 R: FST-407#RAB 10:40-12:10 R: FST-407 |
| 4 | Capita Selecta MBKM Machine Learning 3 | 4 | PILIHAN | M | SAB 06:30-06:30 R: FST-Virtual 1 |
| 5 | Capita Selecta MBKM Machine Learning 4 | 4 | PILIHAN | M | SAB 06:31-06:31 R: FST-Virtual 1 |
| 6 | Penalaran Komputer | 4 | PILIHAN | A | SEN 07:00-08:45 R: FST-Virtual 1#RAB 13:25-15:10 R: FST-106 |
Riwayat Pendidikan
No
Jenjang
Perguruan Tinggi
Jurusan
Gelar Akademik
Tahun Lulus
1
S3
University of Sheffield United Kingdom Computer Science
-
-
2017
2
S2
Universiti Kebangsaan Malaysia
-
-
2007
3
S1
Institut Teknologi Sepuluh Nopember
Informatika
S.Kom.
2002
| No | Jenjang | Perguruan Tinggi | Jurusan | Gelar Akademik | Tahun Lulus |
|---|---|---|---|---|---|
| 1 | S3 | University of Sheffield United Kingdom Computer Science | - | - | 2017 |
| 2 | S2 | Universiti Kebangsaan Malaysia | - | - | 2007 |
| 3 | S1 | Institut Teknologi Sepuluh Nopember | Informatika | S.Kom. | 2002 |
Publikasi
No
Tahun
Karya
Artikel Jurnal Ilmiah
1
2025
Analisis Ketertarikan Pengguna Microsoft Excel Online untuk Pengolahan Data Silsilah Keluarga Menggunakan TAM dan TPB
Tingkat Nasional Terakreditasi - Sinta 3
Diterbitkan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga
2
2025
Classification of Senile Cataract Disease Using Convolutional Neural Network Method and Explainable Artificial Intelligence
Tingkat Nasional Terakreditasi - Sinta 4
Diterbitkan oleh CV. Inara
3
2025
Analisis Perbandingan Learnability antara Framework dan Native PHP pada Mahasiswa Informatika Universitas XYZ
Tingkat Nasional
4
2025
A Better Performance of GAN Fake Face Image Detection Using Error Level Analysis-CNN
Tingkat Internasional Bereputasi - Q3
5
2025
Price Forecasting of Chili Variant Commodities Using Radial Basis Function Neural Network
Tingkat Nasional Terakreditasi - Sinta 3
Diterbitkan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga
6
2025
Comparison of KNN and Random Forest Algorithms on E-Commerce Service Chatbot
Tingkat Nasional Terakreditasi - Sinta 3
Diterbitkan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga
7
2025
DATA PREPARATION FOR DATA MINING BASED ON NEURAL NETWORK: A CASE STUDY ON GERMAN CREDIT CLASSIFICATION DATASET
Tingkat Nasional
8
2025
Desain dan Implementasi Pencarian Ciri-Ciri Wajah Menggunakan Gabungan Model Distribusi Titik dan Algoritma Genetika
Tingkat Nasional
9
2024
Utilizing Prolog for Automatic Transformation of English Words
Tingkat Nasional
10
2024
A Survey on Software Requirements Engineering in Information Technology Institutions
Tingkat Nasional Terakreditasi - Sinta 2
11
2024
Automated SPARQL Template for Flexible Question Answering
Tingkat Internasional Bereputasi - Q3
12
2024
Analysis of ChatGPT Acceptance for Education Using Modified Technology Acceptance Model
Tingkat Nasional Terakreditasi - Sinta 2
13
2024
Evaluasi Penggunaan Flowgorithm dalam Pembelajaran Algoritma Pemrograman menggunakan Technology Acceptance Model (TAM)
Tingkat Nasional Terakreditasi - Sinta 3
Diterbitkan oleh Universitas Hamzanwadi
14
2024
Cyber Crime Identifying Using Machine Learning Techniques-Based Sentiment Analysis
Tingkat Internasional
Diterbitkan oleh Trans Tech Publications Ltd
15
2024
Comparison of Classification Algorithm and Language Model in Accounting Financial Transaction Record: A Natural Language Processing Approach
Tingkat Internasional Bereputasi - Q3
16
2024
Eksperimen Perbandingan Evolutionary Programming dan Evolutionary Strategies dalam Permasalahan Maximization Fungsi Polinomial
Tingkat Nasional Terakreditasi - Sinta 3
17
2023
Accuracy Analysis of WP, AHP-WP, Entropy-Topsis Methods in Determining Majors
Tingkat Nasional Terakreditasi - Sinta 2
Diterbitkan oleh PRODI PENDIDIKAN TEKNIK INFORMATIKA JURUSAN TEKNIK INFORMATIKA FAKULTAS TEKNIK DAN KEJURUAN UNIVERSITAS PENDIDIKAN GANESHA
18
2023
The effects of artificial intelligence on the Kenyan society
Tingkat Internasional Bereputasi - Q2
Diterbitkan oleh The Institute of Advanced Engineering and Science (IAES) in collaboration with Intelektual Pustaka Media Utama (IPMU)
19
2023
The Formal Graph of APRDF
Tingkat Internasional Bereputasi - Q3
Diterbitkan oleh INSIGHT - Indonesian Society for Knowledge and Human Development
20
2023
Formalizing Attack Tree on Security Object for MySANi in Legal Metrology
Tingkat Internasional Bereputasi
21
2022
Comparative Study of K-Means Clustering Algorithm and K-Medoids Clustering in Student Data Clustering
Tingkat Nasional Terakreditasi - Sinta 4
22
2022
INTELLIGENT SYSTEM FOR CLASSIFICATION OF STUDENT PERSONALITY WITH NAIVE BAYES ALGORITHM
Tingkat Nasional Terakreditasi - Sinta 3
23
2022
SISTEM INFERENSI FUZZY MAMDANI UNTUK PENGHITUNGAN BONUS
KARYAWAN PT. ABC
Tingkat Nasional Terakreditasi - Sinta 3
Diterbitkan oleh Department of Informatics, Universitas Islam Negeri Syarif Hidayatullah
24
2021
Pengaruh Faktor Model UTAUT (Unified Theory of Acceptance and Use of Technology) Terhadap Niat Generasi Milenial Dalam Menggunakan Mobile Banking di Indonesia
Tingkat Nasional Terakreditasi - Sinta 5
Diterbitkan oleh Politeknik Bisnis Indonesia
25
2021
Perbandingan Faktor-Faktor Yang Mempengaruhi Penggunaan Electronic-Know Your Customer(e-KYC).
Tingkat Nasional Terakreditasi - Sinta 4
26
2021
Rekomendasi Peminatan Peserta Didik Baru pada Kurikulum 13 (K-13) Menggunakan Metode Profile Matching, Simple Additive Weighting dan kombinasi (Studi Kasus: MA NU Assalafie)
Tingkat Nasional Terakreditasi - Sinta 2
Diterbitkan oleh Department of Computer Engineering, Faculty of Engineering, Universitas Diponegoro
27
2021
Sistem rekomendasi peminatan peserta didik baru pada kurikulum K-13 menggunakan metode
profile matching, simple additive weighting, dan kombinasi keduanya
Tingkat Nasional Terakreditasi
28
2021
Suatu Pendekatan Hibrid Menggunakan Topsis - Entropi pada Penentuan Siswa Penerima Beasiswa Prestasi Berbasiskan Kriteria Objektif
Tingkat Nasional Terakreditasi - Sinta 2
Diterbitkan oleh Fakultas Ilmu Komputer, Universitas Brawijaya
29
2020
Prapemrosesan klasifikasi algoritme kNN menggunakan K-means danmatriks jarak untuk dataset hasil studi mahasiswa
Tingkat Nasional Terakreditasi - Sinta 2
Diterbitkan oleh Department of Computer Engineering, Faculty of Engineering, Universitas Diponegoro
30
2020
An Efficient Journal Articles Searching using Vector Space Model Algorithm
Tingkat Nasional Terakreditasi - Sinta 4
31
2020
ANALISIS KESIAPAN PENGIMPLEMENTASIAN EDUROAM DI UIN SUNAN KALIJAGA
Tingkat Nasional Terakreditasi - Sinta 3
32
2019
Evaluation of IT Service Management (ITSM) Using e-GovQual Dimensions Case Study Regional Office Ministry of Law and Human Rights DIY
Tingkat Nasional Terakreditasi - Sinta 4
33
2019
Evaluation of E-Government Using COBIT 5 Framework (Case Study of Sistem Database Pemasyarakatan Implementation in Ministry of Law and Human Rights in the Special Region of Yogyakarta)
Tingkat Nasional Terakreditasi - Sinta 4
34
2019
RANCANG BANGUN SISTEM INFORMASI PENYEDIAAN AIR MINUM DAN SANITASI BERBASIS MASYARAKAT (PAMSIMAS) DENGAN METODE EXTREME PROGRAMMING
Tingkat Nasional Terakreditasi - Sinta 4
35
2019
Revitalisasi Pengelolaan Jurnal IJID
Tingkat Nasional Terakreditasi - Sinta 4
36
2018
Design and Development of Web-Based Payroll Information System Using Codeigniter Framework and Extreme Programming Method
Tingkat Nasional Terakreditasi - Sinta 4
Diterbitkan oleh Informatics Department
37
2018
A Usage of McCall's Software Quality Analysis on the Bonus System of PT Surya Pratama Alam
Tingkat Nasional Terakreditasi - Sinta 4
38
2018
A Scanner and Parser for Z Specifications
Tingkat Internasional
39
2016
Translations of Embedded Theorems in Z Specifications
Tingkat Nasional
40
2014
Recommendation System of Self-Medication for Mild Digestive Diseases with Dempster Shafer Method
Tingkat Internasional
41
2013
Automatic of Correction and Program Evaluation Using Web-Based Systems
Tingkat Internasional
42
2013
Expert System for Diagnosis Skin Disease in Infants With Case-Based Reasoning Method
Tingkat Internasional
43
2012
A New Approach to CPU Scheduling Algorithm: Genetic Round Robin
Tingkat Internasional
44
2012
An Approach for Pre-Diagnosis Information Literacy Level by Using Expert System
Tingkat Internasional
45
2009
Ada Apa dengan si Fenomenal Berry Hitam
Tingkat Nasional
Book Chapter
46
2018
A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
Tingkat Internasional Bereputasi
Pada Workshop on Formal Methods Integration, International Conference on Information Reuse and Integration
Diterbitkan oleh Springer
Conference Paper
47
2023
Rancangan Aplikasi Chatbot Telgram "Tanya Zaid" Sebagai Media Pembelajaran Nahwu
Tingkat Nasional
Pada Integrasi Interkoneksi Islam dan Sains . Diselenggarakan oleh Fakultas Sains dan Teknologi UIN Sunan Kalijaga
Diterbitkan oleh Fakultas Sains dan Teknologi UIN Sunan Kalijaga
48
2023
Housing Price Prediction Using a Hybrid Genetic Algorithm with Extreme Gradient
Tingkat Internasional terindeks pada IEEE Explore dan SPIE
Pada The 2022 International Conference on Computer, Control, Informatics and Its Applications (IC3INA) . Diselenggarakan oleh BRIN
Diterbitkan oleh Association for Computing Machinery New York NY United States
49
2023
Optimized Random Forest Classifier Based on Genetic Algorithm for Heart Failure Prediction
Tingkat Internasional terindeks pada IEEE Explore dan SPIE
Pada 2022 Seventh International Conference on Informatics and Computing (ICIC) . Diselenggarakan oleh Aptikom
50
2021
An Implementation of Profile Matching Method to
Determine Agricultural Crops that Suit the Land
Tingkat Internasional
Pada International Conference on Science and Engineering (ICSE-UIN-SUKA 2021)
Diterbitkan oleh Atlantis Press
51
2021
Application of the Naïve Bayes Classifier Method in the Sentiment Analysis of Twitter User About the Opinion of Capital City Relocation
Tingkat Internasional
Pada International Conference on Science and Engineering (ICSE) 2020 . Diselenggarakan oleh UIN Sunan Kalijaga Yogyakarta - Indonesia
Diterbitkan oleh UIN Sunan Kalijaga Yogyakarta - Indonesia
52
2020
Verification of a Rule-Based Expert System by Using SAL Model Checker
Tingkat Internasional
Pada The 3rd International Conference on Informatics and Computational Sciences
53
2016
Support for Model Checking Z Specifications
Tingkat Internasional Bereputasi
Pada The 4th Workshop on Formal Methods and Integration (The IEEE 17th International Conference on Information Reuse and Integration) . Diselenggarakan oleh School of Information Sience, University of Pittsburgh
54
2014
Experiences Using Z2SAL
Tingkat Internasional
Pada International Conference on Advanced Computer Science and Information Systems (ICACSIS) . Diselenggarakan oleh Faculty of Computer Science Universitas Indonesia
Diterbitkan oleh Faculty of Computer Science Universitas Indonesia
55
2014
An Investigation into the Use of Abstraction in Model Checking Z Specification
Tingkat Internasional
Pada 9th Annual South-East European Doctoral Student Conference . Diselenggarakan oleh 9th Annual South-East European Doctoral Student Conference
Diterbitkan oleh 9th Annual South-East European Doctoral Student Conference
56
2011
Pre Diagnosis of Information Literacy Level
Tingkat Internasional
Pada International Conference on Informatics Development (ICID) . Diselenggarakan oleh International Conference on Informatics Development (ICID)
Diterbitkan oleh UIN Sunan Kalijaga
57
2009
Development of Computer Graphics Learning Tool Object-Based:A Case Study on Bresenham and Midpoint Algorithm
Tingkat Internasional
Pada IIS
58
2007
Generator for Z Conceptual Model Using JFlex and BYACC/J Specification
Tingkat Internasional
Pada IES 2007 . Diselenggarakan oleh Politeknik Sepuluh Nopember Surabaya
Prosiding
59
2025
Comparative Study of Formal Verification Techniques for Program
Execution Using SMT Solvers
Tingkat Internasional
Pada 7th ICSE 2025 . Diselenggarakan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga
Diterbitkan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga
Seminar
60
2014
Using Abstraction in Model Checking Z Specifications
Tingkat Internasional
| No | Tahun | Karya |
|---|---|---|
| Artikel Jurnal Ilmiah | ||
| 1 | 2025 |
Analisis Ketertarikan Pengguna Microsoft Excel Online untuk Pengolahan Data Silsilah Keluarga Menggunakan TAM dan TPB
Tingkat Nasional Terakreditasi - Sinta 3 Diterbitkan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga |
| 2 | 2025 |
Classification of Senile Cataract Disease Using Convolutional Neural Network Method and Explainable Artificial Intelligence
Tingkat Nasional Terakreditasi - Sinta 4 Diterbitkan oleh CV. Inara |
| 3 | 2025 |
Analisis Perbandingan Learnability antara Framework dan Native PHP pada Mahasiswa Informatika Universitas XYZ
Tingkat Nasional |
| 4 | 2025 |
A Better Performance of GAN Fake Face Image Detection Using Error Level Analysis-CNN
Tingkat Internasional Bereputasi - Q3 |
| 5 | 2025 |
Price Forecasting of Chili Variant Commodities Using Radial Basis Function Neural Network
Tingkat Nasional Terakreditasi - Sinta 3 Diterbitkan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga |
| 6 | 2025 |
Comparison of KNN and Random Forest Algorithms on E-Commerce Service Chatbot
Tingkat Nasional Terakreditasi - Sinta 3 Diterbitkan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga |
| 7 | 2025 |
DATA PREPARATION FOR DATA MINING BASED ON NEURAL NETWORK: A CASE STUDY ON GERMAN CREDIT CLASSIFICATION DATASET
Tingkat Nasional |
| 8 | 2025 |
Desain dan Implementasi Pencarian Ciri-Ciri Wajah Menggunakan Gabungan Model Distribusi Titik dan Algoritma Genetika
Tingkat Nasional |
| 9 | 2024 |
Utilizing Prolog for Automatic Transformation of English Words
Tingkat Nasional |
| 10 | 2024 |
A Survey on Software Requirements Engineering in Information Technology Institutions
Tingkat Nasional Terakreditasi - Sinta 2 |
| 11 | 2024 |
Automated SPARQL Template for Flexible Question Answering
Tingkat Internasional Bereputasi - Q3 |
| 12 | 2024 |
Analysis of ChatGPT Acceptance for Education Using Modified Technology Acceptance Model
Tingkat Nasional Terakreditasi - Sinta 2 |
| 13 | 2024 |
Evaluasi Penggunaan Flowgorithm dalam Pembelajaran Algoritma Pemrograman menggunakan Technology Acceptance Model (TAM)
Tingkat Nasional Terakreditasi - Sinta 3 Diterbitkan oleh Universitas Hamzanwadi |
| 14 | 2024 |
Cyber Crime Identifying Using Machine Learning Techniques-Based Sentiment Analysis
Tingkat Internasional Diterbitkan oleh Trans Tech Publications Ltd |
| 15 | 2024 |
Comparison of Classification Algorithm and Language Model in Accounting Financial Transaction Record: A Natural Language Processing Approach
Tingkat Internasional Bereputasi - Q3 |
| 16 | 2024 |
Eksperimen Perbandingan Evolutionary Programming dan Evolutionary Strategies dalam Permasalahan Maximization Fungsi Polinomial
Tingkat Nasional Terakreditasi - Sinta 3 |
| 17 | 2023 |
Accuracy Analysis of WP, AHP-WP, Entropy-Topsis Methods in Determining Majors
Tingkat Nasional Terakreditasi - Sinta 2 Diterbitkan oleh PRODI PENDIDIKAN TEKNIK INFORMATIKA JURUSAN TEKNIK INFORMATIKA FAKULTAS TEKNIK DAN KEJURUAN UNIVERSITAS PENDIDIKAN GANESHA |
| 18 | 2023 |
The effects of artificial intelligence on the Kenyan society
Tingkat Internasional Bereputasi - Q2 Diterbitkan oleh The Institute of Advanced Engineering and Science (IAES) in collaboration with Intelektual Pustaka Media Utama (IPMU) |
| 19 | 2023 |
The Formal Graph of APRDF
Tingkat Internasional Bereputasi - Q3 Diterbitkan oleh INSIGHT - Indonesian Society for Knowledge and Human Development |
| 20 | 2023 |
Formalizing Attack Tree on Security Object for MySANi in Legal Metrology
Tingkat Internasional Bereputasi |
| 21 | 2022 |
Comparative Study of K-Means Clustering Algorithm and K-Medoids Clustering in Student Data Clustering
Tingkat Nasional Terakreditasi - Sinta 4 |
| 22 | 2022 |
INTELLIGENT SYSTEM FOR CLASSIFICATION OF STUDENT PERSONALITY WITH NAIVE BAYES ALGORITHM
Tingkat Nasional Terakreditasi - Sinta 3 |
| 23 | 2022 |
SISTEM INFERENSI FUZZY MAMDANI UNTUK PENGHITUNGAN BONUS
KARYAWAN PT. ABC
Tingkat Nasional Terakreditasi - Sinta 3 Diterbitkan oleh Department of Informatics, Universitas Islam Negeri Syarif Hidayatullah |
| 24 | 2021 |
Pengaruh Faktor Model UTAUT (Unified Theory of Acceptance and Use of Technology) Terhadap Niat Generasi Milenial Dalam Menggunakan Mobile Banking di Indonesia
Tingkat Nasional Terakreditasi - Sinta 5 Diterbitkan oleh Politeknik Bisnis Indonesia |
| 25 | 2021 |
Perbandingan Faktor-Faktor Yang Mempengaruhi Penggunaan Electronic-Know Your Customer(e-KYC).
Tingkat Nasional Terakreditasi - Sinta 4 |
| 26 | 2021 |
Rekomendasi Peminatan Peserta Didik Baru pada Kurikulum 13 (K-13) Menggunakan Metode Profile Matching, Simple Additive Weighting dan kombinasi (Studi Kasus: MA NU Assalafie)
Tingkat Nasional Terakreditasi - Sinta 2 Diterbitkan oleh Department of Computer Engineering, Faculty of Engineering, Universitas Diponegoro |
| 27 | 2021 |
Sistem rekomendasi peminatan peserta didik baru pada kurikulum K-13 menggunakan metode
profile matching, simple additive weighting, dan kombinasi keduanya
Tingkat Nasional Terakreditasi |
| 28 | 2021 |
Suatu Pendekatan Hibrid Menggunakan Topsis - Entropi pada Penentuan Siswa Penerima Beasiswa Prestasi Berbasiskan Kriteria Objektif
Tingkat Nasional Terakreditasi - Sinta 2 Diterbitkan oleh Fakultas Ilmu Komputer, Universitas Brawijaya |
| 29 | 2020 |
Prapemrosesan klasifikasi algoritme kNN menggunakan K-means danmatriks jarak untuk dataset hasil studi mahasiswa
Tingkat Nasional Terakreditasi - Sinta 2 Diterbitkan oleh Department of Computer Engineering, Faculty of Engineering, Universitas Diponegoro |
| 30 | 2020 |
An Efficient Journal Articles Searching using Vector Space Model Algorithm
Tingkat Nasional Terakreditasi - Sinta 4 |
| 31 | 2020 |
ANALISIS KESIAPAN PENGIMPLEMENTASIAN EDUROAM DI UIN SUNAN KALIJAGA
Tingkat Nasional Terakreditasi - Sinta 3 |
| 32 | 2019 |
Evaluation of IT Service Management (ITSM) Using e-GovQual Dimensions Case Study Regional Office Ministry of Law and Human Rights DIY
Tingkat Nasional Terakreditasi - Sinta 4 |
| 33 | 2019 |
Evaluation of E-Government Using COBIT 5 Framework (Case Study of Sistem Database Pemasyarakatan Implementation in Ministry of Law and Human Rights in the Special Region of Yogyakarta)
Tingkat Nasional Terakreditasi - Sinta 4 |
| 34 | 2019 |
RANCANG BANGUN SISTEM INFORMASI PENYEDIAAN AIR MINUM DAN SANITASI BERBASIS MASYARAKAT (PAMSIMAS) DENGAN METODE EXTREME PROGRAMMING
Tingkat Nasional Terakreditasi - Sinta 4 |
| 35 | 2019 |
Revitalisasi Pengelolaan Jurnal IJID
Tingkat Nasional Terakreditasi - Sinta 4 |
| 36 | 2018 |
Design and Development of Web-Based Payroll Information System Using Codeigniter Framework and Extreme Programming Method
Tingkat Nasional Terakreditasi - Sinta 4 Diterbitkan oleh Informatics Department |
| 37 | 2018 |
A Usage of McCall's Software Quality Analysis on the Bonus System of PT Surya Pratama Alam
Tingkat Nasional Terakreditasi - Sinta 4 |
| 38 | 2018 |
A Scanner and Parser for Z Specifications
Tingkat Internasional |
| 39 | 2016 |
Translations of Embedded Theorems in Z Specifications
Tingkat Nasional |
| 40 | 2014 |
Recommendation System of Self-Medication for Mild Digestive Diseases with Dempster Shafer Method
Tingkat Internasional |
| 41 | 2013 |
Automatic of Correction and Program Evaluation Using Web-Based Systems
Tingkat Internasional |
| 42 | 2013 |
Expert System for Diagnosis Skin Disease in Infants With Case-Based Reasoning Method
Tingkat Internasional |
| 43 | 2012 |
A New Approach to CPU Scheduling Algorithm: Genetic Round Robin
Tingkat Internasional |
| 44 | 2012 |
An Approach for Pre-Diagnosis Information Literacy Level by Using Expert System
Tingkat Internasional |
| 45 | 2009 |
Ada Apa dengan si Fenomenal Berry Hitam
Tingkat Nasional |
| Book Chapter | ||
| 46 | 2018 |
A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
Tingkat Internasional Bereputasi Pada Workshop on Formal Methods Integration, International Conference on Information Reuse and Integration Diterbitkan oleh Springer |
| Conference Paper | ||
| 47 | 2023 |
Rancangan Aplikasi Chatbot Telgram "Tanya Zaid" Sebagai Media Pembelajaran Nahwu
Tingkat Nasional Pada Integrasi Interkoneksi Islam dan Sains . Diselenggarakan oleh Fakultas Sains dan Teknologi UIN Sunan Kalijaga Diterbitkan oleh Fakultas Sains dan Teknologi UIN Sunan Kalijaga |
| 48 | 2023 |
Housing Price Prediction Using a Hybrid Genetic Algorithm with Extreme Gradient
Tingkat Internasional terindeks pada IEEE Explore dan SPIE Pada The 2022 International Conference on Computer, Control, Informatics and Its Applications (IC3INA) . Diselenggarakan oleh BRIN Diterbitkan oleh Association for Computing Machinery New York NY United States |
| 49 | 2023 |
Optimized Random Forest Classifier Based on Genetic Algorithm for Heart Failure Prediction
Tingkat Internasional terindeks pada IEEE Explore dan SPIE Pada 2022 Seventh International Conference on Informatics and Computing (ICIC) . Diselenggarakan oleh Aptikom |
| 50 | 2021 |
An Implementation of Profile Matching Method to
Determine Agricultural Crops that Suit the Land
Tingkat Internasional Pada International Conference on Science and Engineering (ICSE-UIN-SUKA 2021) Diterbitkan oleh Atlantis Press |
| 51 | 2021 |
Application of the Naïve Bayes Classifier Method in the Sentiment Analysis of Twitter User About the Opinion of Capital City Relocation
Tingkat Internasional Pada International Conference on Science and Engineering (ICSE) 2020 . Diselenggarakan oleh UIN Sunan Kalijaga Yogyakarta - Indonesia Diterbitkan oleh UIN Sunan Kalijaga Yogyakarta - Indonesia |
| 52 | 2020 |
Verification of a Rule-Based Expert System by Using SAL Model Checker
Tingkat Internasional Pada The 3rd International Conference on Informatics and Computational Sciences |
| 53 | 2016 |
Support for Model Checking Z Specifications
Tingkat Internasional Bereputasi Pada The 4th Workshop on Formal Methods and Integration (The IEEE 17th International Conference on Information Reuse and Integration) . Diselenggarakan oleh School of Information Sience, University of Pittsburgh |
| 54 | 2014 |
Experiences Using Z2SAL
Tingkat Internasional Pada International Conference on Advanced Computer Science and Information Systems (ICACSIS) . Diselenggarakan oleh Faculty of Computer Science Universitas Indonesia Diterbitkan oleh Faculty of Computer Science Universitas Indonesia |
| 55 | 2014 |
An Investigation into the Use of Abstraction in Model Checking Z Specification
Tingkat Internasional Pada 9th Annual South-East European Doctoral Student Conference . Diselenggarakan oleh 9th Annual South-East European Doctoral Student Conference Diterbitkan oleh 9th Annual South-East European Doctoral Student Conference |
| 56 | 2011 |
Pre Diagnosis of Information Literacy Level
Tingkat Internasional Pada International Conference on Informatics Development (ICID) . Diselenggarakan oleh International Conference on Informatics Development (ICID) Diterbitkan oleh UIN Sunan Kalijaga |
| 57 | 2009 |
Development of Computer Graphics Learning Tool Object-Based:A Case Study on Bresenham and Midpoint Algorithm
Tingkat Internasional Pada IIS |
| 58 | 2007 |
Generator for Z Conceptual Model Using JFlex and BYACC/J Specification
Tingkat Internasional Pada IES 2007 . Diselenggarakan oleh Politeknik Sepuluh Nopember Surabaya |
| Prosiding | ||
| 59 | 2025 |
Comparative Study of Formal Verification Techniques for Program
Execution Using SMT Solvers
Tingkat Internasional Pada 7th ICSE 2025 . Diselenggarakan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga Diterbitkan oleh Fakultas Sains dan Teknologi, Universitas Islam Negeri (UIN) Sunan Kalijaga |
| Seminar | ||
| 60 | 2014 |
Using Abstraction in Model Checking Z Specifications
Tingkat Internasional |
Penelitian
No
Tahun
Karya
Melakukan penelitian
1
2020
Akselerasi Akreditasi Jurnal IJID
Tingkat Nasional
2
2018
Pengembangan Jurnal IJID
Tingkat Nasional
| No | Tahun | Karya |
|---|---|---|
| Melakukan penelitian | ||
| 1 | 2020 |
Akselerasi Akreditasi Jurnal IJID
Tingkat Nasional |
| 2 | 2018 |
Pengembangan Jurnal IJID
Tingkat Nasional |
HAKI
No
Tahun
Karya
Hak Cipta
1
2022
PELATIHAN DESAIN GRAFIS MENGGUNAKAN CANVA DI PONDOK PESANTREN SANTI AJI
Tingkat Nasional
Diterbitkan oleh Kementerian Hukum dan Hak Asasi Manusia
2
2022
GENETIC ROUND ROBIN
Tingkat Nasional
Diterbitkan oleh Kementerian Hukum dan Hak Asasi Manusia
| No | Tahun | Karya |
|---|---|---|
| Hak Cipta | ||
| 1 | 2022 |
PELATIHAN DESAIN GRAFIS MENGGUNAKAN CANVA DI PONDOK PESANTREN SANTI AJI
Tingkat Nasional Diterbitkan oleh Kementerian Hukum dan Hak Asasi Manusia |
| 2 | 2022 |
GENETIC ROUND ROBIN
Tingkat Nasional Diterbitkan oleh Kementerian Hukum dan Hak Asasi Manusia |