Minimum status of trees with a given degree sequence Haiyan GuoBo Zhou Original Article 17 February 2022 Pages: 1 - 10
Reactive bisimulation semantics for a process algebra with timeouts Rob van Glabbeek Original Article Open access 08 April 2022 Pages: 11 - 57
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs Shlomi DolevYin Li Original Article 20 April 2022 Pages: 59 - 78
Alternating complexity of counting first-order logic for the subword order Dietrich KuskeChristian Schwarz Original Article Open access 26 June 2022 Pages: 79 - 100