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-09-01 to 2025-09-01.)
ArticleCitations
Correction to: Sound reasoning in tock-CSP10
Reactive bisimulation semantics for a process algebra with timeouts9
On integer linear programs for treewidth based on perfect elimination orderings (extended version)8
The Primitive Deficiency of two Primitive Strings7
Constrained polynomial zonotopes5
Visualization of bipartite graphs in limited window size5
Deterministic real-time tree-walking-storage automata5
0.05504298210144