Acta Informatica

Papers
(The H4-Index of Acta Informatica is 6. 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-06-01 to 2026-06-01.)
ArticleCitations
Reconstruction of SMT proofs with Lambdapi22
Space separating special geffert normal form for succinct representation of star-controlled insertion-deletion systems13
A lazy and modular approach to int-blasting11
On integer linear programs for treewidth based on perfect elimination orderings (extended version)11
Fast algorithms for window accumulated subsequence matching problem9
Deterministic real-time tree-walking-storage automata8
0.53521609306335