Sumit Sourabh

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