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
Proving correctness of problem reductions using Dafny
Ander Alonso, Markel Barrena, Montserrat Hermo
2027-1 Vol. 152 Pages 101195
DOI: 10.1016/j.jlamp.2026.101195
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 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
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
Hierarchical unification procedures and their combinations
Serdar Erbatur, Andrew Marshall, Christophe Ringeissen
2027-1 Vol. 152 Pages 101197
DOI: 10.1016/j.jlamp.2026.101197
KLAIM, certified: Mechanising flow logic for tuple-space coordination
Marino Miculan
2027-1 Vol. 152 Pages 101179
DOI: 10.1016/j.jlamp.2026.101179
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 7, 2026 19:02