Formal Aspects of Computing
About
The 898 papers published in Formal Aspects of Computing in the last decades have received a total of 7.4k indexed citations.
Papers published in Formal Aspects of Computing usually cover Computational Theory and Mathematics (587 papers), Artificial Intelligence (577 papers) and Software (258 papers) specifically the topics of Formal Methods in Verification (520 papers), Logic, programming, and type systems (376 papers) and Distributed systems and fault tolerance (131 papers). The most active scholars publishing in Formal Aspects of Computing are Jim Woodcock, Ana Cavalcanti, Ian J. Hayes, Howard Bowman and Wim H. Hesselink
In The Last Decade
Explore journals with similar magnitude of impact
Top countries impacted by papers in Research in Nondestructive Evaluation Top countries impacted by papers in International Neurourology Journal Top countries impacted by papers in Bangladesh Journal of Pharmacology Top countries impacted by papers in European Political Science Top journals impacted by papers in Social Identities Top fields papers in Communications are covering Top fields papers in JCO Oncology Practice are covering Top journals impacted by papers in International Journal of Wavelets Multiresolution and Information Processing