Acta Informatica

1.5k papers and 24.0k indexed citations i.

About

The 1.5k papers published in Acta Informatica in the last decades have received a total of 24.0k indexed citations. Papers published in Acta Informatica usually cover Computational Theory and Mathematics (921 papers), Artificial Intelligence (861 papers) and Computer Networks and Communications (397 papers) specifically the topics of Formal Methods in Verification (417 papers), Logic, programming, and type systems (406 papers) and semigroups and automata theory (348 papers). The most active scholars publishing in Acta Informatica are Grzegorz Rozenberg, Joost Engelfriet, Erol Gelenbe, Walter Vogler and Amir Pnueli.

In The Last Decade

Rankless by CCL
2025