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-04-01 to 2025-04-01.)
ArticleCitations
Correction to: Sound reasoning in tock-CSP16
Editorial 2023: changes and invariants6
A binary integer programming-based method for qubit mapping in sparse architectures5
Correction to: A linear-time branching-time perspective on interface automata5
Parameterized algorithms for the Steiner arborescence problem on a hypercube5
On the undecidability and descriptional complexity of synchronized regular expressions5
Depth-first search in directed planar graphs, revisited5
Reactive bisimulation semantics for a process algebra with timeouts5
0.043056964874268