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 Q3✓ WOS SCIE✓ Scopus / SJR

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.

📊 Standing in its field

Where this journal ranks among others in the same subject area.

SJR · Scopus

Top 75% in field

Clarivate’s JCR quartile is a separate ranking and may differ

SJR Scorei

0.307

H-Indexi

SNIPi

0.904

Total Worksi

731

Total Citationsi

4,207

2yr Mean Citednessi

1.04

Open Impact Factor 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 →

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—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

6/11 · 55%

✅

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

✅

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

A twelfth criterion — whether APC fees are clearly disclosed — is not scored here; it is left out of the total rather than counted as a failure. Publication charges appear in the metrics card above.

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

Publication & Citation Trend

Articles published

Citations received

559

2019

256

2020

260

2021

182

2022

185

2023

104

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.

Computational Theory and MathematicsQ3

LogicQ3

SoftwareQ3

Theoretical Computer ScienceQ4

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

Frequently asked questions about Journal of Logical and Algebraic Methods in Programming

Is Journal of Logical and Algebraic Methods in Programming a predatory journal?

PubScope has no integrity flags on record for Journal of Logical and Algebraic Methods in Programming: it is indexed in Web of Science, Scopus, and is not on DOAJ's withdrawn list. Indexing is a transparency signal, not a guarantee — always confirm fit and policies before submitting.

What is the impact factor of Journal of Logical and Algebraic Methods in Programming?

Journal of Logical and Algebraic Methods in Programming 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 1.04.

Is Journal of Logical and Algebraic Methods in Programming indexed in Scopus and Web of Science?

Journal of Logical and Algebraic Methods in Programming is indexed in Web of Science, Scopus.