Tree space prototypes: Another look at making tree ensembles interpretable S Tan, M Soloviev, G Hooker, MT Wells Proceedings of the 2020 ACM-IMS on foundations of data science conference, 23-34, 2020 | 83 | 2020 |
Pattern graph rewrite systems A Kissinger, A Merry, M Soloviev arXiv preprint arXiv:1204.6695, 2012 | 41 | 2012 |
Quantomatic A Kissinger, A Merry, B Frot, B Coecke, D Quick, L Dixon, M Soloviev, ... Software available on-line at http://sites. google. com/site/quantomatic, 2011 | 32 | 2011 |
In the shadows, shape priors shine: Using occlusion to improve multi-region segmentation Y Kihara, M Soloviev, T Chen Proceedings of the IEEE conference on computer vision and pattern …, 2016 | 13 | 2016 |
Information acquisition under resource limitations in a noisy environment M Soloviev, JY Halpern ACM Journal of the ACM (JACM) 69 (3), 1-37, 2022 | 3 | 2022 |
Coalgebraic tools for randomness-conserving protocols D Kozen, M Soloviev Journal of Logical and Algebraic Methods in Programming 125, 100734, 2022 | 3 | 2022 |
Disjunctive Policies for Database-Backed Programs AM Ahmadian, M Soloviev, M Balliu arXiv preprint arXiv:2312.10441, 2023 | | 2023 |
Security Properties through the Lens of Modal Logic M Soloviev, M Balliu, R Guanciale arXiv preprint arXiv:2309.09542, 2023 | | 2023 |
Security Properties as Nested Causal Statements M Soloviev, JY Halpern arXiv preprint arXiv:2104.00872, 2021 | | 2021 |
Rational Inattention and a Causal Account of Program Security M Soloviev Cornell University, 2021 | | 2021 |
The Impact of Tribalism on Social Welfare S Han, M Soloviev, Y Wang Algorithmic Game Theory: 12th International Symposium, SAGT 2019, Athens …, 2019 | | 2019 |
Rewriting Pattern Graphs A Merry, M Soloviev | | 2012 |
Short Paper: A Modal Framework for Security Properties M Soloviev, M Balliu, R Guanciale | | |
The Impact of Tribalism on Social Welfare M Soloviev | | |