Explore All Access
Check if your research matches the topics covered in Formal Aspects of Computing?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Formal Aspects of Computing : Impact Factor & More
eISSN: 1433-299XpISSN: 0934-5043
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
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
Formal Aspects of Computing Key Metrics
CiteScore 
2.6
H-Index
43
Impact Factor
< 5
SJR
Q2Software
SNIP
1.19
Topics Covered on Formal Aspects of Computing
Programming
Quantum error correction
Kalman filter
Symbolic execution
Linear temporal logic
Model checking
Semantic information
Machine learning
Denotational semantics
Information flow
Formal Aspects of Computing Journal Specifications
Indexed in the following public directories
Web of Science 
Inspec 
SJR
| 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 |
View less
Planning to publish in Formal Aspects of Computing ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Formal Aspects of Computing
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary
- 30 Oct 2024
- Formal Aspects of Computing
OMAHA : Opportunistic Message Aggregation for pHase-based Algorithms
- 19 Oct 2024
- Formal Aspects of Computing
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
- 15 Oct 2024
- Formal Aspects of Computing
Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL
- 15 Oct 2024
- Formal Aspects of Computing
An SMT-based Approach to the Verification of Knowledge-Based Programs
- 11 Oct 2024
- Formal Aspects of Computing
Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL
- 25 Sep 2024
- Formal Aspects of Computing
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary
- 30 Oct 2024
- Formal Aspects of Computing
OMAHA : Opportunistic Message Aggregation for pHase-based Algorithms
- 19 Oct 2024
- Formal Aspects of Computing
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
- 15 Oct 2024
- Formal Aspects of Computing
Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL
- 15 Oct 2024
- Formal Aspects of Computing
An SMT-based Approach to the Verification of Knowledge-Based Programs
- 11 Oct 2024
- Formal Aspects of Computing
Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL
- 25 Sep 2024
- Formal Aspects of Computing
Compare Similar Journals with Formal Aspects of Computing
Select Journals to Compare with Formal Aspects of Computing
Total journals - 8
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
IEEE Access
Publisher: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Proceedings of the ACM on Programming Languages
Publisher: ACM
Journal of Physics Conference Series
Publisher: Institute of Physics Publishing
Communications in Computer and Information Science
Publisher: Springer Nature
Quarterly Journal of the Royal Meteorological Society
Publisher: WILEY
IEEE Transactions on Automatic Control
Publisher: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Entropy
Publisher: MDPI
0 Journals Selected to compare with
Formal Aspects of Computing
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Formal Aspects of Computing
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 year?
In 2023, Formal Aspects of Computing publsihed 26 articles.
What is the eISSN & pISSN for Formal Aspects of Computing?
For Formal Aspects of Computing, eISSN is 1433-299X and pISSN is 0934-5043.
What is Citescore for Formal Aspects of Computing?
Citescore for Formal Aspects of Computing is 2.6.
What is the 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.
