1. Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times

   • Asaf Levin
   • Tal Shusterman

   Original Article 19 July 2022 Pages: 101 - 122

   

2. Pushdown automata and constant height: decidability and bounds

   • Giovanni Pighizzini
   • Luca Prigioniero

   Original Article Open access 27 July 2022 Pages: 123 - 144

   

3. Decentralized runtime verification of message sequences in message-based systems

   • Mahboubeh Samadi
   • Fatemeh Ghassemi
   • Ramtin Khosravi

   Original Article 10 October 2022 Pages: 145 - 178

   

4. On partial information retrieval: the unconstrained 100 prisoner problem

   • Ivano Lodato
   • Snehal M. Shekatkar
   • Tian An Wong

   Original Article 30 December 2022 Pages: 179 - 208