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 2022-01-01 to 2026-01-01.)
ArticleCitations
Reactive bisimulation semantics for a process algebra with timeouts16
On integer linear programs for treewidth based on perfect elimination orderings (extended version)10
The Primitive Deficiency of two Primitive Strings10
Deterministic real-time tree-walking-storage automata10
Visualization of bipartite graphs in limited window size6
Constrained polynomial zonotopes5
On the 3-tree core of plane graphs5
Toward a theory of program repair5
0.019129037857056