Sumit Sourabh

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Bisimulations for coalgebras on Stone spaces
Journal Of Logic And Computation
2019-01-31Paper
Liquidity risk in derivatives valuation: an improved credit proxy method
Quantitative Finance
2018-11-14Paper
Incorporating contagion in portfolio credit risk models using network theory
Complexity
2018-01-29Paper
Algebraic modal correspondence: Sahlqvist and beyond
Journal of Logical and Algebraic Methods in Programming
2017-08-31Paper
Irreducible equivalence relations, Gleason spaces, and de Vries duality
Applied Categorical Structures
2017-08-10Paper
Sahlqvist theory for impossible worlds
Journal Of Logic And Computation
2017-05-17Paper
Sahlqvist preservation for topological fixed-point logic
Journal Of Logic And Computation
2017-05-17Paper
Jónsson-style canonicity for ALBA-inequalities
Journal Of Logic And Computation
2017-05-17Paper
Algebraic modal correspondence: Sahlqvist and beyond
(available as arXiv preprint)
2016-06-22Paper
Algorithmic correspondence for intuitionistic modal mu-calculus
Theoretical Computer Science
2014-12-16Paper


Research outcomes over time


This page was built for person: Sumit Sourabh