Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times Asaf LevinTal Shusterman Original Article 19 July 2022 Pages: 101 - 122
Pushdown automata and constant height: decidability and bounds Giovanni PighizziniLuca Prigioniero Original Article Open access 27 July 2022 Pages: 123 - 144
Decentralized runtime verification of message sequences in message-based systems Mahboubeh SamadiFatemeh GhassemiRamtin Khosravi Original Article 10 October 2022 Pages: 145 - 178
On partial information retrieval: the unconstrained 100 prisoner problem Ivano LodatoSnehal M. ShekatkarTian An Wong Original Article 30 December 2022 Pages: 179 - 208
