1. Minimum status of trees with a given degree sequence

   • Haiyan Guo
   • Bo Zhou

   Original Article 17 February 2022 Pages: 1 - 10

   

2. Reactive bisimulation semantics for a process algebra with timeouts

   • Rob van Glabbeek

   Original Article Open access 08 April 2022 Pages: 11 - 57

   

3. Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs

   • Shlomi Dolev
   • Yin Li

   Original Article 20 April 2022 Pages: 59 - 78

   

4. Alternating complexity of counting first-order logic for the subword order

   • Dietrich Kuske
   • Christian Schwarz

   Original Article Open access 26 June 2022 Pages: 79 - 100