Home›Search›Journal of Logical and Algebraic Methods in Programming

Journal of Logical and Algebraic Methods in Programming

Elsevier Inc. · United States · Est. 2013

ISSN2352-2208eISSN2352-2216

SJR Q2✓ WOS SCIE✓ Scopus / SJR

/ 100

Medium Risk

Score Breakdown

✓ WoS SCIE/SSCI+25

✓ Scopus Q2+18

Total43

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

H-Index

CiteScore

View ↗

Scopus metric · on the journal’s page

SNIP

0.904

Total Works

731

Total Citations

4,207

2yr Mean Citedness

1.04

Free JIF alternative

Aims & Scope✦ Compiled from public sources

The Journal of Logical and Algebraic Methods in Programming publishes research in logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and computing systems. It also covers expansions to algebraic and categorical methods alongside foundational logic, and quantitative methods for system analysis and analytical models for cyber-physical systems.

AI-compiled from public web sources · verify on publisher page →

⚡ Speed vs Prestige

How does this journal balance review speed with impact level?

SJR Rank

Top 50% in field

General Information

Country / RegionUnited States

Primary LanguageEnglish

1st Year Published2013

Annual Volume~ 46 articles / year

StatusActive (last: 2026)

Total Publications731

Publisher OrgElsevier BV

Visit Journal Website

Submission Info

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?

Elsevier Inc.

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

2352-2208 / 2352-2216

✅

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.

LogicQ2

Computational Theory and MathematicsQ3

SoftwareQ3

Theoretical Computer ScienceQ3

Subject Classification

Web of Science Categories

Computer Science, Theory & MethodsLogic

Scopus Categories

LogicSoftwareTheoretical Computer ScienceComputational Theory and Mathematics

Research Topics (OpenAlex)

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgeDistributed systems and fault toleranceDiverse Scientific and Economic StudiesHuman auditory perception and evaluationEducational Robotics and EngineeringModel-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesSoftware Testing and Debugging Techniques