Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract). - Sujata Ghosh; Sumit Sourabh; Rineke Verbrugge (LORI, 2011)

Characterizing Successful Formulas: the Multi-agent Case - Sanchit Saraf; Sumit Sourabh (CoRR, 2012)

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (TACL, 2013)

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (TACL, 2013)

Generalized Vietoris Bisimulations. - Sebastian Enqvist; Sumit Sourabh (CoRR, 2014)

Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. - Willem Conradie; Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (CoRR, 2015)

Algorithmic correspondence for intuitionistic modal mu-calculus. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (Theor. Comput. Sci., 2015)

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. - Guram Bezhanishvili; Nick Bezhanishvili; Sumit Sourabh; Yde Venema (Appl. Categorical Struct., 2017)

Algebraic modal correspondence: Sahlqvist and beyond. - Willem Conradie; Alessandra Palmigiano; Sumit Sourabh (J. Log. Algebraic Methods Program., 2017)

Sahlqvist preservation for topological fixed-point logic. - Nick Bezhanishvili; Sumit Sourabh (J. Log. Comput., 2017)

Sahlqvist theory for impossible worlds. - Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (J. Log. Comput., 2017)

Jónsson-style canonicity for ALBA-inequalities. - Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (J. Log. Comput., 2017)

Incorporating Contagion in Portfolio Credit Risk Models Using Network Theory. - Ioannis Anagnostou; Sumit Sourabh; Drona Kandhai (Complex., 2018)

Bisimulations for coalgebras on Stone spaces. - Sebastian Enqvist; Sumit Sourabh (J. Log. Comput., 2018)