Gia S. Wulandari

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 4

Top Topics

Relational Structures

Probabilistic Graphical Models

Closure Operator

Top Venues

Publications

Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with Monadic Second-Order Logic. ICGT (2021)
Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with First-Order Logic. GCM@STAF (2020)
Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with First-Order Logic (Extended Version). CoRR (2020)
Gia S. Wulandari, Detlef Plump
Verifying a Copying Garbage Collector in GP 2. STAF Workshops (2018)