Sumit Sourabh

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 9

Top Topics

Point Correspondences

Top Venues

J. Log. Comput.

J. Log. Algebraic Methods Program.

Publications

Sebastian Enqvist, Sumit Sourabh
Bisimulations for coalgebras on Stone spaces. J. Log. Comput. 28 (6) (2018)
Ioannis Anagnostou, Sumit Sourabh, Drona Kandhai
Incorporating Contagion in Portfolio Credit Risk Models Using Network Theory. Complex. 2018 (2018)
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Jónsson-style canonicity for ALBA-inequalities. J. Log. Comput. 27 (3) (2017)
Nick Bezhanishvili, Sumit Sourabh
Sahlqvist preservation for topological fixed-point logic. J. Log. Comput. 27 (3) (2017)
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Sahlqvist theory for impossible worlds. J. Log. Comput. 27 (3) (2017)
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh
Algebraic modal correspondence: Sahlqvist and beyond. J. Log. Algebraic Methods Program. 91 (2017)
Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. 25 (3) (2017)
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. CoRR (2015)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus. Theor. Comput. Sci. 564 (2015)
Sebastian Enqvist, Sumit Sourabh
Generalized Vietoris Bisimulations. CoRR (2014)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. TACL (2013)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. TACL (2013)
Sanchit Saraf, Sumit Sourabh
Characterizing Successful Formulas: the Multi-agent Case CoRR (2012)
Sujata Ghosh, Sumit Sourabh, Rineke Verbrugge
Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract). LORI (2011)