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