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-05-01 to 2026-05-01.)
ArticleCitations
A lazy and modular approach to int-blasting21
On integer linear programs for treewidth based on perfect elimination orderings (extended version)12
Reconstruction of SMT proofs with Lambdapi11
Space separating special geffert normal form for succinct representation of star-controlled insertion-deletion systems10
Fast algorithms for window accumulated subsequence matching problem9
Deterministic real-time tree-walking-storage automata8
0.029589891433716