Skip to main content

Acta Informatica

Ausgabe 3/2023

Inhalt (4 Artikel)

Original Article

Toward a theory of program repair

Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili

Open Access Original Article

On the undecidability and descriptional complexity of synchronized regular expressions

Jingnan Xie, Harry B. Hunt III

Open Access Original Article

Constrained polynomial zonotopes

Niklas Kochdumper, Matthias Althoff

Open Access Original Article

Simple chain automaton random number generator for IoT devices

Pál Dömösi, Géza Horváth, Norbert Tihanyi