Formal Aspects of Computing

ISSN 0934-5043Association for Computing Machinery
ScopusSCImagoJIFMatched via identifier

Journal overview

Journal identity
Titles
Formal Aspects of Computing
FORMAL ASPECTS OF COMPUTING ASSOC COMPUTING MACHINERY
Key identifiers
ISSN
0934-5043
0934-5043
eISSN
1433-299X
NLM ID
Not available
Publisher / basic metadata
Publisher
Association for Computing Machinery
Country
Language
Not available

Indexing & coverage

Current indexing summary
Scopus
Currently indexed

Scopus's Sources record lists this journal as active.

Indexing history
Coverage
1989–2026
Indexing services (MEDLINE, Embase)
Not available
Bibliographic inclusion (PubMed)
Not available
Full-text availability (PMC — not an indexing service)
Not available

Metrics

MetricYearValueQuartileRankSource
JIF20251.4Q311211JCR Impact Factor List 2025 — supplied dataset
SCImago Journal Rank (SJR) — 2025

Source: SCImago Journal & Country Rank — 2025 dataset. SJR is a metric published by SCImago, presented here as reported.

SJR
0.315
Best Quartile
Q3
H-index
46
Subject categories
  • Software — Q3
  • Theoretical Computer Science — Q3
More metrics
Coverage
1989–2025
Country
United States
Region
Northern America
Publisher
Association for Computing Machinery
Open Access
No
Open Access (Diamond)
No
Total documents (current year)
23
Total documents (3 years)
67
Total references
805
Total citations (3 years)
97
Citable documents (3 years)
61
Citations per document (2 years)
1.2
References per document
35
Source details
Match confidence
Confirmed — two independent ISSNs agree
Matched via ISSN(s)
0934-5043, 1433-299X
SCImago Source ID
24980
SCImago Rank (across all SCImago source types)
16681

Publication activity

Publication activity
SCImago
2025
23 observed publications
Latest publication activity observed
2025
Current-year activity
Recent publication activity observed

Evidence sources: SCImago. SCImago's count is a source-reported aggregate figure; Crossref/OpenAlex/PubMed counts are distinct article records JCF Labs observed via each provider's own free API — none is guaranteed to be that journal's complete output for the year, and providers may disagree (this is expected, not an error). See this journal's own source evidence above for full context.

Subjects & categories

Subjects / categories
Subject area (SCImago)
MeSH (PubMed)
Not available
Coverage / history
Scopus:1989-2026