Matvey Soloviev

18 papers A* 2A 2B 1C 1Journal 9Unranked 2

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