Gia Septiana Wulandari

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

Collaborative distances:

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

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