Phiniki Stouppa

According to our database, Phiniki Stouppa authored at least 4 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Data Privacy for Knowledge Bases.

Phiniki Stouppa, Thomas Studer

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2007

A Deep Inference System for the Modal Logic S5.

Phiniki Stouppa

Stud Logica, 2007

2006

A Formal Model of Data Privacy.

Phiniki Stouppa, Thomas Studer

Proceedings of the Perspectives of Systems Informatics, 2006

2004

A Systematic Proof Theory for Several Modal Logics.

Charles Stewart, Phiniki Stouppa

Proceedings of the Advances in Modal Logic 5, 2004