Fundamenta Informaticae

3.2k papers and 24.4k indexed citations i.

The 3.2k papers published in Fundamenta Informaticae in the last decades have received a total of 24.4k indexed citations. Papers published in Fundamenta Informaticae usually cover Computational Theory and Mathematics (1.9k papers), Artificial Intelligence (1.7k papers) and Molecular Biology (439 papers) specifically the topics of Logic, Reasoning, and Knowledge (562 papers), Formal Methods in Verification (513 papers) and Logic, programming, and type systems (509 papers). The most active scholars publishing in Fundamenta Informaticae are Andrzej Skowron, Daniel Simson, Mario J. Pérez–Jiménez, Davide Ciucci and James F. Peters.