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 fields papers in Journal of Economic Integration are covering Top journals impacted by papers in The International Journal of Children s Rights Top journals impacted by papers in Journal of Young Pharmacists Top fields papers in The Review of Austrian Economics are covering Top fields papers in Children & Schools are covering Top fields papers in Journal of Complementary and Integrative Medicine are covering Top journals impacted by papers in Journal of Librarianship and Information Science Top fields papers in World Applied Sciences Journal are covering