Formal Aspects of Computing

eISSN: 1433-299XpISSN: 0934-5043

Journal formatting to fit the target journal guidelines

Experts ensure all elements of your paper match journal formatting guidelines to improve publication success rate!

Aims and Scope

Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170. Less

Key Metrics

CiteScore
2.6
H-Index
43
Impact Factor
< 5
SJR
Q2Software
SNIP
1.19

Journal Specifications

Indexed in the following public directories

  • Web of Science Web of Science
  • Inspec Inspec
  • SJR SJR
Overview
  • Publisher
    ASSOC COMPUTING MACHINERY
  • Language
    English
  • Frequency
    Quarterly
General Details
View less

Topics Covered

Programming
Quantum error correction
Kalman filter
Symbolic execution
Linear temporal logic
Model checking
Semantic information
Machine learning
Denotational semantics
Information flow

Recently Published Papers

Year-wise Publication

FAQs

Since when has Formal Aspects of Computing been publishing? Faqs

The Formal Aspects of Computing has been publishing since 1989 till date.

How frequently is the Formal Aspects of Computing published? Faqs

Formal Aspects of Computing is published Quarterly.

What is the H-index. SNIP score, Citescore and SJR of Formal Aspects of Computing? Faqs

Formal Aspects of Computing has a H-index score of 43, Citescore of 2.6, SNIP score of 1.19, & SJR of Q2

Who is the publisher of Formal Aspects of Computing? Faqs

The publisher of Formal Aspects of Computing is ASSOC COMPUTING MACHINERY.

Where can I find a journal's aims and scope of Formal Aspects of Computing? Faqs

For the Formal Aspects of Computing's Aims and Scope, please refer to the section above on the page.

How can I view the journal metrics of Formal Aspects of Computing on editage? Faqs

For the Formal Aspects of Computing metrics, please refer to the section above on the page.

What is the eISSN and pISSN number of Formal Aspects of Computing? Faqs

The eISSN number is 1433-299X and pISSN number is 0934-5043 for Formal Aspects of Computing.

What is the focus of this journal? Faqs

The journal covers a wide range of topics inlcuding Programming, Quantum error correction, Kalman filter, Symbolic execution, Linear temporal logic, Model checking, Semantic information, Machine learning, Denotational semantics, Information flow.

Why is it important to find the right journal for my research? Faqs

Choosing the right journal ensures that your research reaches the most relevant audience, thereby maximizing its scholarly impact and contribution to the field.

Can the choice of journal affect my academic career? Faqs

Absolutely. Publishing in reputable journals can enhance your academic profile, making you more competitive for grants, tenure, and other professional opportunities.

Is it advisable to target high-impact journals only? Faqs

While high-impact journals offer greater visibility, they are often highly competitive. It's essential to balance the journal's impact factor with the likelihood of your work being accepted.