Sumit Sourabh

From MaRDI portal
(Redirected from Person:483294)



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