Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola Wheeler languages. (English) Zbl 1518.68162 Inf. Comput. 281, Article ID 104820, 27 p. (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
He, Yong; Chen, Xueping; Li, Gang; Sun, Shiyuan Extremal synchronizing circular automata. (English) Zbl 1518.68176 Inf. Comput. 281, Article ID 104817, 36 p. (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Herrmann, Luisa Linear weighted tree automata with storage and inverse linear tree homomorphisms. (English) Zbl 1518.68175 Inf. Comput. 281, Article ID 104816, 23 p. (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Guillon, Bruno; Kutrib, Martin; Malcher, Andreas; Prigioniero, Luca Reversible pushdown transducers. (English) Zbl 1518.68172 Inf. Comput. 281, Article ID 104813, 16 p. (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Sau, Ignasi; dos Santos Souza, Uéverton Hitting forbidden induced subgraphs on bounded treewidth graphs. (English) Zbl 1518.68275 Inf. Comput. 281, Article ID 104812, 18 p. (2021). MSC: 68R10 68Q17 68Q27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Dassow, Jürgen Some remarks on the orbit of closure-involution operations on languages. (English) Zbl 1518.68165 Inf. Comput. 281, Article ID 104811, 8 p. (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Bertagnon, A.; Gavanelli, M.; Passantino, A.; Sciavicco, G.; Trevisani, S. Branching interval algebra: an almost complete picture. (English) Zbl 1518.68356 Inf. Comput. 281, Article ID 104809, 17 p. (2021). MSC: 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Zehmakan, Ahad N. On the spread of influence in graphs. (English) Zbl 1520.91290 Inf. Comput. 281, Article ID 104808, 19 p. (2021). MSC: 91D30 05C90 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Suzanne, Aurélie; Raschia, Guillaume; Martinez, José; Tassetti, Damien Slicing techniques for temporal aggregation in spanning event streams. (English) Zbl 1518.68095 Inf. Comput. 281, Article ID 104807, 19 p. (2021). MSC: 68P99 68P15 68W27 × Cite Format Result Cite Review PDF Full Text: DOI
Henzinger, Monika; Peng, Pan Constant-time dynamic weight approximation for minimum spanning forest. (English) Zbl 1518.68265 Inf. Comput. 281, Article ID 104805, 16 p. (2021). MSC: 68R10 05C85 68W20 68W25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bruse, Florian; Lange, Martin Temporal logic with recursion. (English) Zbl 1522.03045 Inf. Comput. 281, Article ID 104804, 18 p. (2021). MSC: 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Drucker, Nir; Gueron, Shay; Kostic, Dusan Fast polynomial inversion for post quantum QC-MDPC cryptography. (English) Zbl 1529.81057 Inf. Comput. 281, Article ID 104799, 21 p. (2021). MSC: 81P94 94A60 81P68 15A09 81P73 81-10 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Patruno, Lucrezia; Craighero, Francesco; Maspero, Davide; Graudenzi, Alex; Damiani, Chiara Combining multi-target regression deep neural networks and kinetic modeling to predict relative fluxes in reaction systems. (English) Zbl 1520.92033 Inf. Comput. 281, Article ID 104798, 13 p. (2021). MSC: 92C42 92C40 68T07 × Cite Format Result Cite Review PDF Full Text: DOI
Rubtsov, Alexander A.; Vyalyi, Mikhail N. On computational complexity of set automata. (English) Zbl 1518.68191 Inf. Comput. 281, Article ID 104797, 25 p. (2021). MSC: 68Q45 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dunkelman, Orr; Huang, Senyang; Lambooij, Eran; Perle, Stav Biased differential distinguisher – cryptanalysis of reduced-round SKINNY. (English) Zbl 1520.94051 Inf. Comput. 281, Article ID 104796, 13 p. (2021). MSC: 94A60 × Cite Format Result Cite Review PDF Full Text: DOI
Cheng, Zehui; Kolaitis, Phokion G. Universal solutions for temporal data exchange. (English) Zbl 1518.68083 Inf. Comput. 281, Article ID 104793, 26 p. (2021). MSC: 68P15 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Franceschetti, Marco; Eder, Johann Determining temporal agreements in cross-organizational business processes. (English) Zbl 1518.68232 Inf. Comput. 281, Article ID 104792, 15 p. (2021). MSC: 68Q85 90B70 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella Completeness of string analysis for dynamic languages. (English) Zbl 1518.68032 Inf. Comput. 281, Article ID 104791, 18 p. (2021). MSC: 68N15 68W32 × Cite Format Result Cite Review PDF Full Text: DOI
Ye, Zekun; Huang, Yunqi; Li, Lvzhou; Wang, Yuyi Query complexity of generalized Simon’s problem. (English) Zbl 1518.68135 Inf. Comput. 281, Article ID 104790, 14 p. (2021). MSC: 68Q12 68Q25 81P68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhou, Nan; Yang, Qian; Peng, Hong; Wang, Jun; Luo, Xiaohui Nonlinear neural P systems for generating string languages. (English) Zbl 1518.68125 Inf. Comput. 281, Article ID 104789, 12 p. (2021). MSC: 68Q07 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Repin, Denis; Petrov, Tatjana Automated deep abstractions for stochastic chemical reaction networks. (English) Zbl 1518.68341 Inf. Comput. 281, Article ID 104788, 20 p. (2021). MSC: 68T07 92C42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Sioutis, Michael; Wolter, Diedrich Dynamic branching in qualitative constraint-based reasoning via counting local models. (English) Zbl 1518.68352 Inf. Comput. 281, Article ID 104787, 15 p. (2021). MSC: 68T20 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Bao, Tingting; Zhou, Nan; Peng, Hong; Yang, Qian; Wang, Jun Computational completeness of sequential spiking neural P systems with inhibitory rules. (English) Zbl 1518.68101 Inf. Comput. 281, Article ID 104786, 13 p. (2021). MSC: 68Q07 × Cite Format Result Cite Review PDF Full Text: DOI
Ko, S. K.; Niskanen, R.; Potapov, I. Reachability problems in low-dimensional nondeterministic polynomial maps over integers. (English) Zbl 1521.37041 Inf. Comput. 281, Article ID 104785, 18 p. (2021). MSC: 37E99 68Q25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Lin, Guohui; Tong, Weitian An improved approximation algorithm for the minimum common integer partition problem. (English) Zbl 1518.68424 Inf. Comput. 281, Article ID 104784, 13 p. (2021). MSC: 68W25 05A17 90C27 × Cite Format Result Cite Review PDF Full Text: DOI
Mörbitz, Richard; Vogler, Heiko Weighted parsing for grammar-based language models over multioperator monoids. (English) Zbl 1518.68159 Inf. Comput. 281, Article ID 104774, 48 p. (2021). MSC: 68Q42 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano Mining CSTNUDs significant for a set of traces is polynomial. (English) Zbl 1518.68350 Inf. Comput. 281, Article ID 104773, 15 p. (2021). MSC: 68T20 68Q25 68W05 × Cite Format Result Cite Review PDF Full Text: DOI
Hemaspaandra, Lane A.; Narváez, David E. The opacity of backbones. (English) Zbl 1518.68139 Inf. Comput. 281, Article ID 104772, 10 p. (2021). MSC: 68Q17 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ding, Ning; Gu, Dawu New cryptographic hardness for learning intersections of halfspaces over Boolean cubes with membership queries. (English) Zbl 1518.68149 Inf. Comput. 281, Article ID 104771, 21 p. (2021). MSC: 68Q32 94A60 × Cite Format Result Cite Review PDF Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio Concurrent semantics for fusions: weak prime domains and connected event structures. (English) Zbl 1518.68227 Inf. Comput. 281, Article ID 104770, 32 p. (2021). MSC: 68Q85 68Q42 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Chrobak, Marek; Costello, Kevin P.; Gąsieniec, Leszek Information gathering in ad-hoc radio networks. (English) Zbl 1518.68020 Inf. Comput. 281, Article ID 104769, 16 p. (2021). MSC: 68M10 68M12 68R10 68W15 90B18 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio Bialgebraic foundations for the operational semantics of string diagrams. (English) Zbl 1518.68197 Inf. Comput. 281, Article ID 104767, 22 p. (2021). MSC: 68Q55 18C15 18M30 68Q85 93B70 × Cite Format Result Cite Review PDF Full Text: DOI Link
Cabarle, Francis George C.; Zeng, Xiangxiang; Murphy, Niall; Song, Tao; Rodríguez-Patón, Alfonso; Liu, Xiangrong Neural-like P systems with plasmids. (English) Zbl 1518.68103 Inf. Comput. 281, Article ID 104766, 14 p. (2021). MSC: 68Q07 × Cite Format Result Cite Review PDF Full Text: DOI
Dörband, Frederic Kleene and Büchi theorems for weighted forest languages over M-monoids. (English) Zbl 1518.68166 Inf. Comput. 281, Article ID 104765, 21 p. (2021). MSC: 68Q45 68Q55 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Goles, Eric; Maldonado, Diego; Montealegre, Pedro; Ríos-Wilson, Martín On the complexity of asynchronous freezing cellular automata. (English) Zbl 1518.68221 Inf. Comput. 281, Article ID 104764, 28 p. (2021). MSC: 68Q80 37B15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Song, Bosheng; Huang, Shengye; Zeng, Xiangxiang The computational power of monodirectional tissue P systems with symport rules. (English) Zbl 1518.68122 Inf. Comput. 281, Article ID 104751, 12 p. (2021). MSC: 68Q07 × Cite Format Result Cite Review PDF Full Text: DOI
Rabinovich, Alexander; Tiferet, Doron On degrees of ambiguity for Büchi tree automata. (English) Zbl 1518.68190 Inf. Comput. 281, Article ID 104750, 21 p. (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Lutz, Jack H.; Mayordomo, Elvira Computing absolutely normal numbers in nearly linear time. (English) Zbl 1521.11085 Inf. Comput. 281, Article ID 104746, 12 p. (2021). MSC: 11Y16 11K16 68Q17 68W32 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Garreta, Albert; Gray, Robert D. On equations and first-order theory of one-relator monoids. (English) Zbl 07433292 Inf. Comput. 281, Article ID 104745, 19 p. (2021). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Liu, Xingwu; Han, Xin; Zhao, Liang; Guo, Zhishan Narrowing the speedup factor gap of partitioned EDF. (English) Zbl 1518.68025 Inf. Comput. 281, Article ID 104743, 20 p. (2021). MSC: 68M20 × Cite Format Result Cite Review PDF Full Text: DOI
Zamaraeva, Elena; Žunić, Joviša Asymptotics of the number of 2-threshold functions. (English) Zbl 1518.68414 Inf. Comput. 281, Article ID 104742, 23 p. (2021). MSC: 68U05 05A16 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cellinese, Francesco; D’Angelo, Gianlorenzo; Monaco, Gianpiero; Velaj, Yllka Generalized budgeted submodular set function maximization. (English) Zbl 1512.90192 Inf. Comput. 281, Article ID 104741, 13 p. (2021). MSC: 90C27 68W25 90C59 × Cite Format Result Cite Review PDF Full Text: DOI Link
Zhang, Liang Feng Multi-server verifiable delegation of computations: unconditional security and practical efficiency. (English) Zbl 1518.68024 Inf. Comput. 281, Article ID 104740, 15 p. (2021). MSC: 68M14 68M11 68P27 94A60 94A62 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Höhne, Felix; van Stee, Rob Allocating contiguous blocks of indivisible chores fairly. (English) Zbl 1520.91205 Inf. Comput. 281, Article ID 104739, 8 p. (2021). MSC: 91B32 91B14 × Cite Format Result Cite Review PDF Full Text: DOI
Bell, Paul C.; Potapov, Igor; Semukhin, Pavel On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond. (English) Zbl 1521.11084 Inf. Comput. 281, Article ID 104736, 14 p. (2021). MSC: 11U05 03B25 11J81 15A30 20M05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Feng, Qilong; Li, Shaohua; Meng, Xiangzhong; Wang, Jianxin An improved FPT algorithm for the flip distance problem. (English) Zbl 1518.68410 Inf. Comput. 281, Article ID 104708, 9 p. (2021). MSC: 68U05 68Q27 68W40 × Cite Format Result Cite Review PDF Full Text: DOI Link
Chrobak, Marek; Golin, Mordecai; Munro, J. Ian; Young, Neal E. On the cost of unsuccessful searches in search trees with two-way comparisons. (English) Zbl 1518.68072 Inf. Comput. 281, Article ID 104707, 9 p. (2021). MSC: 68P05 68P10 68W05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard Abstract processes and conflicts in place/transition systems. (English) Zbl 1518.68239 Inf. Comput. 281, Article ID 104706, 13 p. (2021). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pelc, Andrzej; Yadav, Ram Narayan Advice complexity of treasure hunt in geometric terrains. (English) Zbl 1518.68413 Inf. Comput. 281, Article ID 104705, 14 p. (2021). MSC: 68U05 68T40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Francalanza, Adrian A theory of monitors. (English) Zbl 1475.68206 Inf. Comput. 281, Article ID 104704, 29 p. (2021). MSC: 68Q85 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Petrović, Tomislav A universal pair of 1/2-betting strategies. (English) Zbl 1518.68148 Inf. Comput. 281, Article ID 104703, 3 p. (2021). MSC: 68Q30 03D32 × Cite Format Result Cite Review PDF Full Text: DOI
Song, Bosheng; Pan, Linqiang Rule synchronization for tissue P systems. (English) Zbl 1518.68123 Inf. Comput. 281, Article ID 104685, 10 p. (2021). MSC: 68Q07 × Cite Format Result Cite Review PDF Full Text: DOI
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1518.68150 Inf. Comput. 281, Article ID 104678, 32 p. (2021). MSC: 68Q32 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pérez, Jorge A. (ed.); Tini, Simone (ed.) Preface to special issue: EXPRESS/SOS 2018. (English) Zbl 1475.00126 Inf. Comput. 281, Article ID 104670, 2 p. (2021). MSC: 00B25 68-06 × Cite Format Result Cite Review PDF Full Text: DOI Link
Becker, Florent; Montealegre, Pedro; Rapaport, Ivan; Todinca, Ioan The role of randomness in the broadcast congested clique model. (English) Zbl 1518.68126 Inf. Comput. 281, Article ID 104669, 13 p. (2021). MSC: 68Q10 68M12 68W15 68W40 × Cite Format Result Cite Review PDF Full Text: DOI
Jain, Sanjay; Stephan, Frank; Zeugmann, Thomas On the amount of nonconstructivity in learning formal languages from text. (English) Zbl 1514.68088 Inf. Comput. 281, Article ID 104668, 14 p. (2021). MSC: 68Q32 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Carravetta, Francesco; White, Langford B. Syntactic stochastic processes: definitions, models, and related inference problems. (English) Zbl 1518.68155 Inf. Comput. 281, Article ID 104667, 29 p. (2021). MSC: 68Q42 60J85 68Q87 68T50 × Cite Format Result Cite Review PDF Full Text: DOI