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 PDFBibTeX XMLCite \textit{H.-J. Böckenhauer} et al., Acta Inf. 59, No. 4, 427--450 (2022; Zbl 1512.68118) Full Text: DOI arXiv
Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana Sound reasoning in tock-CSP. (English) Zbl 1483.68223 Acta Inf. 59, No. 1, 125-162 (2022); correction ibid. 59, No. 2-3, 283 (2022). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Baxter} et al., Acta Inf. 59, No. 1, 125--162 (2022; Zbl 1483.68223) Full Text: DOI
Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo A deterministic parsing algorithm for ambiguous regular expressions. (English) Zbl 1487.68142 Acta Inf. 58, No. 3, 195-229 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Borsotti} et al., Acta Inf. 58, No. 3, 195--229 (2021; Zbl 1487.68142) Full Text: DOI
Mestel, David; Roscoe, A. W. Translating between models of concurrency. (English) Zbl 1465.68181 Acta Inf. 57, No. 3-5, 403-438 (2020). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q60 68Q55 68Q85 PDFBibTeX XMLCite \textit{D. Mestel} and \textit{A. W. Roscoe}, Acta Inf. 57, No. 3--5, 403--438 (2020; Zbl 1465.68181) Full Text: DOI arXiv
Valmari, Antti All congruences below stability-preserving fair testing or CFFD. (English) Zbl 1452.68128 Acta Inf. 57, No. 3-5, 353-383 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Valmari}, Acta Inf. 57, No. 3--5, 353--383 (2020; Zbl 1452.68128) Full Text: DOI
Reisig, Wolfgang Associative composition of components with double-sided interfaces. (English) Zbl 1431.68081 Acta Inf. 56, No. 3, 229-253 (2019). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 PDFBibTeX XMLCite \textit{W. Reisig}, Acta Inf. 56, No. 3, 229--253 (2019; Zbl 1431.68081) Full Text: DOI
Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo Fast deterministic parsers for transition networks. (English) Zbl 1400.68093 Acta Inf. 55, No. 7, 547-574 (2018). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{A. Borsotti} et al., Acta Inf. 55, No. 7, 547--574 (2018; Zbl 1400.68093) Full Text: DOI
Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. (English) Zbl 1339.03018 Acta Inf. 53, No. 3, 207-246 (2016). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B44 PDFBibTeX XMLCite \textit{L. Aceto} et al., Acta Inf. 53, No. 3, 207--246 (2016; Zbl 1339.03018) Full Text: DOI Link
Valmari, Antti On constructibility and unconstructibility of LTS operators from other LTS operators. (English) Zbl 1328.68140 Acta Inf. 52, No. 2-3, 207-234 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Valmari}, Acta Inf. 52, No. 2--3, 207--234 (2015; Zbl 1328.68140) Full Text: DOI
Sorge, Manuel; Moser, Hannes; Niedermeier, Rolf; Weller, Mathias Exploiting a hypergraph model for finding Golomb rulers. (English) Zbl 1360.68520 Acta Inf. 51, No. 7, 449-471 (2014). MSC: 68Q25 05C65 68Q17 PDFBibTeX XMLCite \textit{M. Sorge} et al., Acta Inf. 51, No. 7, 449--471 (2014; Zbl 1360.68520) Full Text: DOI
Hesselink, Wim H. Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos. (English) Zbl 1312.68153 Acta Inf. 50, No. 3, 199-228 (2013). MSC: 68Q85 68Q60 68W05 PDFBibTeX XMLCite \textit{W. H. Hesselink}, Acta Inf. 50, No. 3, 199--228 (2013; Zbl 1312.68153) Full Text: DOI
Guttmann, Walter Algebras for iteration and infinite computations. (English) Zbl 1279.68078 Acta Inf. 49, No. 5, 343-359 (2012). MSC: 68Q05 68Q70 68T15 PDFBibTeX XMLCite \textit{W. Guttmann}, Acta Inf. 49, No. 5, 343--359 (2012; Zbl 1279.68078) Full Text: DOI
Ţiplea, Ferucio Laurenţiu; Enea, Constantin Abstractions of data types. (English) Zbl 1089.68065 Acta Inf. 42, No. 8-9, 639-671 (2006). MSC: 68Q65 PDFBibTeX XMLCite \textit{F. L. Ţiplea} and \textit{C. Enea}, Acta Inf. 42, No. 8--9, 639--671 (2006; Zbl 1089.68065) Full Text: DOI