Xie, Jingnan; Hunt, Harry B. III On the undecidability and descriptional complexity of synchronized regular expressions. (English) Zbl 07727459 Acta Inf. 60, No. 3, 257-278 (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI OA License
Shabana, Hanan; Volkov, M. V. Careful synchronization of partial deterministic finite automata. (English) Zbl 07578096 Acta Inf. 59, No. 4, 479-504 (2022). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Jain, Sanjay; Moldagaliyev, Birzhan; Stephan, Frank; Tien Dat Tran Lamplighter groups and automata. (English) Zbl 1517.20055 Acta Inf. 59, No. 4, 451-478 (2022). Reviewer: Marco Trombetti (Napoli) MSC: 20F10 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Böckenhauer, Hans-Joachim; Burjons, Elisabet; Raszyk, Martin; Rossmanith, Peter Reoptimization of parameterized problems. (English) Zbl 1512.68118 Acta Inf. 59, No. 4, 427-450 (2022). Reviewer: Arne Meier (Hannover) MSC: 68Q27 68R10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Allender, Eric; Chauhan, Archit; Datta, Samir Depth-first search in directed planar graphs, revisited. (English) Zbl 07578088 Acta Inf. 59, No. 4, 289-319 (2022). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Elmasry, Amr; Katajainen, Jyrki Regular numeral systems for data structures. (English) Zbl 07528111 Acta Inf. 59, No. 2-3, 245-281 (2022). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Bergstra, Jan A.; Ponse, Alban Arithmetical datatypes with true fractions. (English) Zbl 1448.68323 Acta Inf. 57, No. 3-5, 385-402 (2020). MSC: 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano Depletable channels: dynamics, behaviour, and efficiency in network design. (English) Zbl 1423.68043 Acta Inf. 56, No. 5, 405-431 (2019). MSC: 68M10 05C21 68M12 68R10 × Cite Format Result Cite Review PDF Full Text: DOI
Zimmermann, Martin Parameterized linear temporal logics meet costs: still not costlier than LTL. (English) Zbl 1390.68445 Acta Inf. 55, No. 2, 129-152 (2018). MSC: 68Q60 03B44 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Björklund, Henrik; Martens, Wim; Schwentick, Thomas Conjunctive query containment over trees using schema information. (English) Zbl 1386.68066 Acta Inf. 55, No. 1, 17-56 (2018). MSC: 68Q25 68P05 68P15 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak Approximate counting in SMT and value estimation for probabilistic programs. (English) Zbl 1380.68117 Acta Inf. 54, No. 8, 729-764 (2017). MSC: 68N30 68T20 68W25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. (English) Zbl 1362.68203 Acta Inf. 54, No. 1, 85-125 (2017). MSC: 68Q85 68W05 68W40 91A43 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro Metric propositional neighborhood logic with an equivalence relation. (English) Zbl 1350.68185 Acta Inf. 53, No. 6-8, 621-648 (2016). MSC: 68Q60 03B25 03B44 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI Link
Aizikowitz, Tamar; Kaminski, Michael Conjunctive grammars and alternating pushdown automata. (English) Zbl 1358.68155 Acta Inf. 50, No. 3, 175-197 (2013). MSC: 68Q42 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Arroyo, Fernando; Castellanos, Juan; Dassow, Jürgen; Mitrana, Victor; Sánchez-Couso, José-Ramón Accepting splicing systems with permitting and forbidding words. (English) Zbl 1281.68106 Acta Inf. 50, No. 1, 1-14 (2013). MSC: 68Q05 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bergstra, J. A.; Middelburg, C. A. Instruction sequence processing operators. (English) Zbl 1279.68075 Acta Inf. 49, No. 3, 139-172 (2012). MSC: 68Q01 68Q05 68N01 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Bozapalidis, Symeon; Fülöp, Zoltán; Rahonis, George Equational weighted tree transformations. (English) Zbl 1244.68054 Acta Inf. 49, No. 1, 29-52 (2012). Reviewer: Magnus Steinby (Turku) MSC: 68Q70 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI
Aman, Bogdan; Ciobanu, Gabriel Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. (English) Zbl 1234.68124 Acta Inf. 48, No. 7-8, 409-415 (2011). MSC: 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Qiu, Daowen; Li, Lvzhou; Zou, Xiangfu; Mateus, Paulo; Gruska, Jozef Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. (English) Zbl 1233.68154 Acta Inf. 48, No. 5-6, 271-290 (2011). MSC: 68Q45 68Q12 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Drewes, Frank; Högberg, Johanna; Maletti, Andreas MAT learners for tree series: an abstract data type and two realizations. (English) Zbl 1251.68129 Acta Inf. 48, No. 3, 165-189 (2011). MSC: 68Q45 68Q65 68Q32 × Cite Format Result Cite Review PDF Full Text: DOI Link
Epstein, Leah Equilibria for two parallel links: the strong price of anarchy versus the price of anarchy. (English) Zbl 1214.68092 Acta Inf. 47, No. 7-8, 375-389 (2010). MSC: 68M20 91A06 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bergstra, J. A.; Middelburg, C. A. Synchronous cooperation for explicit multi-threading. (English) Zbl 1133.68051 Acta Inf. 44, No. 7-8, 525-569 (2007). MSC: 68Q85 68N30 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Nishimura, Naomi; Ragde, Prabhakar; Szeider, Stefan Solving #SAT using vertex covers. (English) Zbl 1133.68073 Acta Inf. 44, No. 7-8, 509-523 (2007). MSC: 68T20 68R10 × Cite Format Result Cite Review PDF Full Text: DOI
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban Decision problems for pushdown threads. (English) Zbl 1120.68077 Acta Inf. 44, No. 2, 75-90 (2007). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Honkala, Juha A new bound for the D0L sequence equivalence problem. (English) Zbl 1106.68060 Acta Inf. 43, No. 6, 419-429 (2007). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Carayol, Arnaud; Meyer, Antoine Linearly bounded infinite graphs. (English) Zbl 1102.68056 Acta Inf. 43, No. 4, 265-292 (2006). MSC: 68Q45 68Q05 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv