Ranking & Metrics Journal Information Aims & Scope of the Journal Special Issues
Formal Aspects of Computing

Formal Aspects of Computing

Impact Score 3.46


Ranking & Metrics Impact Score is a novel metric devised to rank conferences based on the number of contributing top scientists in addition to the h-index estimated from the scientific papers published by top scientists. See more details on our methodology page.

Research Impact Score: 3.46
JCR Impact Factor: 0.516
Scopus Citescore: 3.3
SCIMAGO H-index: 38
Research Ranking (Computer Science) 283
Number of Top scientists: 31
Documents by top scientists: 29

Journal Information

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

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 .

Special Issues

Publisher Journal Details Closing date G2R Score
Formal Methods for Robotics

Formal Methods for Robotics

Formal Aspects of Computing