Acta Informatica

Papers
(The TQCC of Acta Informatica is 1. 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
Fast algorithms for window accumulated subsequence matching problem4
The Primitive Deficiency of two Primitive Strings3
Correction: A natural deduction system for the Byzantine Generals Oral Messages algorithm3
Deterministic real-time tree-walking-storage automata3
New orientable sequences3
Internal contextual grammars with resources restricted and structure limited selection2
Approximating subset sum ratio via partition computations2
Visualization of bipartite graphs in limited window size2
Homeostasis tissue-like P systems with cell separation2
Structure of finite maximal prefix codes with constant average length 42
On the 3-tree core of plane graphs2
Constrained polynomial zonotopes2
Toward a theory of program repair2
Watson-Crick finite automata of small size and variants of string assembling systems1
On the piecewise complexity of words1
Testing membership for timed automata1
Cycle encoding-based parameter synthesis for timed automata safety1
A binary integer programming-based method for qubit mapping in sparse architectures1
Opacity complexity of automatic sequences: the general case1
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications1
Parameterized algorithms for the Steiner arborescence problem on a hypercube1
A closer look at Hamiltonicity and domination through the lens of diameter and convexity1
Reachability analysis of linear systems1
Generalized straight-line programs1
Sweeping permutation automata1
Graphs of order n with exactly $$n+1$$ complementarity eigenvalues1
New families of Laplacian borderenergetic graphs1
Editorial 2023: changes and invariants1
CSB: A Counting and Sampling tool for Bit-vectors1
Properties of graphs specified by a regular language1
Dense non-binary Fibonacci codes1
0.064778089523315