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 Trust

PubScope credibility score from verifiable indexing & ethics signals

Score Breakdown

◆ WoS flagship (SCIE/SSCI/AHCI)78

✓ Corroboration (2 more)+12

Total90

Level data: Norwegian Register (HK-dir), NLOD 2.0. · Third-party records · how this is calculated · Report an error →

⚡ Speed vs Prestige

How does this journal balance review speed with impact level?

381

days submission → published

measured · last 20 articles · accept 293d

SJR Rank

Top 75% in field

Impact Factor & Quartile · Web of Science (JCR)

✓ Indexed in the Web of Science Core Collection (SCIE) — Clarivate publishes an official Journal Impact Factor and JCR quartile for this journal.

See the official Impact Factor & quartile on the journal’s page ↗

The Impact Factor & JCR quartile are licensed by Clarivate — we link you to the official source instead of reprinting a number that can go out of date. Open metrics below: SCImago Q3. Source: Clarivate Journal Citation Reports.

SJR Scorei

0.315

H-Indexi

CiteScore

View ↗

Scopus metric · on the journal’s page

SNIPi

0.87

Total Worksi

1,236

Total Citationsi

22,482

2yr Mean Citednessi

13.55

Open Impact Factor alternative

Aims & Scope

Subject areas: Computer Science, Software Engineering; Software; Theoretical Computer Science.

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

Citations received

223

2019

126

2020

344

2021

383

2022

2023

141

2024

2025

2026

Source: OpenAlex · Each year’s green bar = citations earned by that year’s papers, counted to date — so recent years look lower simply because their papers haven’t had time to be cited yet.

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

Frequently asked questions about Formal Aspects of Computing

Is Formal Aspects of Computing a predatory journal?

PubScope has no integrity flags on record for Formal Aspects of Computing: it is indexed in Web of Science, Scopus, and is not on DOAJ's withdrawn list. Its PubScope Trust Score is 90/100. Indexing is a transparency signal, not a guarantee — always confirm fit and policies before submitting.

What is the impact factor of Formal Aspects of Computing?

Formal Aspects of Computing is indexed in the Web of Science Core Collection, so Clarivate publishes an official Journal Impact Factor for it (since the 2023 Journal Citation Reports, every Core Collection journal — including Arts & Humanities and Emerging Sources titles — receives one). PubScope links to Clarivate's official source rather than reprinting the number, which can be out of date. Its open 2-year mean citedness is 13.55.

Is Formal Aspects of Computing indexed in Scopus and Web of Science?

Formal Aspects of Computing is indexed in Web of Science, Scopus.

What is the aims and scope of Formal Aspects of Computing?