Cai, Jin-Yi; Fu, Zhiguo Complexity classification of the eight-vertex model. (English) Zbl 07713428 Inf. Comput. 293, Article ID 105064, 38 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hunsberger, Luke; Posenato, Roberto A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form. (English) Zbl 07713427 Inf. Comput. 293, Article ID 105063, 21 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI OA License
Liu, Mo; Padmanabha, Anantha; Ramanujam, R.; Wang, Yanjing Are bundles good deals for first-order modal logic? (English) Zbl 07713426 Inf. Comput. 293, Article ID 105062, 23 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Koponen, Vera; Weitkämper, Felix Asymptotic elimination of partially continuous aggregation functions in directed graphical models. (English) Zbl 07713425 Inf. Comput. 293, Article ID 105061, 27 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Hébant, Chloé; Pointcheval, David Traceable constant-size multi-authority credentials. (English) Zbl 07713424 Inf. Comput. 293, Article ID 105060, 22 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI HAL
Cachet, Chloe; Ahmad, Sohaib; Demarest, Luke; Riback, Serena; Hamlin, Ariel; Fuller, Benjamin Multi random projection inner product encryption, applications to proximity searchable encryption for the iris biometric. (English) Zbl 07713423 Inf. Comput. 293, Article ID 105059, 27 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Bédard, Alexis; Hallé, Sylvain Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines. (English) Zbl 07713422 Inf. Comput. 293, Article ID 105058, 34 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI OA License
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. Can Romeo and Juliet meet? Or rendezvous games with adversaries on graphs. (English) Zbl 07713421 Inf. Comput. 293, Article ID 105049, 21 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI OA License
Raffaele, Alice; Zavatteri, Matteo Reducing the number of disjuncts in DTPs. (English) Zbl 07713420 Inf. Comput. 293, Article ID 105048, 7 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés The bang calculus revisited. (English) Zbl 07713419 Inf. Comput. 293, Article ID 105047, 37 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Chen, Zhaohua; Deng, Xiaotie; Huang, Wenhan; Li, Hanyu; Li, Yuhao On tightness of Tsaknakis-Spirakis descent methods for approximate Nash equilibria. (English) Zbl 07713418 Inf. Comput. 293, Article ID 105046, 29 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kirshanova, Elena; May, Alexander Breaking Goppa-based McEliece with hints. (English) Zbl 07713417 Inf. Comput. 293, Article ID 105045, 14 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Garner, Richard Hypernormalisation in an abstract setting. (English) Zbl 07713416 Inf. Comput. 293, Article ID 105044, 27 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Shiehian, Sina mrNISC from LWE with polynomial modulus. (English) Zbl 07713415 Inf. Comput. 293, Article ID 105043, 11 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI