Home›Search›Science of Computer Programming

Science of Computer Programming

Elsevier B.V. · Netherlands

ISSN0167-6423eISSN1872-7964

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.429

H-Index

103

CiteScore

View ↗

Scopus metric · on the journal’s page

SNIP

1.233

Total Works

3,290

Total Citations

77,675

2yr Mean Citedness

1.41

Free JIF alternative

Aims & Scope✦ Inferred from recent articles

The journal publishes research on tools and frameworks for verifying and testing software and computational models. This includes runtime verification of concurrent data structures, learning separating deterministic finite automata, robustness testing of deep learning image classifiers, and automated verification of constrained Horn clauses and transition systems.

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 / RegionNetherlands

Primary LanguageEnglish

1st Year Published—

Annual Volume~ 116 articles / year

StatusActive

Total Publications3,290

Publisher OrgElsevier BV

Visit Journal Website

Submission Info

Publishing ModelHybrid

Peer Review—

Review Time—

Acceptance Rate—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

⚡ Hybrid journal — subscription model available.

Think.Check.Submit Compliance

thinkchecksubmit.org

6/12 · 50%

✅

Do you know the journal / publisher?

Elsevier B.V.

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

0167-6423 / 1872-7964

✅

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.

Computational Theory and MathematicsQ3

Information SystemsQ3

Modeling and SimulationQ3

SoftwareQ3

Subject Classification

Web of Science Categories

Computer Science, Software Engineering

Scopus Categories

Information SystemsSoftwareComputational Theory and MathematicsModeling and Simulation

Research Topics (OpenAlex)

Formal Methods in VerificationLogic, programming, and type systemsAdvanced Software Engineering MethodologiesSoftware Engineering ResearchSoftware Testing and Debugging Techniques