Predicting staple food materials price using multivariables factors (regression and fourier models with ARIMA) SF Asnhari, PH Gunawan, Y Rusmawati 2019 7th International Conference on Information and Communication …, 2019 | 15 | 2019 |
Verifying vaccine supply chain system in Indonesia using linear-time temporal logic MFS Wikatama, M Arzaki, Y Rusmawati 2018 6th International Conference on Information and Communication …, 2018 | 5 | 2018 |
Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+ R Dewoprabowo, M Arzaki, Y Rusmawati 2018 International Conference on Advanced Computer Science and Information …, 2018 | 4 | 2018 |
Knowledge Representation of Political Parties' Ideological Characteristics Using Formal Concept Analysis SL Hanum, M Arzaki, Y Rusmawati 2019 International Conference on Electrical Engineering and Informatics …, 2019 | 2 | 2019 |
On Generalized Divide and Conquer Approach for Group Key Distribution: Correctness and Complexity R Dewoprabowo, M Arzaki, Y Rusmawati 2018 6th International Conference on Information and Communication …, 2018 | 2 | 2018 |
Correlation Analysis on Big Data for Legislative Election L Dwiyanti, Y Rusmawati, A Wisanggeni, F Nugraha 2021 International Conference on Data and Software Engineering (ICoDSE), 1-5, 2021 | 1 | 2021 |
Designing Interaction for Zero-Waste Application Using Cooperative Gamification S Imani, Y Widyani, Y Rusmawati 2021 International Conference on Data and Software Engineering (ICoDSE), 1-6, 2021 | 1 | 2021 |
Text Classification Using XLNet with Infomap Automatic Labeling Process TD Salma, GAP Saptawati, Y Rusmawati 2021 8th International Conference on Advanced Informatics: Concepts, Theory …, 2021 | 1 | 2021 |
MAGNET architecture optimization on multi-label text classification MA Abdurrazzaq, GAP Saptawati, Y Rusmawati 2021 8th International Conference on Advanced Informatics: Concepts, Theory …, 2021 | 1 | 2021 |
Reasoning about the Cascading Failure of Financial Network Using Prolog JB Permana, M Arzaki, Y Rusmawati 2019 International Conference on Advanced Computer Science and information …, 2019 | 1 | 2019 |
Financial Network Approach for Modeling about Company Bankruptcy JB Permana, Y Rusmawati, M Arzaki 2019 7th International Conference on Information and Communication …, 2019 | 1 | 2019 |
Reasoning about the disruption patterns for train system using Bayesian Network and Prolog YR Pradiawati, Y Rusmawati, M Arzaki Journal of Physics: Conference Series 1192 (1), 012064, 2019 | 1 | 2019 |
Reasoning about traffic signals controller for intersection with contraflow lanes for bus rapid transit using linear-time temporal logic M Arzaki, Y Rusmawati, AK Kusnadi, SA Atmawardhana 2018 International Conference on Advanced Computer Science and Information …, 2018 | 1 | 2018 |
Towards the modelling of dynamic train systems: Disruption pattern analysis Y Rusmawati, R Rismala 2016 4th International Conference on Information and Communication …, 2016 | 1 | 2016 |
Modelling and reasoning about dynamic networks as concurrent systems Y Rusmawati PQDT-UK & Ireland, 2014 | 1 | 2014 |
Modelling and Reasoning about Dynamic Networks as Concurrent Systems Y Rusmawati, D Rydeheard 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013), 2013 | 1 | 2013 |
Designing Gamification for Programming Learning Applications E Pradanika, Y Widyani, Y Rusmawati 2022 International Conference on Data and Software Engineering (ICoDSE), 18-23, 2022 | | 2022 |
Earthquake patterns identification based on network centrality measurements and earthquake type Y Rusmawati 2022 IEEE International Conference on Big Data and Smart Computing (BigComp …, 2022 | | 2022 |
Automated Reasoning on Machine Learning Model of Legislative Election Prediction Y Rusmawati Proceedings of the 10th International Joint Conference on Knowledge Graphs …, 2021 | | 2021 |
Scrum Modification for Small-scale Web Application A Yustin, Y Widyani, Y Rusmawati 2021 International Conference on Data and Software Engineering (ICoDSE), 1-6, 2021 | | 2021 |