Matvey Soloviev

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 14

Top Topics

Information Acquisition

Security Properties

Top Venues

J. Log. Algebraic Methods Program.

Publications

Matvey Soloviev, Musard Balliu, Roberto Guanciale
Security Properties through the Lens of Modal Logic. CoRR (2023)
Amir M. Ahmadian, Matvey Soloviev, Musard Balliu
Disjunctive Policies for Database-Backed Programs. CoRR (2023)
Dexter Kozen, Matvey Soloviev
Coalgebraic tools for randomness-conserving protocols. J. Log. Algebraic Methods Program. 125 (2022)
Matvey Soloviev, Joseph Y. Halpern
Information Acquisition Under Resource Limitations in a Noisy Environment. J. ACM 69 (3) (2022)
Matvey Soloviev, Joseph Y. Halpern
Security Properties as Nested Causal Statements. CoRR (2021)
Sarah Tan, Matvey Soloviev, Giles Hooker, Martin T. Wells
Tree Space Prototypes: Another Look at Making Tree Ensembles Interpretable. FODS (2020)
Matvey Soloviev, Joseph Y. Halpern
Information Acquisition Under Resource Limitations in a Noisy Environment. CoRR (2020)
Seunghee Han, Matvey Soloviev, Yuwen Wang
The Impact of Tribalism on Social Welfare. CoRR (2019)
Seunghee Han, Matvey Soloviev, Yuwen Wang
The Impact of Tribalism on Social Welfare. SAGT (2019)
Dexter Kozen, Matvey Soloviev
Coalgebraic Tools for Randomness-Conserving Protocols. RAMiCS (2018)
Dexter Kozen, Matvey Soloviev
Coalgebraic Tools for Randomness-Conserving Protocols. CoRR (2018)
Matvey Soloviev, Joseph Y. Halpern
Information Acquisition Under Resource Limitations in a Noisy Environment. AAAI (2018)
Yuka Kihara, Matvey Soloviev, Tsuhan Chen
In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-region Segmentation. CVPR (2016)
Yuka Kihara, Matvey Soloviev, Tsuhan Chen
In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-Region Segmentation. CoRR (2016)
Aleks Kissinger, Alex Merry, Matvey Soloviev
Pattern Graph Rewrite Systems DCM (2012)