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.
Indexed in the following public directories
-
Web of Science -
Inspec -
SJR
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 PRDC 2023
- 5 Dec 24
- Formal Aspects of Computing
-
Full paper
Mechanised Safety Verification for a Distributed Autonomous Railway Control System
- 30 Nov 24
- Formal Aspects of Computing
-
Full paper
Footprint Logic for Object-Oriented Components (extended paper)
- 20 Nov 24
- Formal Aspects of Computing
-
Full paper
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary
- 30 Oct 24
- Formal Aspects of Computing
-
Full paper
OMAHA : Opportunistic Message Aggregation for pHase-based Algorithms
- 19 Oct 24
- Formal Aspects of Computing
-
Full paper
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
- 15 Oct 24
- Formal Aspects of Computing
Scite analysis
Powered by scite_
1.2k articles received 12.5k citations see all
- 59 Supporting
- 12,314 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 26 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.