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 SJR : 0.329
SCIMAGO H-index : 38
Guide2Research Overall Ranking : 715

Journal Information

ISSN : 0934-5043
Publisher :
Periodicity : Quarterly
Editors-in-Chief : James Woodcock
Journal & Submission Website : https://www.springer.com/journal/165

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 https://www.springer.com/journal/165 .

Closed Special Issues