Acta Informatica

Keyphrases

Publications

volume 61, number 1, 2024

volume 60, number 1, 2023

Rob van Glabbeek
Reactive bisimulation semantics for a process algebra with timeouts. Acta Informatica 60 (1) (2023)
Shlomi Dolev, Yin Li
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs. Acta Informatica 60 (1) (2023)
Haiyan Guo, Bo Zhou
Minimum status of trees with a given degree sequence. Acta Informatica 60 (1) (2023)
Dietrich Kuske, Christian Schwarz
Alternating complexity of counting first-order logic for the subword order. Acta Informatica 60 (1) (2023)

volume 60, number 2, 2023

volume 60, number 3, 2023

volume 60, number 4, 2023

volume 59, number 1, 2022

volume 59, number 2-3, 2022

volume 59, number 4, 2022

Petra Wolf
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. Acta Informatica 59 (4) (2022)
Henning Fernau, Markus Holzer, Petra Wolf
Preface to Klaus-Jörn Lange Festschrift. Acta Informatica 59 (4) (2022)
Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk, Peter Rossmanith
Reoptimization of parameterized problems. Acta Informatica 59 (4) (2022)
Sanjay Jain, Birzhan Moldagaliyev, Frank Stephan, Tien Dat Tran
Lamplighter groups and automata. Acta Informatica 59 (4) (2022)
Michaël Cadilhac, Charles Paperman
. Acta Informatica 59 (4) (2022)
Thomas Erlebach, Jakob T. Spooner
Exploration of k-edge-deficient temporal graphs. Acta Informatica 59 (4) (2022)
Jürgen Dassow, Ismaël Jecker
Operational complexity and pumping lemmas. Acta Informatica 59 (4) (2022)
Kaoru Fujioka, Fumiya Okubo, Takashi Yokomori
ℒ-reduction computation revisited. Acta Informatica 59 (4) (2022)
Volker Diekert, Henning Fernau, Petra Wolf
Properties of graphs specified by a regular language. Acta Informatica 59 (4) (2022)
Eric Allender, Archit Chauhan, Samir Datta
Depth-first search in directed planar graphs, revisited. Acta Informatica 59 (4) (2022)
Hanan Shabana, Mikhail V. Volkov
Careful synchronization of partial deterministic finite automata. Acta Informatica 59 (4) (2022)

volume 59, number 5, 2022

volume 59, number 6, 2022