Explore All Access
BackGo to journal finder

Formal Aspects of Computing : Impact Factor & More

eISSN: 1433-299XpISSN: 0934-5043

Check your submission readiness

Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.

Run pre-submission 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

Overview
Publisher ASSOC COMPUTING MACHINERY
Language English
Frequency Quarterly
General Details
LanguageEnglish
FrequencyQuarterly
Publication Start Year1989
Publisher URLVisit website
Website URLVisit website
View less
NEW

Submissions Pack

Expert Services + AI tools

One subscription packed with expert publication services and AI tools to get you published

Brought to you by

  • Journal Selection Service

    Benefit from our experts' recommendations of 3-5 best-suited journals, accompanied by a detailed Journal Selection report explaining the choices. Make informed decisions.

  • Journal Submission Service

    Streamline your submission process with meticulous manuscript formatting to meet journal guidelines, crafting a tailored cover letter for the editor, and hassle-free account creation and submission

Bundle of AI tools for your research needs

Journal Finder, Paperpal, R Discovery, MindTheGraph and more

View benefits in detail

Buy now for a special Launch price!

$199
$249
Subscribe now

Planning to publish in Formal Aspects of Computing ?

Upload your Manuscript to get

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Check your researchless than 30 sec
Free Report

Recently Published Papers in Formal Aspects of Computing

View all papers for this journal

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

View
Publisher: Springer Nature

IEEE Access

View
Publisher: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC

Proceedings of the ACM on Programming Languages

View
Publisher: ACM

Journal of Physics Conference Series

View
Publisher: Institute of Physics Publishing

Communications in Computer and Information Science

View
Publisher: Springer Nature

Quarterly Journal of the Royal Meteorological Society

View
Publisher: WILEY

IEEE Transactions on Automatic Control

View
Publisher: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC

Entropy

View
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

Sign Up

Check if your research matches the topics covered in Formal Aspects of Computing?

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Check your research

FAQs on Formal Aspects of Computing

How long has Formal Aspects of Computing been actively publishing? Faqs

Formal Aspects of Computing has been in operation since 1989 till date.

What is the publishing frequency of Formal Aspects of Computing? Faqs

Formal Aspects of Computing published with a Quarterly frequency.

How many articles did Formal Aspects of Computing publish last year? Faqs

In 2023, Formal Aspects of Computing publsihed 27 articles.

What is the eISSN & pISSN for Formal Aspects of Computing? Faqs

For Formal Aspects of Computing, eISSN is 1433-299X and pISSN is 0934-5043.

What is Citescore for Formal Aspects of Computing? Faqs

Citescore for Formal Aspects of Computing is 2.6.

What is the H Index for Formal Aspects of Computing ? Faqs

H Index for Formal Aspects of Computing is 43.

What is SNIP score for Formal Aspects of Computing? Faqs

SNIP score for Formal Aspects of Computing is 1.19.

What is the SJR for Formal Aspects of Computing? Faqs

SJR for Formal Aspects of Computing is Q2.

Who is the publisher of Formal Aspects of Computing? Faqs

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

Global Journal Library: