Ausgabe 4/2023
Inhalt (5 Artikel)
Review
Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms
Farnaz Sheikhi, Behnam Zeraatkar, Sama Hanaie
Original Article
On first-order runtime enforcement of branching-time properties
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Original Article
The second step in characterizing a three-word code
Chunhua Cao, Jiao Xu, Lei Liao, Di Yang, Guichuan Jia, Qian Du