Information and Computation

3.3k papers and 45.2k indexed citations i.

About

The 3.3k papers published in Information and Computation in the last decades have received a total of 45.2k indexed citations. Papers published in Information and Computation usually cover Artificial Intelligence (2.0k papers), Computational Theory and Mathematics (1.9k papers) and Computer Networks and Communications (617 papers) specifically the topics of Logic, programming, and type systems (866 papers), Formal Methods in Verification (767 papers) and semigroups and automata theory (642 papers). The most active scholars publishing in Information and Computation are Matthew Hennessy, Hans L. Bodlaender, Antonı́n Kučera, Amir Pnueli and Manfred K. Warmuth.

In The Last Decade

Rankless by CCL
2025