Ikuti
Yanti Rusmawati
Yanti Rusmawati
Email yang diverifikasi di telkomuniversity.ac.id
Judul
Dikutip oleh
Dikutip oleh
Tahun
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
152019
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
52018
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
42018
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
22019
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
22018
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
12021
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
12021
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
12021
MAGNET architecture optimization on multi-label text classification
MA Abdurrazzaq, GAP Saptawati, Y Rusmawati
2021 8th International Conference on Advanced Informatics: Concepts, Theory …, 2021
12021
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
12019
Financial Network Approach for Modeling about Company Bankruptcy
JB Permana, Y Rusmawati, M Arzaki
2019 7th International Conference on Information and Communication …, 2019
12019
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
12019
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
12018
Towards the modelling of dynamic train systems: Disruption pattern analysis
Y Rusmawati, R Rismala
2016 4th International Conference on Information and Communication …, 2016
12016
Modelling and reasoning about dynamic networks as concurrent systems
Y Rusmawati
PQDT-UK & Ireland, 2014
12014
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
12013
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
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20