![]() | ![]() |
2009 | ||
---|---|---|
4 | EE | Phiniki Stouppa, Thomas Studer: Data Privacy for Knowledge Bases. LFCS 2009: 409-421 |
2007 | ||
3 | EE | Phiniki Stouppa: A Deep Inference System for the Modal Logic S5. Studia Logica 85(2): 199-214 (2007) |
2006 | ||
2 | EE | Phiniki Stouppa, Thomas Studer: A Formal Model of Data Privacy. Ershov Memorial Conference 2006: 400-408 |
2004 | ||
1 | EE | Charles Stewart, Phiniki Stouppa: A Systematic Proof Theory for Several Modal Logics. Advances in Modal Logic 2004: 309-333 |
1 | Charles Stewart | [1] |
2 | Thomas Studer | [2] [4] |