Acta Informatica

Papers
(The H4-Index of Acta Informatica is 5. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-06-01 to 2025-06-01.)
ArticleCitations
Correction to: Sound reasoning in tock-CSP9
Reactive bisimulation semantics for a process algebra with timeouts8
Visualization of bipartite graphs in limited window size8
Deterministic real-time tree-walking-storage automata6
An instruction set for reversible Turing machines5
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs5
Nilpotency and periodic points in non-uniform cellular automata5
Constrained polynomial zonotopes5
0.018024921417236