Cluster-Smoothed with Random Neighbor Selection for Collaborative Filtering. - Aulia Rahmawati; Agung Toto Wibowo; Gia Septiana Wulandari (IC3INA, 2015)

Verifying a Copying Garbage Collector in GP 2. - Gia Septiana Wulandari; Detlef Plump (STAF Workshops, 2018)

Verifying Graph Programs with First-Order Logic (Extended Version). - Gia Septiana Wulandari; Detlef Plump (CoRR, 2020)

Verifying Graph Programs with First-Order Logic. - Gia Septiana Wulandari; Detlef Plump (GCM@STAF, 2020)

Verifying Graph Programs with Monadic Second-Order Logic. - Gia Septiana Wulandari; Detlef Plump (ICGT, 2021)

Verification of graph programs with monadic second-order logic - Gia Septiana Wulandari (2021)

Optimizing Emotion Recognition with Wearable Sensor Data: Unveiling Patterns in Body Movements and Heart Rate through Random Forest Hyperparameter Tuning. - Zikri Kholifah Nur; Rifki Wijaya; Gia Septiana Wulandari (CoRR, 2024)