Towards relating hyper- and epistemic-temporal logics.
PLAS 2024. [ preprint ] [ slides ]
Matvey Soloviev, Vineet Rajani, Musard Balliu
Disjunctive Policies for Database-Backed Programs.
CSF 2024; arXiv:2312.10441 [cs.CR].
Amir M. Ahmadian, Matvey Soloviev, Musard Balliu
Security Properties through the Lens of Modal Logic.
CSF 2024; arXiv:2309.09542 [cs.CR].
Matvey Soloviev, Musard Balliu, Roberto Guanciale
Tree Space Protoypes: Another Look at Making Tree Ensembles Interpretable.
FODS 2020; arXiv:1611.07115 [stat.ML].
Sarah Tan, Matvey Soloviev, Giles Hooker, Martin T. Wells
Information Acquisition Under Resource Limitations in a Noisy Environment. JACM Vol 69 Issue 3 and AAAI 2018; arXiv:2005.10383 [cs.AI].
Matvey Soloviev, Joseph Y. Halpern
The Impact of Tribalism on Social Welfare.
SAGT 2019; arXiv:1907.06862 [cs.GT].
Seunghee Han, Matvey Soloviev and Yuwen Wang
Coalgebraic Tools for Randomness-Conserving Protocols.
RAMiCS 2018; arXiv:1807.02735 [cs.LO].
Dexter Kozen and Matvey Soloviev
In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-Region Segmentation.
CVPR 2016; arXiv:1606.04590 [cs.CV].
Yuka Kihara, Matvey Soloviev, Tsuhan Chen
Pattern Graph Rewrite Systems.
DCM 2012; arXiv:1204.6695 [math.CT].
Aleks Kissinger and Alex Merry and Matvey Soloviev
Working papers
Security Properties as Nested Causal Statements. arXiv:2104.00872 [cs.AI].
Matvey Soloviev, Joseph Y. Halpern