Formal Aspects of Computing

in Journal   Posted on November 4, 2020 

Journal Ranking & Metrics

Impact Score : 3.46
G2R H-Index : 10
JCR Impact Factor : 0.516
Scopus Citescore : 3.3
SCIMAGO H-index : 38
Guide2Research Overall Ranking : 283

Journal Information

ISSN : 0934-5043
Publisher :
Periodicity : Quarterly
Editors-in-Chief : James Woodcock
Journal & Submission Website :

Top Scientists who published in this Journal

Number of top scientists* : 31
Documents published by top scientists* : 29
* Based on data published during the last three years.

Aims & Scope of the Journal

Formal Aspects of Computing publishes scholarly articles examining novel vital contributions in the fields of General Computer Science and Software Engineering & Programming. Formal Aspects of Computing publishes original scientific documents which undergo peer review by experts in the field. The journal encourages submissions from the research community where attention will be on the novelty and the practical importance of the reported research.

Formal Aspects of Computing is listed in a wide range of abstracting and indexing datasets such as Scopus, Web of Science and Guide2Research. A significant number of leading scholars have published their research contributions at this Journal including Holger Hermanns, Jose Meseguer, Cliff B Jones and Christel Baier.

For extra information on the instructions and submission provisions for authors, it is recommended to visit the journal website for Formal Aspects of Computing at .

Closed Special Issues