A Systematic Proof Theory for Several Modal Logics. - Charles Stewart; Phiniki Stouppa (Advances in Modal Logic, 2004)

A Formal Model of Data Privacy. - Phiniki Stouppa; Thomas Studer (Ershov Memorial Conference, 2006)

A Deep Inference System for the Modal Logic S5. - Phiniki Stouppa (Stud Logica, 2007)

Data Privacy for Knowledge Bases. - Phiniki Stouppa; Thomas Studer (LFCS, 2009)