Doyen, Laurent Top-down complementation of automata on finite trees. (English) Zbl 07910935 Inf. Process. Lett. 187, Article ID 106499, 4 p. (2025). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Doyen}, Inf. Process. Lett. 187, Article ID 106499, 4 p. (2025; Zbl 07910935) Full Text: DOI
Nafarieh, Talkhooncheh Elahe; Salimi, Maryam; Rasouli, Hamid; Tavasoli, Elham; Tehranian, Abolfazl Admissible (Rees) exact sequences and flat acts. (English) Zbl 1527.18001 J. Algebr. Syst. 12, No. 2, 327-346 (2025). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A30 18B20 18G05 PDFBibTeX XMLCite \textit{T. E. Nafarieh} et al., J. Algebr. Syst. 12, No. 2, 327--346 (2025; Zbl 1527.18001) Full Text: DOI
Lukács, Dániel; Tejfel, Máté Overlaying control flow graphs on P4 syntax trees with Gremlin. (English) Zbl 07911147 Acta Cybern. 26, No. 3, 593-619 (2024). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Lukács} and \textit{M. Tejfel}, Acta Cybern. 26, No. 3, 593--619 (2024; Zbl 07911147) Full Text: DOI
Ushakov, Alexander Constrained inhomogeneous spherical equations: average-case hardness. (English) Zbl 07910111 J. Groups Complex. Cryptol. 16, No. 1, Paper No. 3, 18 p. (2024). MSC: 20F16 20F10 68W30 PDFBibTeX XMLCite \textit{A. Ushakov}, J. Groups Complex. Cryptol. 16, No. 1, Paper No. 3, 18 p. (2024; Zbl 07910111) Full Text: DOI arXiv OA License
Haddadi, Mahdieh; Keshvardoost, Khadijeh; Hosseinabadi, Aliyeh Finitely presentable objects in \((Cb\text{-sets})_\mathrm{fs}\). (English) Zbl 07909550 Categ. Gen. Algebr. Struct. Appl. 21, No. 1, 175-209 (2024). MSC: 08A30 08C05 18A20 18C35 20M30 68Q70 PDFBibTeX XMLCite \textit{M. Haddadi} et al., Categ. Gen. Algebr. Struct. Appl. 21, No. 1, 175--209 (2024; Zbl 07909550) Full Text: DOI
Bouyer, Patricia; Casares, Antonio; Randour, Mickael; Vandenhove, Pierre Half-positional objectives recognized by deterministic Büchi automata. (English) Zbl 07906381 Log. Methods Comput. Sci. 20, No. 3, Paper No. 19, 42 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Bouyer} et al., Log. Methods Comput. Sci. 20, No. 3, Paper No. 19, 42 p. (2024; Zbl 07906381) Full Text: DOI arXiv
Acampora, Renato; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Picotti, Valentino Controller synthesis for timeline-based games. (English) Zbl 07906379 Log. Methods Comput. Sci. 20, No. 3, Paper No. 17, 30 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. Acampora} et al., Log. Methods Comput. Sci. 20, No. 3, Paper No. 17, 30 p. (2024; Zbl 07906379) Full Text: DOI arXiv OA License
Carton, Olivier; Perifel, Sylvain Deterministic pushdown automata can compress some normal sequences. (English) Zbl 07906377 Log. Methods Comput. Sci. 20, No. 3, Paper No. 15, 8 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{O. Carton} and \textit{S. Perifel}, Log. Methods Comput. Sci. 20, No. 3, Paper No. 15, 8 p. (2024; Zbl 07906377) Full Text: DOI arXiv
Akshay, S.; Gastin, Paul; Govind, R.; Srivathsan, B. Simulations for event-clock automata. (English) Zbl 07906364 Log. Methods Comput. Sci. 20, No. 3, Paper No. 2, 41 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Akshay} et al., Log. Methods Comput. Sci. 20, No. 3, Paper No. 2, 41 p. (2024; Zbl 07906364) Full Text: DOI arXiv OA License
Fernández-Alcober, G. A.; Pintonello, M. Conciseness on normal subgroups and new concise words from outer commutator words. (English) Zbl 07904067 J. Iran. Math. Soc. 5, No. 2, 71-77 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 20F10 20F14 PDFBibTeX XMLCite \textit{G. A. Fernández-Alcober} and \textit{M. Pintonello}, J. Iran. Math. Soc. 5, No. 2, 71--77 (2024; Zbl 07904067) Full Text: DOI arXiv
Bugeaud, Yann; Han, Guo-Niu The Thue-Morse continued fractions in characteristic 2 are algebraic. (English) Zbl 07903803 Acta Arith. 214, 1-22 (2024). MSC: 11J70 11A55 11B85 11J61 11T55 PDFBibTeX XMLCite \textit{Y. Bugeaud} and \textit{G.-N. Han}, Acta Arith. 214, 1--22 (2024; Zbl 07903803) Full Text: DOI arXiv
Lange, Steffen; Schmied, Jannik; Willam, Paul; Voss-Böhme, Anja Minimal cellular automaton model with heterogeneous cell sizes predicts epithelial colony growth. (English) Zbl 07902694 J. Theor. Biol. 592, Article ID 111882, 9 p. (2024). MSC: 92C15 92C17 92C37 37B15 PDFBibTeX XMLCite \textit{S. Lange} et al., J. Theor. Biol. 592, Article ID 111882, 9 p. (2024; Zbl 07902694) Full Text: DOI arXiv
Gács, Peter Probabilistic cellular automata with Andrei Toom. (English) Zbl 07902526 Braz. J. Probab. Stat. 38, No. 2, 285-301 (2024). MSC: 68-XX 92-XX PDFBibTeX XMLCite \textit{P. Gács}, Braz. J. Probab. Stat. 38, No. 2, 285--301 (2024; Zbl 07902526) Full Text: DOI arXiv Link
Wang, Qisheng; Ying, Mingsheng Quantum Büchi automata. (English) Zbl 07902300 Theor. Comput. Sci. 1012, Article ID 114740, 17 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Q. Wang} and \textit{M. Ying}, Theor. Comput. Sci. 1012, Article ID 114740, 17 p. (2024; Zbl 07902300) Full Text: DOI arXiv
Ma, Junchi; Wang, Chen; Chen, Weilin; Lin, Defu; Wang, Chao Decision algorithms for reversibility of 1D cellular automata under reflective boundary conditions. (English) Zbl 07902298 Theor. Comput. Sci. 1012, Article ID 114732, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Ma} et al., Theor. Comput. Sci. 1012, Article ID 114732, 11 p. (2024; Zbl 07902298) Full Text: DOI
Schmid, Markus L. A short note on the mutually beneficial relationship between information extraction in database theory and classical formal language theory. (English) Zbl 07900243 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 143, 26-36 (2024). MSC: 68P15 68Q45 PDFBibTeX XMLCite \textit{M. L. Schmid}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 143, 26--36 (2024; Zbl 07900243) Full Text: Link
Castillo-Ramirez, Alonso; Magaña-Chavez, Maria G.; Veliz-Quintero, Eduardo Idempotent cellular automata and their natural order. (English) Zbl 07898957 Theor. Comput. Sci. 1009, Article ID 114698, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Castillo-Ramirez} et al., Theor. Comput. Sci. 1009, Article ID 114698, 11 p. (2024; Zbl 07898957) Full Text: DOI arXiv
Hibbard, Thomas N.; Jadur, Camilo A.; Yazlle, Jorge F. Modular automata. (English) Zbl 07898786 Rev. Unión Mat. Argent. 67, No. 1, 229-244 (2024). MSC: 37H05 60J10 PDFBibTeX XMLCite \textit{T. N. Hibbard} et al., Rev. Unión Mat. Argent. 67, No. 1, 229--244 (2024; Zbl 07898786) Full Text: DOI
Saboori, Anooshiravan; Hadjicostis, Christoforos N. Correction to: “Current-state opacity formulations in probabilistic finite automata”. (English) Zbl 07897834 IEEE Trans. Autom. Control 69, No. 5, 3480-3481 (2024). MSC: 68Q45 93C65 PDFBibTeX XMLCite \textit{A. Saboori} and \textit{C. N. Hadjicostis}, IEEE Trans. Autom. Control 69, No. 5, 3480--3481 (2024; Zbl 07897834) Full Text: DOI
Huang, Xiaojun; Zhang, Qin The Garden of Eden theorem over generalized cellular automata. (English) Zbl 07896523 Bull. Malays. Math. Sci. Soc. (2) 47, No. 4, Paper No. 126, 16 p. (2024). MSC: 37B10 37B15 68Q80 43A07 PDFBibTeX XMLCite \textit{X. Huang} and \textit{Q. Zhang}, Bull. Malays. Math. Sci. Soc. (2) 47, No. 4, Paper No. 126, 16 p. (2024; Zbl 07896523) Full Text: DOI
Bohn, León; Löding, Christof Constructing deterministic parity automata from positive and negative examples. (English) Zbl 07896324 TheoretiCS 3, Paper No. 17, 47 p. (2024). MSC: 68Qxx 68-XX 68Txx PDFBibTeX XMLCite \textit{L. Bohn} and \textit{C. Löding}, TheoretiCS 3, Paper No. 17, 47 p. (2024; Zbl 07896324) Full Text: DOI arXiv OA License
Beukers, Frits \(p\)-linear schemes for sequences modulo \(p^{r}\). (English) Zbl 07894511 Indag. Math., New Ser. 35, No. 4, 698-707 (2024). Reviewer: Takao Komatsu (Hangzhou) MSC: 11B85 68Q45 11B37 11B83 11D72 PDFBibTeX XMLCite \textit{F. Beukers}, Indag. Math., New Ser. 35, No. 4, 698--707 (2024; Zbl 07894511) Full Text: DOI arXiv
Bykov, Nikita V.; Kostrov, Maksim A. Social dilemmas in a mixed traffic flow of buses and personal vehicles in transport mode choice. (English) Zbl 07893022 Physica A 647, Article ID 129873, 12 p. (2024). MSC: 82-XX PDFBibTeX XMLCite \textit{N. V. Bykov} and \textit{M. A. Kostrov}, Physica A 647, Article ID 129873, 12 p. (2024; Zbl 07893022) Full Text: DOI
Jelínek, Vít; Opler, Michal; Valtr, Pavel Generalized coloring of permutations. (English) Zbl 07891488 Algorithmica 86, No. 7, 2174-2210 (2024). MSC: 68Wxx 05Cxx 05C15 68Q17 05A05 PDFBibTeX XMLCite \textit{V. Jelínek} et al., Algorithmica 86, No. 7, 2174--2210 (2024; Zbl 07891488) Full Text: DOI
Modanese, Augusto; Worsch, Thomas Embedding arbitrary Boolean circuits into fungal automata. (English) Zbl 07891484 Algorithmica 86, No. 7, 2069-2091 (2024). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{A. Modanese} and \textit{T. Worsch}, Algorithmica 86, No. 7, 2069--2091 (2024; Zbl 07891484) Full Text: DOI OA License
Verginis, Christos K.; Koprulu, Cevahir; Chinchali, Sandeep; Topcu, Ufuk Joint learning of reward machines and policies in environments with partially known semantics. (English) Zbl 07887414 Artif. Intell. 333, Article ID 104146, 24 p. (2024). MSC: 68T05 68Q32 68Q45 PDFBibTeX XMLCite \textit{C. K. Verginis} et al., Artif. Intell. 333, Article ID 104146, 24 p. (2024; Zbl 07887414) Full Text: DOI arXiv
Kushal, Appilineni; Hastings, Alan Effect of migrations on synchrony in host-parasitoid system. (English) Zbl 07885629 J. Theor. Biol. 590, Article ID 111855, 10 p. (2024). MSC: 92D45 92D25 37B15 PDFBibTeX XMLCite \textit{A. Kushal} and \textit{A. Hastings}, J. Theor. Biol. 590, Article ID 111855, 10 p. (2024; Zbl 07885629) Full Text: DOI
Khashaev, A. A. On the cardinality computation problem for regular languages over symmetric groups. (English. Russian original) Zbl 07881447 Mosc. Univ. Comput. Math. Cybern. 48, No. 2, 130-136 (2024); translation from Vestn. Mosk. Univ., Ser. XV 2024, No. 2, 73-79 (2024). MSC: 68Qxx 03Bxx 03Dxx PDFBibTeX XMLCite \textit{A. A. Khashaev}, Mosc. Univ. Comput. Math. Cybern. 48, No. 2, 130--136 (2024; Zbl 07881447); translation from Vestn. Mosk. Univ., Ser. XV 2024, No. 2, 73--79 (2024) Full Text: DOI
Carney, Richard; Chyba, Monique; Klotz, Taylor Using hybrid automata to model mitigation of global disease spread via travel restriction. (English) Zbl 07880889 Netw. Heterog. Media 19, No. 1, 324-354 (2024). MSC: 92D30 37B15 PDFBibTeX XMLCite \textit{R. Carney} et al., Netw. Heterog. Media 19, No. 1, 324--354 (2024; Zbl 07880889) Full Text: DOI
Licata, Ignazio; Fiscaletti, Davide Holography and nucleation processes from the primeval Wheeler-DeWitt equation in a de Sitter universe. (English) Zbl 07880116 Int. J. Theor. Phys. 63, No. 5, Paper No. 122, 22 p. (2024). MSC: 83Cxx 81Pxx 83Fxx PDFBibTeX XMLCite \textit{I. Licata} and \textit{D. Fiscaletti}, Int. J. Theor. Phys. 63, No. 5, Paper No. 122, 22 p. (2024; Zbl 07880116) Full Text: DOI
Reinke, Bernhard Amenability of bounded automata groups on infinite alphabets. (English) Zbl 07879088 Bull. Lond. Math. Soc. 56, No. 7, 2460-2471 (2024). Reviewer: Egle Bettio (Venezia) MSC: 20E08 05C81 43A07 22A22 37B10 PDFBibTeX XMLCite \textit{B. Reinke}, Bull. Lond. Math. Soc. 56, No. 7, 2460--2471 (2024; Zbl 07879088) Full Text: DOI arXiv OA License
Martin, Vincent; Sarlette, Alain Stabilization of approximate GHZ state with quasi-local couplings. (English) Zbl 07877954 J. Phys. A, Math. Theor. 57, No. 27, Article ID 275303, 61 p. (2024). MSC: 81-XX 68-XX PDFBibTeX XMLCite \textit{V. Martin} and \textit{A. Sarlette}, J. Phys. A, Math. Theor. 57, No. 27, Article ID 275303, 61 p. (2024; Zbl 07877954) Full Text: DOI arXiv
Kuya, Yuichi; Komatsu, Kazuhiko; Yonaga, Kouki; Kobayashi, Hiroaki Quantum annealing-based algorithm for lattice gas automata. (English) Zbl 07875879 Comput. Fluids 274, Article ID 106238, 7 p. (2024). MSC: 76-XX PDFBibTeX XMLCite \textit{Y. Kuya} et al., Comput. Fluids 274, Article ID 106238, 7 p. (2024; Zbl 07875879) Full Text: DOI
Aazan, Georges; Girard, Antoine; Greco, Luca; Mason, Paolo An automata theoretic approach to observer design for switched linear systems. (English) Zbl 07875745 Automatica 165, Article ID 111689, 14 p. (2024). MSC: 93B53 93C30 93C05 93C55 68Q45 PDFBibTeX XMLCite \textit{G. Aazan} et al., Automatica 165, Article ID 111689, 14 p. (2024; Zbl 07875745) Full Text: DOI
Ritsuka, Kagurazaka; Rudie, Karen A uniform approach to compare architectures in decentralized discrete-event systems. (English) Zbl 07875740 Automatica 165, Article ID 111683, 8 p. (2024). MSC: 93A14 93C65 93C85 PDFBibTeX XMLCite \textit{K. Ritsuka} and \textit{K. Rudie}, Automatica 165, Article ID 111683, 8 p. (2024; Zbl 07875740) Full Text: DOI arXiv
Casares, Antonio; Colcombet, Thomas; Fijalkow, Nathanaël; Lehtinen, Karoliina From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism. (English) Zbl 07875516 TheoretiCS 3, Paper No. 12, 110 p. (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{A. Casares} et al., TheoretiCS 3, Paper No. 12, 110 p. (2024; Zbl 07875516) Full Text: DOI arXiv OA License
Xu, Jun; Zhu, Wenqiang Intuitive trust transitive model based on learning automata and nearest neighbor analysis. (English) Zbl 07874950 J. Nonlinear Convex Anal. 25, No. 5, 1181-1191 (2024). MSC: 91D30 91B86 PDFBibTeX XMLCite \textit{J. Xu} and \textit{W. Zhu}, J. Nonlinear Convex Anal. 25, No. 5, 1181--1191 (2024; Zbl 07874950) Full Text: Link
Akın, Hasan; Dikranjan, Dikran; Giordano Bruno, Anna; Toller, Daniele The algebraic entropy of one-dimensional finitary linear cellular automata. (English) Zbl 07874820 J. Group Theory 27, No. 4, 813-856 (2024). Reviewer: Egle Bettio (Venezia) MSC: 37B15 37B40 PDFBibTeX XMLCite \textit{H. Akın} et al., J. Group Theory 27, No. 4, 813--856 (2024; Zbl 07874820) Full Text: DOI arXiv
Shankar, Saumya; Pradhan, Ankit; Pinisetty, Srinivas; Rollet, Antoine; Falcone, Yliès Bounded-memory runtime enforcement with probabilistic and performance analysis. (English) Zbl 07873309 Form. Methods Syst. Des. 62, No. 1-3, 141-180 (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{S. Shankar} et al., Form. Methods Syst. Des. 62, No. 1--3, 141--180 (2024; Zbl 07873309) Full Text: DOI
Campbell, John M. Automatic sequences and the Glaisher-Kinkelin constant. (English) Zbl 07873212 Adv. Appl. Math. 158, Article ID 102721, 21 p. (2024). MSC: 11B85 33B15 PDFBibTeX XMLCite \textit{J. M. Campbell}, Adv. Appl. Math. 158, Article ID 102721, 21 p. (2024; Zbl 07873212) Full Text: DOI
Benevides, Fabricio; Bermond, Jean-Claude; Lesfari, Hicham; Nisse, Nicolas Minimum lethal sets in grids and tori under 3-neighbour bootstrap percolation. (English) Zbl 07873123 Eur. J. Comb. 119, Article ID 103801, 15 p. (2024). MSC: 05C85 05C99 60K35 68Q80 PDFBibTeX XMLCite \textit{F. Benevides} et al., Eur. J. Comb. 119, Article ID 103801, 15 p. (2024; Zbl 07873123) Full Text: DOI
Li, Yong; Schewe, Sven; Vardi, Moshe Y. Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. (English) Zbl 07871734 Theor. Comput. Sci. 1006, Article ID 114650, 17 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Li} et al., Theor. Comput. Sci. 1006, Article ID 114650, 17 p. (2024; Zbl 07871734) Full Text: DOI arXiv
Hartarsky, Ivailo; Toninelli, Fabio Lucio Kinetically constrained models out of equilibrium. (English) Zbl 1540.60216 Probab. Math. Phys. 5, No. 2, 461-489 (2024). MSC: 60K35 82C22 PDFBibTeX XMLCite \textit{I. Hartarsky} and \textit{F. L. Toninelli}, Probab. Math. Phys. 5, No. 2, 461--489 (2024; Zbl 1540.60216) Full Text: DOI arXiv
Earnshaw, Matthew; Sobociński, Paweł Regular planar monoidal languages. (English) Zbl 07870768 J. Log. Algebr. Methods Program. 139, Article ID 100963, 20 p. (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{M. Earnshaw} and \textit{P. Sobociński}, J. Log. Algebr. Methods Program. 139, Article ID 100963, 20 p. (2024; Zbl 07870768) Full Text: DOI arXiv
Bodart, Corentin Rational cross-sections, bounded generation, and orders on groups. (English) Zbl 07870404 J. Lond. Math. Soc., II. Ser. 109, No. 6, Article ID e12920, 37 p. (2024). MSC: 06F15 20F05 20F10 68Q45 PDFBibTeX XMLCite \textit{C. Bodart}, J. Lond. Math. Soc., II. Ser. 109, No. 6, Article ID e12920, 37 p. (2024; Zbl 07870404) Full Text: DOI arXiv OA License
Yang, Chao; Wu, Ruiling; Sun, Xiaobing; Wang, Qichao; Li, Yongming Relative approximate bisimulations for fuzzy picture automata. (English) Zbl 07868760 Inf. Comput. 299, Article ID 105172, 24 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{C. Yang} et al., Inf. Comput. 299, Article ID 105172, 24 p. (2024; Zbl 07868760) Full Text: DOI
Vlasov, Alexander Yu. Modelling reliability of reversible circuits with 2D second-order cellular automata. (English) Zbl 07868583 Physica D 464, Article ID 134186, 13 p. (2024). MSC: 68Qxx 37Bxx 68-XX PDFBibTeX XMLCite \textit{A. Yu. Vlasov}, Physica D 464, Article ID 134186, 13 p. (2024; Zbl 07868583) Full Text: DOI arXiv
Bianchini, Christian; Policriti, Alberto; Riccardi, Brian; Romanello, Riccardo Incremental NFA minimization. (English) Zbl 07868368 Theor. Comput. Sci. 1004, Article ID 114621, 15 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{C. Bianchini} et al., Theor. Comput. Sci. 1004, Article ID 114621, 15 p. (2024; Zbl 07868368) Full Text: DOI
Phung, Xuan Kien On the Garden of Eden theorem for non-uniform cellular automata. (English) Zbl 07867493 Nonlinearity 37, No. 6, Article ID 065012, 20 p. (2024). MSC: 37B15 37B10 PDFBibTeX XMLCite \textit{X. K. Phung}, Nonlinearity 37, No. 6, Article ID 065012, 20 p. (2024; Zbl 07867493) Full Text: DOI arXiv OA License
Doosti, Aslan Some properties of \(m\)-factor set on Filippov algebras. (English) Zbl 07862673 Southeast Asian Bull. Math. 48, No. 2, 185-194 (2024). MSC: 20M35 68Q70 94A45 PDFBibTeX XMLCite \textit{A. Doosti}, Southeast Asian Bull. Math. 48, No. 2, 185--194 (2024; Zbl 07862673) Full Text: Link
Boukerrou, Hamid; Millérioux, Gilles; Minier, Marine; Boukhobza, Taha Flatness and structural analysis for the design of stream ciphers involving hybrid automata. (English) Zbl 07861348 Nonlinear Anal., Hybrid Syst. 52, Article ID 101443, 23 p. (2024). MSC: 93C30 93B70 93C83 68Q45 93C05 PDFBibTeX XMLCite \textit{H. Boukerrou} et al., Nonlinear Anal., Hybrid Syst. 52, Article ID 101443, 23 p. (2024; Zbl 07861348) Full Text: DOI
Phung, Xuan Kien Symbolic group varieties and dual surjunctivity. (English) Zbl 07861318 Groups Geom. Dyn. 18, No. 1, 213-234 (2024). MSC: 14A10 14L10 37B10 37B15 43A07 68Q80 PDFBibTeX XMLCite \textit{X. K. Phung}, Groups Geom. Dyn. 18, No. 1, 213--234 (2024; Zbl 07861318) Full Text: DOI arXiv
Dong, Weijie; Zhang, Kuize; Li, Shaoyuan; Yin, Xiang On the verification of detectability for timed discrete event systems. (English) Zbl 1537.93707 Automatica 164, Article ID 111644, 12 p. (2024). MSC: 93E10 93C65 PDFBibTeX XMLCite \textit{W. Dong} et al., Automatica 164, Article ID 111644, 12 p. (2024; Zbl 1537.93707) Full Text: DOI
Harju, Tero A simple undecidable problem for free groups. (English) Zbl 07859421 Theor. Comput. Sci. 1003, Article ID 114629, 2 p. (2024). Reviewer: Egle Bettio (Venezia) MSC: 20E05 03D35 20F10 20M05 PDFBibTeX XMLCite \textit{T. Harju}, Theor. Comput. Sci. 1003, Article ID 114629, 2 p. (2024; Zbl 07859421) Full Text: DOI
Hudcová, Barbora; Krásenský, Jakub Simulation limitations of affine cellular automata. (English) Zbl 07859409 Theor. Comput. Sci. 1003, Article ID 114606, 17 p. (2024). MSC: 68Q80 PDFBibTeX XMLCite \textit{B. Hudcová} and \textit{J. Krásenský}, Theor. Comput. Sci. 1003, Article ID 114606, 17 p. (2024; Zbl 07859409) Full Text: DOI arXiv
Atminas, A.; Lozin, V. Deciding atomicity of subword-closed languages. (English) Zbl 07859407 Theor. Comput. Sci. 1003, Article ID 114595, 11 p. (2024). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Atminas} and \textit{V. Lozin}, Theor. Comput. Sci. 1003, Article ID 114595, 11 p. (2024; Zbl 07859407) Full Text: DOI
Droste, Manfred; Kuich, Werner Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings. (English) Zbl 1539.68133 Theor. Comput. Sci. 1002, Article ID 114599, 4 p. (2024). MSC: 68Q45 16Y60 PDFBibTeX XMLCite \textit{M. Droste} and \textit{W. Kuich}, Theor. Comput. Sci. 1002, Article ID 114599, 4 p. (2024; Zbl 1539.68133) Full Text: DOI
Crespi Reghizzi, Stefano; Restivo, Antonio; San Pietro, Pierluigi From words to pictures: row-column combinations and Chomsky-Schützenberger theorem. (English) Zbl 07858797 Theor. Comput. Sci. 1002, Article ID 114598, 14 p. (2024). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Crespi Reghizzi} et al., Theor. Comput. Sci. 1002, Article ID 114598, 14 p. (2024; Zbl 07858797) Full Text: DOI
Miyanohara, E. Linear independence of the real numbers generated by the square and cube subsequences of Thue-Morse. (English) Zbl 07857911 Acta Math. Hung. 172, No. 2, 492-498 (2024). Reviewer: Takao Komatsu (Hangzhou) MSC: 11B85 11J72 PDFBibTeX XMLCite \textit{E. Miyanohara}, Acta Math. Hung. 172, No. 2, 492--498 (2024; Zbl 07857911) Full Text: DOI
Turau, Volker Counting fixed points and pure 2-cycles of tree cellular automata. (English) Zbl 07857874 Soto, José A. (ed.) et al., Latin 2024: theoretical informatics. 16th Latin American symposium, Puerto Varas, Chile, March 18–22, 2024. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14579, 241-256 (2024). MSC: 68Qxx 68Rxx 68Wxx PDFBibTeX XMLCite \textit{V. Turau}, Lect. Notes Comput. Sci. 14579, 241--256 (2024; Zbl 07857874) Full Text: DOI
Rystsov, I.; Szykuła, M. Reset thresholds of transformation monoids. (English) Zbl 07856648 Cybern. Syst. Anal. 60, No. 2, 189-197 (2024) and Kibern. Sist. Anal. 60, No. 2, 28-37 (2024). MSC: 68Q70 20M35 PDFBibTeX XMLCite \textit{I. Rystsov} and \textit{M. Szykuła}, Cybern. Syst. Anal. 60, No. 2, 189--197 (2024; Zbl 07856648) Full Text: DOI arXiv
Bhasin, Dhruv; Podder, Moumanti Combinatorial games on Galton-Watson trees involving several-generation-jump moves. (English) Zbl 07856609 Comb. Number Theory 13, No. 1, 1-58 (2024). MSC: 91A46 91A05 91A43 05C57 05C80 05C05 60C05 PDFBibTeX XMLCite \textit{D. Bhasin} and \textit{M. Podder}, Comb. Number Theory 13, No. 1, 1--58 (2024; Zbl 07856609) Full Text: DOI arXiv
Tang, Yiheng; Moor, Thomas Compositional non-blockingness verification of finite automata with prioritised events. (English) Zbl 1537.93486 Discrete Event Dyn. Syst. 34, No. 1, 125-161 (2024). MSC: 93C65 68Q45 PDFBibTeX XMLCite \textit{Y. Tang} and \textit{T. Moor}, Discrete Event Dyn. Syst. 34, No. 1, 125--161 (2024; Zbl 1537.93486) Full Text: DOI OA License
Gray, Robert D.; Steinberg, Benjamin Topological finiteness properties of monoids. II: Special monoids, one-relator monoids, amalgamated free products, and HNN extensions. (English) Zbl 1540.20127 Doc. Math. 29, No. 3, 511-560 (2024). Reviewer: Ulrich Knauer (Oldenburg) MSC: 20M50 20M05 20J05 57M07 20F10 20F65 PDFBibTeX XMLCite \textit{R. D. Gray} and \textit{B. Steinberg}, Doc. Math. 29, No. 3, 511--560 (2024; Zbl 1540.20127) Full Text: DOI arXiv Backlinks: MO OA License
Taga, Keisuke; Kato, Yuzuru; Yamazaki, Yoshihiro; Kawahara, Yoshinobu; Nakao, Hiroya Dynamic mode decomposition for Koopman spectral analysis of elementary cellular automata. (English) Zbl 07853440 Chaos 34, No. 1, Article ID 013125, 15 p. (2024). MSC: 37M10 37B15 47A11 47J10 15A09 15A18 65P99 PDFBibTeX XMLCite \textit{K. Taga} et al., Chaos 34, No. 1, Article ID 013125, 15 p. (2024; Zbl 07853440) Full Text: DOI arXiv
Jain, A.; Jain, S.; Petalcorin, G. C. jun. Hyper \(\beta\)-languages of order \(n\). (English) Zbl 07853067 J. Algebra Appl. Math. 22, No. 1, 53-65 (2024). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Jain} et al., J. Algebra Appl. Math. 22, No. 1, 53--65 (2024; Zbl 07853067) Full Text: Link
Bruse, Florian; Lange, Martin Model checking timed recursive CTL. (English) Zbl 07852929 Inf. Comput. 298, Article ID 105168, 19 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Bruse} and \textit{M. Lange}, Inf. Comput. 298, Article ID 105168, 19 p. (2024; Zbl 07852929) Full Text: DOI
Jain, A.; Petalcorin, G. C. jun. On some classes of semi-binary \(H\)-supersets. (English) Zbl 07851007 J. Anal. Appl. 22, No. 1, 57-67 (2024). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Jain} and \textit{G. C. Petalcorin jun.}, J. Anal. Appl. 22, No. 1, 57--67 (2024; Zbl 07851007) Full Text: Link
Jain, A.; Jain, S.; Petalcorin, G. C. jun. Semi-binary operations on \(\beta\)-languages. (English) Zbl 07851005 J. Anal. Appl. 22, No. 1, 15-30 (2024). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Jain} et al., J. Anal. Appl. 22, No. 1, 15--30 (2024; Zbl 07851005) Full Text: Link
Peng, Jiali; Shangguan, Wei; Peng, Cong; Chai, Linguo Uncertainty modeling of connected and automated vehicle penetration rate under mixed traffic environment. (English) Zbl 07849154 Physica A 639, Article ID 129640, 15 p. (2024). MSC: 82-XX PDFBibTeX XMLCite \textit{J. Peng} et al., Physica A 639, Article ID 129640, 15 p. (2024; Zbl 07849154) Full Text: DOI
Paolini, Gianluca Computable Scott sentences and the weak Whitehead problem for finitely presented groups. (English) Zbl 07848925 Ann. Pure Appl. Logic 175, No. 7, Article ID 103441, 9 p. (2024). MSC: 03C57 20F10 03D80 03D40 PDFBibTeX XMLCite \textit{G. Paolini}, Ann. Pure Appl. Logic 175, No. 7, Article ID 103441, 9 p. (2024; Zbl 07848925) Full Text: DOI arXiv
Faria, Fernando; Ruivo, Eurico; Balbi, Pedro Paulo Generalisation of a synchronous solution of the parity problem on cyclic configurations over a non-circulant graph. (English) Zbl 07848779 Inf. Sci. 666, Article ID 120387, 25 p. (2024). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{F. Faria} et al., Inf. Sci. 666, Article ID 120387, 25 p. (2024; Zbl 07848779) Full Text: DOI
Marion, Claude; Silva, Pedro V.; Tracey, Gareth The pro-\(k\)-solvable topology on a free group. (English) Zbl 1540.20049 J. Aust. Math. Soc. 116, No. 3, 363-383 (2024). Reviewer: Egle Bettio (Venezia) MSC: 20E05 20E10 20F10 20F22 PDFBibTeX XMLCite \textit{C. Marion} et al., J. Aust. Math. Soc. 116, No. 3, 363--383 (2024; Zbl 1540.20049) Full Text: DOI arXiv
Rodaro, Emanuele Generalizations of the Muller-Schupp theorem and tree-like inverse graphs. (English) Zbl 1540.20081 J. Lond. Math. Soc., II. Ser. 109, No. 5, Article ID e12903, 35 p. (2024). Reviewer: Egle Bettio (Venezia) MSC: 20F65 20F10 05C25 68Q70 20M18 57M10 PDFBibTeX XMLCite \textit{E. Rodaro}, J. Lond. Math. Soc., II. Ser. 109, No. 5, Article ID e12903, 35 p. (2024; Zbl 1540.20081) Full Text: DOI arXiv
Mucciconi, Matteo; Sasada, Makiko; Sasamoto, Tomohiro; Suda, Hayate Relationships between two linearizations of the box-ball system: Kerov-Kirillov-Reschetikhin bijection and slot configuration. (English) Zbl 07846243 Forum Math. Sigma 12, Paper No. e55, 40 p. (2024). MSC: 82C23 82C22 82C20 37B15 37K40 35C08 35Q53 PDFBibTeX XMLCite \textit{M. Mucciconi} et al., Forum Math. Sigma 12, Paper No. e55, 40 p. (2024; Zbl 07846243) Full Text: DOI arXiv OA License
Wattanatripop, Khwancheewa; Kumduang, Thodsaporn; Changphas, Thawhat The partial algebra of terms with a fixed number of variables under a generalized superposition. (English) Zbl 07846052 Int. J. Math. Comput. Sci. 19, No. 3, 731-738 (2024). MSC: 08A05 03D05 03B15 PDFBibTeX XMLCite \textit{K. Wattanatripop} et al., Int. J. Math. Comput. Sci. 19, No. 3, 731--738 (2024; Zbl 07846052) Full Text: Link
Tatashev, Aleksandr Gennad’evich; Yashina, Marina Viktorovna The optimal competition resolution rule for a controlled binary chain. (Russian. English summary) Zbl 07845720 Vladikavkaz. Mat. Zh. 26, No. 1, 142-153 (2024). MSC: 93B70 93E03 37B15 PDFBibTeX XMLCite \textit{A. G. Tatashev} and \textit{M. V. Yashina}, Vladikavkaz. Mat. Zh. 26, No. 1, 142--153 (2024; Zbl 07845720) Full Text: DOI arXiv MNR
Maarand, Hendrik; Tamm, Hellis Yet another canonical nondeterministic automaton. (English) Zbl 07844902 Theor. Comput. Sci. 1001, Article ID 114581, 16 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{H. Maarand} and \textit{H. Tamm}, Theor. Comput. Sci. 1001, Article ID 114581, 16 p. (2024; Zbl 07844902) Full Text: DOI
Goles, Eric; Montealegre, Pedro; Ríos-Wilson, Martín; Theyssier, Guillaume On the parameterized complexity of freezing dynamics. (English) Zbl 07844847 Adv. Appl. Math. 157, Article ID 102706, 39 p. (2024). MSC: 68R99 PDFBibTeX XMLCite \textit{E. Goles} et al., Adv. Appl. Math. 157, Article ID 102706, 39 p. (2024; Zbl 07844847) Full Text: DOI
Schoone, Jan; Daemen, Joan The state diagram of \(\chi\). (English) Zbl 1537.94109 Des. Codes Cryptography 92, No. 5, 1393-1421 (2024). MSC: 94D10 94A60 68Q80 PDFBibTeX XMLCite \textit{J. Schoone} and \textit{J. Daemen}, Des. Codes Cryptography 92, No. 5, 1393--1421 (2024; Zbl 1537.94109) Full Text: DOI OA License
Jaspars, Henry The stable conjugation-invariant word norm is rational in free groups. (English) Zbl 1537.20095 Proc. Am. Math. Soc. 152, No. 6, 2403-2412 (2024). Reviewer: Egle Bettio (Venezia) MSC: 20F65 20E05 20F55 68Q45 PDFBibTeX XMLCite \textit{H. Jaspars}, Proc. Am. Math. Soc. 152, No. 6, 2403--2412 (2024; Zbl 1537.20095) Full Text: DOI arXiv
Mai Hoang Bien; Ramezan-Nassab, Mojtaba; Nguyen Mac Nam Trung Surjectivity of word maps on special linear groups of degree 2. (English) Zbl 1537.20077 J. Algebra 650, 377-393 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 20F10 20F45 20G15 PDFBibTeX XMLCite \textit{Mai Hoang Bien} et al., J. Algebra 650, 377--393 (2024; Zbl 1537.20077) Full Text: DOI
Bunina, Elena; Myasnikov, Alexei; Plotkin, Eugene The Diophantine problem in Chevalley groups. (English) Zbl 1537.03051 J. Algebra 650, 219-274 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 03D35 03C57 03C60 20F70 20F10 20G15 PDFBibTeX XMLCite \textit{E. Bunina} et al., J. Algebra 650, 219--274 (2024; Zbl 1537.03051) Full Text: DOI arXiv
Doré, François; Formenti, Enrico; Porreca, Antonio E.; Riva, Sara Decomposition and factorisation of transients in functional graphs. (English) Zbl 07842523 Theor. Comput. Sci. 999, Article ID 114514, 20 p. (2024). MSC: 68R10 05C85 37B02 37B15 68W40 PDFBibTeX XMLCite \textit{F. Doré} et al., Theor. Comput. Sci. 999, Article ID 114514, 20 p. (2024; Zbl 07842523) Full Text: DOI arXiv
Holt, Derek; Rees, Sarah The compressed conjugacy problem in relatively hyperbolic groups. (English) Zbl 1537.20103 J. Algebra 649, 302-318 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 20F67 20F10 20-08 PDFBibTeX XMLCite \textit{D. Holt} and \textit{S. Rees}, J. Algebra 649, 302--318 (2024; Zbl 1537.20103) Full Text: DOI
Bonfante, Guillaume; Deloup, Florian The genus of regular languages and directed graph emulators. (English) Zbl 07841432 Theor. Comput. Sci. 1000, Article ID 114579, 27 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{G. Bonfante} and \textit{F. Deloup}, Theor. Comput. Sci. 1000, Article ID 114579, 27 p. (2024; Zbl 07841432) Full Text: DOI arXiv
Kochubinska, E.; Oliynyk, A. Monogenic free inverse semigroups and partial automorphisms of regular rooted trees. (English) Zbl 07839549 Mat. Stud. 61, No. 1, 3-9 (2024). MSC: 20M18 20M30 20M35 PDFBibTeX XMLCite \textit{E. Kochubinska} and \textit{A. Oliynyk}, Mat. Stud. 61, No. 1, 3--9 (2024; Zbl 07839549) Full Text: DOI
Hughes, Sam; Valiunas, Motiejus Commensurating HNN-extensions: hierarchical hyperbolicity and biautomaticity. (English) Zbl 1540.20078 Comment. Math. Helv. 99, No. 2, 397-436 (2024). Reviewer: Marco Trombetti (Napoli) MSC: 20F65 20F10 20F67 37E30 57K20 57M50 PDFBibTeX XMLCite \textit{S. Hughes} and \textit{M. Valiunas}, Comment. Math. Helv. 99, No. 2, 397--436 (2024; Zbl 1540.20078) Full Text: DOI arXiv OA License
Kupferman, Orna; Shenwald, Noam The complexity of LTL rational synthesis. (English) Zbl 07838029 ACM Trans. Comput. Log. 25, No. 2, Article No. 10, 31 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{N. Shenwald}, ACM Trans. Comput. Log. 25, No. 2, Article No. 10, 31 p. (2024; Zbl 07838029) Full Text: DOI
Allouche, Jean-Paul; Shallit, Jeffrey Additive properties of the evil and odious numbers and similar sequences. (English) Zbl 07836766 Funct. Approximatio, Comment. Math. 70, No. 1, 55-69 (2024). MSC: 11B13 11B85 11P99 03D05 68Q45 20F10 11L03 PDFBibTeX XMLCite \textit{J.-P. Allouche} and \textit{J. Shallit}, Funct. Approximatio, Comment. Math. 70, No. 1, 55--69 (2024; Zbl 07836766) Full Text: DOI arXiv
Takigiku, Motoki; Tsuchioka, Shunsuke A proof of conjectured partition identities of Nandi. (English) Zbl 07835487 Am. J. Math. 146, No. 2, 405-433 (2024). MSC: 81-XX 11-XX PDFBibTeX XMLCite \textit{M. Takigiku} and \textit{S. Tsuchioka}, Am. J. Math. 146, No. 2, 405--433 (2024; Zbl 07835487) Full Text: DOI arXiv
Skrzypek, Leslaw; Phan, Chi; You, Yuncheng Exponential synchronization of 2D cellular neural networks with boundary feedback. (English) Zbl 1536.34052 Stochastic Anal. Appl. 42, No. 2, 370-385 (2024). MSC: 34D06 34A33 37B15 37L60 92B20 93B52 PDFBibTeX XMLCite \textit{L. Skrzypek} et al., Stochastic Anal. Appl. 42, No. 2, 370--385 (2024; Zbl 1536.34052) Full Text: DOI arXiv
Linh Anh Nguyen; Tran, Dat Xuan Computing crisp bisimulations for fuzzy structures. (English) Zbl 07834352 Int. J. Approx. Reasoning 166, Article ID 109121, 18 p. (2024). MSC: 68R10 05C72 68W40 PDFBibTeX XMLCite \textit{Linh Anh Nguyen} and \textit{D. X. Tran}, Int. J. Approx. Reasoning 166, Article ID 109121, 18 p. (2024; Zbl 07834352) Full Text: DOI arXiv
Honkala, Juha Rational power series in several noncommuting variables and the Skolem-Mahler-Lech theorem. (English) Zbl 07833684 Theor. Comput. Sci. 998, Article ID 114540, 5 p. (2024). MSC: 68Q70 PDFBibTeX XMLCite \textit{J. Honkala}, Theor. Comput. Sci. 998, Article ID 114540, 5 p. (2024; Zbl 07833684) Full Text: DOI
Poirier, Léo; Steiner, Wolfgang Factor-balanced \(S\)-adic languages. (English) Zbl 07833681 Theor. Comput. Sci. 998, Article ID 114535, 7 p. (2024). MSC: 68R15 68Q45 PDFBibTeX XMLCite \textit{L. Poirier} and \textit{W. Steiner}, Theor. Comput. Sci. 998, Article ID 114535, 7 p. (2024; Zbl 07833681) Full Text: DOI arXiv
Castillo-Ramirez, Alonso; de los Santos Baños, Luguis Further results on generalized cellular automata. (English) Zbl 07833355 Commun. Algebra 52, No. 6, 2475-2488 (2024). MSC: 37B15 37B10 PDFBibTeX XMLCite \textit{A. Castillo-Ramirez} and \textit{L. de los Santos Baños}, Commun. Algebra 52, No. 6, 2475--2488 (2024; Zbl 07833355) Full Text: DOI arXiv
Jugé, Vincent; Marcovici, Irène Finding automatic sequences with few correlations. (English) Zbl 07833155 RAIRO, Theor. Inform. Appl. 58, Paper No. 10, 15 p. (2024). MSC: 68R15 11B85 11K36 PDFBibTeX XMLCite \textit{V. Jugé} and \textit{I. Marcovici}, RAIRO, Theor. Inform. Appl. 58, Paper No. 10, 15 p. (2024; Zbl 07833155) Full Text: DOI
Attou, Samira; Mignot, Ludovic; Miklarz, Clément; Nicart, Florent Monadic expressions and their derivatives. (English) Zbl 07833151 RAIRO, Theor. Inform. Appl. 58, Paper No. 6, 31 p. (2024). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{S. Attou} et al., RAIRO, Theor. Inform. Appl. 58, Paper No. 6, 31 p. (2024; Zbl 07833151) Full Text: DOI
Kutrib, Martin; Malcher, Andreas Reversible computations of one-way counter automata. (English) Zbl 07833150 RAIRO, Theor. Inform. Appl. 58, Paper No. 5, 24 p. (2024). MSC: 68Q45 68Q15 PDFBibTeX XMLCite \textit{M. Kutrib} and \textit{A. Malcher}, RAIRO, Theor. Inform. Appl. 58, Paper No. 5, 24 p. (2024; Zbl 07833150) Full Text: DOI
Volkov, M. V. Synchronization of primitive automata. (English) Zbl 07833148 RAIRO, Theor. Inform. Appl. 58, Paper No. 3, 7 p. (2024). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. V. Volkov}, RAIRO, Theor. Inform. Appl. 58, Paper No. 3, 7 p. (2024; Zbl 07833148) Full Text: DOI arXiv