PP-2008-52: Ghosh, Sujata and Löwe, Benedikt and Saraf, Sanchit (2008) Pointer Semantics with Forward Propagation. [Report]
PP-2008-45: Ghosh, Sujata and Velázquez-Quesada, Fernando R. (2008) Expressing Belief Flow in Assertion Networks. [Report]
PP-2007-26: van Benthem, Johan and Ghosh, Sujata and Liu, Fenrong (2007) Modelling Simultaneous Games with Dynamic Logic. [Report]
PP-2007-15: Ghosh, Sujata and Löwe, Benedikt and Scorelle, Erik (2007) Belief Flow in Assertion Networks. [Report]