Journal Report

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Download PDF
Journal Information
Journal Title
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Publisher
ELSEVIER SCIENCE INC
ISSN
2352-2208
E-ISSN
2352-2216
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
Formalising non-functional requirements templates for verifiable system design
Giacomo Cesaretti, Alessandro Fantechi, Stefania Gnesi et al.
2027-1 Vol. 152 Pages 101182
DOI: 10.1016/j.jlamp.2026.101182
Testing the quantum anonymous transmission protocol
L. Ceragioli, F. Gadducci, G. Lomurno et al.
2027-1 Vol. 152 Pages 101177
DOI: 10.1016/j.jlamp.2026.101177
Formalising the incremental execution of static quantum circuits
Alessandro Bocci, Giuseppe Bisicchia, Ernesto Pimentel et al.
2027-1 Vol. 152 Pages 101174
DOI: 10.1016/j.jlamp.2026.101174
Encoding synchronous π-calculus into asynchronous π-calculus: A full-abstraction result for barbed congruence
Paola Quaglia, David Walker
2027-1 Vol. 152 Pages 101188
DOI: 10.1016/j.jlamp.2026.101188
Proof-carrying payloads: End-to-end authorization for Pub/Sub messaging
Letterio Galletta
2027-1 Vol. 152 Pages 101173
DOI: 10.1016/j.jlamp.2026.101173
On sequentiality and well-bracketing in the π-calculus
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2027-1 Vol. 152 Pages 101189
DOI: 10.1016/j.jlamp.2026.101189
The decohered ZX-calculus
Titouan Carette, Daniela Cojocaru, Renaud Vilmart
2027-1 Vol. 152 Pages 101159
DOI: 10.1016/j.jlamp.2026.101159
KLAIM, certified: Mechanising flow logic for tuple-space coordination
Marino Miculan
2027-1 Vol. 152 Pages 101179
DOI: 10.1016/j.jlamp.2026.101179
Graph-based algorithms for testing convexity of 2DNF
Josué A. Ruiz, Amir Masoumzadeh, Padmavathi Iyer et al.
2027-1 Vol. 152 Pages 101158
DOI: 10.1016/j.jlamp.2026.101158
Proof verification by polynomial fingerprinting
Mihai Prunescu
2027-1 Vol. 152 Pages 101169
DOI: 10.1016/j.jlamp.2026.101169
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 2, 2026 15:14