Home›Search›Formal Aspects of Computing

Formal Aspects of Computing

Association for Computing Machinery (ACM) · United States

ISSN0934-5043eISSN1433-299X

SJR Q3✓ WOS SCIE✓ Scopus / SJR

/ 100

High Risk

Score Breakdown

✓ WoS SCIE/SSCI+25

✓ Scopus Q3+12

Total37

Journal Impact Factor

This journal is indexed in Web of Science (JCR) and has an official Journal Impact Factor. View the current value on the journal’s page ↗

SJR Score

0.462

H-Index

CiteScore

View ↗

Scopus metric · on the journal’s page

SNIP

0.87

Total Works

1,236

Total Citations

22,482

2yr Mean Citedness

13.55

Free JIF alternative

Aims & Scope✦ Inferred from recent articles

This journal publishes research on formal methods and their applications in computer science, including theoretical frameworks for system behavior, extensions of temporal logics for optimization problems, formal modeling of state-based systems, and verification techniques for concurrent and distributed systems. Articles also cover the application of formal methods in specific domains like railway systems and malware analysis, as well as advancements in related tools and methodologies.

AI-summarised from recent articles · verify on publisher page →

⚡ Speed vs Prestige

How does this journal balance review speed with impact level?

SJR Rank

Top 75% in field

General Information

Country / RegionUnited States

Primary LanguageEnglish

1st Year Published—

Annual Volume~ 30 articles / year

StatusActive

Total Publications1,236

Publisher OrgSpringer Science+Business Media

Visit Journal Website

Submission Info

Publishing ModelSubscription

Peer Review—

Review Time—

Acceptance Rate—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

6/12 · 50%

✅

Do you know the journal / publisher?

Association for Computing Machinery (ACM)

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

0934-5043 / 1433-299X

✅

Indexed in a trusted database?

WoS, Scopus

❌

Peer review process documented?

N/A

❌

Follows ethical publishing standards (COPE)?

N/A

❌

APC fees clearly disclosed?

N/A

✅

Not on predatory/blacklists?

✓ Clean

❌

Long-term digital preservation?

N/A

❌

Plagiarism detection in place?

N/A

❌

Listed in DOAJ (verified OA)?

N/A

✅

Primary language documented?

English

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.

Publication & Citation Trend

Articles published

Times cited

2019

2020

2021

2022

2023

2024

2025

2026

Source: OpenAlex · Note: citations accumulate over time so older years appear higher

SJR Quartile by Discipline

Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.

SoftwareQ3

Theoretical Computer ScienceQ3

Subject Classification

Web of Science Categories

Computer Science, Software Engineering

Scopus Categories

SoftwareTheoretical Computer Science

Research Topics (OpenAlex)

Formal Methods in VerificationLogic, programming, and type systemsDistributed systems and fault toleranceLogic, Reasoning, and KnowledgeModel-Driven Software Engineering Techniques