| 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 | 98 | 2020 |
| Pattern graph rewrite systems A Kissinger, A Merry, M Soloviev arXiv preprint arXiv:1204.6695, 2012 | 44 | 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 | 14 | 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 |
| Rational Inattention and a Causal Account of Program Security M Soloviev Cornell University, 2021 | 1 | 2021 |
| Disjunctive policies for database-backed programs AM Ahmadian, M Soloviev, M Balliu 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 388-402, 2024 | | 2024 |
| Security properties through the lens of modal logic M Soloviev, M Balliu, R Guanciale 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 340-355, 2024 | | 2024 |
| Security Properties as Nested Causal Statements M Soloviev, JY Halpern arXiv preprint arXiv:2104.00872, 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 |
| Towards relating hyper-and epistemic-temporal logics M Soloviev, V Rajani, M Balliu | | |
| Short Paper: A Modal Framework for Security Properties M Soloviev, M Balliu, R Guanciale | | |
| The Impact of Tribalism on Social Welfare M Soloviev | | |
