Academic Journal
Q3Journal of Logical and Algebraic Methods in Programming
About Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming is a scholarly journal published by Elsevier Inc.. SCImago 2025 lists it in Q3, with an SJR of 0.307 and H-index of 55.
Coverage: 2014-2026. Research categories: Computational Theory and Mathematics (Q3); Logic (Q3); Software (Q3); Theoretical Computer Science (Q4).
Source-backed journal facts
Topics in published research
Logic, programming, and type systems; Formal Methods in Verification; Logic, Reasoning, and Knowledge; Distributed systems and fault tolerance; Diverse Scientific and Economic Studies; Human auditory perception and evaluation.
OpenAlex classifies topics from published works. These topics are not the publisher’s official aims and scope.
Reported open-access list prices
2,610.00 USD; 2,440.00 EUR; 2,090.00 GBP; 323,720.00 JPY
APC list prices reported by OpenAlex, which obtains this information from DOAJ. Confirm current charges, taxes, waivers and eligibility with the publisher; this is not a fee quotation.
Source: OpenAlex source record. Retrieved 2026-10-03. Source record updated 2026-10-02. OpenAlex metrics are different from SCImago metrics and the Clarivate Journal Impact Factor.
Journal Metrics
Quartile, SJR and the listed SCImago H-index use the 2025 imported SCImago dataset. A quartile may vary by subject category. Values without a source or reporting year are unverified historical entries. Verify the current Journal Impact Factor with Clarivate or the publisher before using it.
Aims & Scope
The publisher’s official aims and scope have not yet been verified for this profile. Use the journal website to check subject fit and accepted article types before submitting.
Recent Research Articles
Latest publications matched automatically by ISSN.
Formalising non-functional requirements templates for verifiable system design
Giacomo Cesaretti, Alessandro Fantechi, Stefania Gnesi, Laura Semini et al.
2027-01 · DOI: 10.1016/j.jlamp.2026.101182Testing the quantum anonymous transmission protocol
L. Ceragioli, F. Gadducci, G. Lomurno, G. Tedeschi et al.
2027-01 · DOI: 10.1016/j.jlamp.2026.101177Formalising the incremental execution of static quantum circuits
Alessandro Bocci, Giuseppe Bisicchia, Ernesto Pimentel, Antonio Brogi et al.
2027-01 · DOI: 10.1016/j.jlamp.2026.101174Proof-carrying payloads: End-to-end authorization for Pub/Sub messaging
Letterio Galletta
2027-01 · DOI: 10.1016/j.jlamp.2026.101173The decohered ZX-calculus
Titouan Carette, Daniela Cojocaru, Renaud Vilmart
2027-01 · DOI: 10.1016/j.jlamp.2026.101159KLAIM, certified: Mechanising flow logic for tuple-space coordination
Marino Miculan
2027-01 · DOI: 10.1016/j.jlamp.2026.101179Graph-based algorithms for testing convexity of 2DNF
Josué A. Ruiz, Amir Masoumzadeh, Padmavathi Iyer, Paliath Narendran et al.
2027-01 · DOI: 10.1016/j.jlamp.2026.101158Proof verification by polynomial fingerprinting
Mihai Prunescu
2027-01 · DOI: 10.1016/j.jlamp.2026.101169Unifying event structures via a logic over precedence
Paolo Baldan, Andrea Corradini
2027-01 · DOI: 10.1016/j.jlamp.2026.101176On efficient and sound restrictions of modal refinement
Davide Basile
2027-01 · DOI: 10.1016/j.jlamp.2026.101175Modeling rare metabolic diseases with reaction systems
Asma Bendjeddou, Linda Brodo, Moreno Falaschi, Caterina Graziani et al.
2027-01 · DOI: 10.1016/j.jlamp.2026.101185Runtime monitoring in Klaim through provably correct tuple-space checkpoints
Lorenzo Bettini, Rosario Pugliese, Francesco Tiezzi
2027-01 · DOI: 10.1016/j.jlamp.2026.101183On the algebraic analysis of runtime distribution of probabilistic programs
Michele Boreale, Luisa Collodi, Alessandro Pompa Di Gregorio
2027-01 · DOI: 10.1016/j.jlamp.2026.101181A concurrent commitment-based dialogue language for service contract negotiation
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2027-01 · DOI: 10.1016/j.jlamp.2026.101172Compositional backward shape analysis by means of bi-abduction
Claudio Bernardoni, Roberto Bruni, Lorenzo Gazzella, Roberta Gori et al.
2027-01 · DOI: 10.1016/j.jlamp.2026.101187A type system for chemical reactions
Paolo Milazzo
2027-01 · DOI: 10.1016/j.jlamp.2026.101180Supporting the resolution of microservice security smells
Francisco Ponce, Jacopo Soldani, Gabriele Squarciapino, Hernán Astudillo et al.
2027-01 · DOI: 10.1016/j.jlamp.2026.101178Partial order semantics and operational semantics for strand spaces, via Rocq
Matteo Busi, Riccardo Focardi, Joshua Guttman, Flaminia Luccio et al.
2027-01 · DOI: 10.1016/j.jlamp.2026.101186On sequentiality and well-bracketing in the π-calculus
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2026-10 · DOI: 10.1016/j.jlamp.2026.101189Graphical tests of causality
Ämin Baumeler, Eleftherios-Ermis Tselentis, Stefan Wolf
2026-09 · DOI: 10.1016/j.jlamp.2026.101133Reviews
Community Reviews
Version History
October 4, 2026 at 9:29 pm
October 2, 2026