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-05-01 to 2025-05-01.)
ArticleCitations
Reactive bisimulation semantics for a process algebra with timeouts8
Correction to: Sound reasoning in tock-CSP8
Visualization of bipartite graphs in limited window size6
Homeostasis tissue-like P systems with cell separation5
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
An instruction set for reversible Turing machines5
0.03691291809082