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.
Key Metrics
2.6
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
< 5
Impact Factor
Impact Factor
Impact factor of a journal is calculated by dividing the number of current year citations to the source items published in that journal during the previous two years.
43
H index
H-Index
Journal's h-index reflects the collective citation impact of the authors publishing in the journal. The h-index is defined as the maximum value of h such that the given journal has published at least h papers that have each been cited at least h times.
Q2
Software
SJR
- Q2 Software
- Q2 Theoretical Computer Science
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
1.19
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
Topics Covered
- Programming
- Quantum error correction
- Kalman filter
- Symbolic execution
- Linear temporal logic
- Model checking
- Semantic information
- Machine learning
- Denotational semantics
- Information flow
Journal Specifications
| Overview | |
| Publisher | ASSOC COMPUTING MACHINERY |
| Language | English |
| Frequency | Quarterly |
| General Details | |
| Language | English |
| Frequency | Quarterly |
| Publication Start Year | 1989 |
| Publisher URL | Visit website |
| Website URL | Visit website |
Planning to publish in Formal Aspects of Computing ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
- 22 Mar 24
- Formal Aspects of Computing
-
Full paper
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
- 20 Mar 24
- Formal Aspects of Computing
-
Full paper
The Concept of Class Invariant in Object-oriented Programming
- 20 Mar 24
- Formal Aspects of Computing
-
Full paper
Review on <i>Verified Functional Programming in Agda</i>
- 20 Mar 24
- Formal Aspects of Computing
-
Full paper
IStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System
- 20 Mar 24
- Formal Aspects of Computing
-
Full paper
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking
- 20 Mar 24
- Formal Aspects of Computing
Scite analysis
Powered by scite_
1.1k articles received 12.2k citations see all
- 59 Supporting
- 12,061 Mentioning
- 2 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 1 Corrections
- 1 Errata
- 0 Expression of Concern
FAQs
How long has Formal Aspects of Computing been actively publishing?
Formal Aspects of Computing has been in operation since 1989 till date.
What is the publishing frequency of Formal Aspects of Computing ?
Formal Aspects of Computing published with a Quarterly frequency.
How many articles did Formal Aspects of Computing publish last years ?
In 2023, Formal Aspects of Computing published 27 articles.
What is the eISSN & pISSN for Formal Aspects of Computing ?
For Formal Aspects of Computing,eISSN is 1433-299X and pISSN is0934-5043.
What is Citescore for Formal Aspects of Computing ?
Citescore for Formal Aspects of Computing is 2.6.
What is H index for Formal Aspects of Computing ?
H index for Formal Aspects of Computing is 43.
What is SNIP score for Formal Aspects of Computing ?
SNIP score for Formal Aspects of Computing is 1.19.
What is the SJR for Formal Aspects of Computing ?
SJR for Formal Aspects of Computing is Q2.
Who is the publisher of Formal Aspects of Computing ?
ASSOC COMPUTING MACHINERY is the publisher of Formal Aspects of Computing.