![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 959
Volume 959, May 2023
- Ross Horne
, Sjouke Mauw, Semen Yurkov
:
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus. 113842
- Luobing Dong
, Zhilong Sun, Yongsong Qin:
An attention-driven nonlinear optimization method for CS-based hyperspectral image reconstruction. 113845 - Baohua Niu, Shuming Zhou
, Hong Zhang, Qifan Zhang:
Fault tolerability analysis of folded crossed cubes based on g-component and g-good neighbor fault pattern. 113858 - Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Mühlenthaler, Akira Suzuki:
Fixed-parameter algorithms for graph constraint logic. 113863 - Mingyu Xiao
, Shaowei Kou:
A 5k-vertex kernel for 3-path vertex cover. 113872 - Takeshi Nakai
, Kazumasa Shinagawa:
Constant-round linear-broadcast secure computation with penalties. 113874 - Miriam Di Ianni:
Opinion evolution among friends and foes: The deterministic majority rule. 113875
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.