Revealing vs. Concealing: More Simulation Games for Büchi Inclusion. - Milka Hutagalung; Martin Lange; Étienne Lozes (LATA, 2013)

Model Checking for String Problems. - Milka Hutagalung; Martin Lange (CSR, 2014)

Buffered Simulation Games for Büchi Automata. - Milka Hutagalung; Martin Lange; Étienne Lozes (AFL, 2014)

Multi-Buffer Simulations for Trace Language Inclusion. - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (GandALF, 2016)

Two-Buffer Simulation Games. - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (Cassting/SynCoP, 2016)

Multi-buffer simulations: Decidability and complexity. - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (Inf. Comput., 2018)

Buffered Simulation for Büchi Automata. - Milka Hutagalung (2019)

Topological Characterisation of Multi-Buffer Simulation. - Milka Hutagalung (Fundam. Informaticae, 2021)