- Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with Monadic Second-Order Logic
Proc. International Conference on Graph Transformation (ICGT 2021) - Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with First-Order Logic
Proc. Graph Computation Model (GCM 2020) - Gia S. Wulandari, Detlef Plump
Verifying a Copying Garbage Collector in GP 2
Proc. Software and Technology : Application and Foundation ー Workshop (STAFW 2018) - Rasyid Kurniawan; Mahmud Dwi Sulistiyo; Gia Septiana Wulandari
Genetic Algorithm for Capacitated Vehicle Routing Problem with considering traffic density
Proc. International Conference on Information Technology Systems and Innovation (ICITSI), pages 1-6, 2015. - Aulia Rahmawati; Agung Toto Wibowo; Gia Septiana Wulandari
Cluster-Smoothed with Random Neighbor Selection for Collaborative Filtering
Proc. International Conference on Computer, Control, Informatics, and its Applications (IC3INA), pages 154-158, 2015. - Gia S. Wulandari; Wahyu Rismawan; Siti Saadah
Differential evolution for the cryptanalysis of transposition cipher
Proc. International Conference on Information and Communication Technology (ICoICT), pages 45-48, 2015. - Saadah, S.; Wulandari, G.S.
Interconnection learning between economic indicators in Indonesia optimized by genetic algorithm
Lecture Notes in Electrical Engineering 339, pages 777-784, 2015. - S Saadah ; G. S. Wulandari
Time series prediction of economic indicators in Indonesia using differential dynamic optimized by genetic algorithm
Proc. International Conference on Information and Communication Technology (ICoICT), pages 335-339, 2014.