Pattern Graph Rewrite Systems - Aleks Kissinger; Alex Merry; Matvey Soloviev (DCM, 2012)

In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-region Segmentation. - Yuka Kihara; Matvey Soloviev; Tsuhan Chen (CVPR, 2016)

The Impact of Tribalism on Social Welfare. - Seunghee Han; Matvey Soloviev; Yuwen Wang 001 (SAGT, 2019)

Tree Space Prototypes: Another Look at Making Tree Ensembles Interpretable. - Sarah Tan; Matvey Soloviev; Giles Hooker; Martin T. Wells (FODS, 2020)

Security Properties as Nested Causal Statements. - Matvey Soloviev; Joseph Y. Halpern (CoRR, 2021)

Rational Inattention and a Causal Account of Program Security. - Matvey Soloviev (2021)

Information Acquisition Under Resource Limitations in a Noisy Environment. - Matvey Soloviev; Joseph Y. Halpern (J. ACM, 2022)

Coalgebraic tools for randomness-conserving protocols. - Dexter Kozen; Matvey Soloviev (J. Log. Algebraic Methods Program., 2022)

Disjunctive Policies for Database-Backed Programs. - Amir M. Ahmadian; Matvey Soloviev; Musard Balliu (CSF, 2024)

Security Properties through the Lens of Modal Logic. - Matvey Soloviev; Musard Balliu; Roberto Guanciale (CSF, 2024)