Gia Septiana Wulandari

According to our database, Gia Septiana Wulandari authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

2021

Verification of graph programs with monadic second-order logic

Gia Septiana Wulandari

PhD thesis, 2021

Verifying Graph Programs with Monadic Second-Order Logic.

Gia Septiana Wulandari, Detlef Plump

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

Verifying Graph Programs with First-Order Logic.

Gia Septiana Wulandari, Detlef Plump

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Verifying Graph Programs with First-Order Logic (Extended Version).

Gia Septiana Wulandari, Detlef Plump

CoRR, 2020

2018

Verifying a Copying Garbage Collector in GP 2.

Gia Septiana Wulandari, Detlef Plump

Proceedings of the Software Technologies: Applications and Foundations, 2018

2015

Cluster-Smoothed with Random Neighbor Selection for Collaborative Filtering.

Aulia Rahmawati, Agung Toto Wibowo, Gia Septiana Wulandari

Proceedings of the 2015 International Conference on Computer, 2015