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 2022-08-01 to 2026-08-01.)
ArticleCitations
Space separating special geffert normal form for succinct representation of star-controlled insertion-deletion systems23
On integer linear programs for treewidth based on perfect elimination orderings (extended version)13
Upper bound for output patterns of energy-bounded boolean circuits, and its applications12
A lazy and modular approach to int-blasting11
Reconstruction of SMT proofs with Lambdapi5
0.38997888565063