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 2020-11-01 to 2024-11-01.)
ArticleCitations
Sound reasoning in tock-CSP14
Proportional lumpability and proportional bisimilarity5
Measuring the constrained reachability in quantum Markov chains5
Operational complexity and pumping lemmas5
An automated system repair framework with signal temporal logic5
0.6429328918457