On Sacks forcing and the Sacks property. - Stefan Geschke; Sandra Quickert (FotFS, 2001)

Transfinite Extension of the Mu-Calculus. - Julian C. Bradfield; Jacques Duparc; Sandra Quickert (CSL, 2005)

Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction. - Karoliina Lehtinen; Sandra Quickert (CSL, 2015)

∑μ2 is decidable for ∏μ2. - Karoliina Lehtinen; Sandra Quickert (CiE, 2017)

Σμ2 is decidable for Πμ2. - Karoliina Lehtinen; Sandra Quickert (CoRR, 2017)