Ausgabe 2/2023
Inhalt (4 Artikel)
Original Article
Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times
Asaf Levin, Tal Shusterman
Open Access
Original Article
Pushdown automata and constant height: decidability and bounds
Giovanni Pighizzini, Luca Prigioniero
Original Article
Decentralized runtime verification of message sequences in message-based systems
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Original Article
On partial information retrieval: the unconstrained 100 prisoner problem
Ivano Lodato, Snehal M. Shekatkar, Tian An Wong