Journal of Logical and Algebraic Methods in Programming

2352-2208

Published by: Elsevier

https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming

H-index 10

Ranking & Metrics

Discipline name	Position	Best Scientists	Publications	D-Index
Computer Science	561	37	53	10

Additional Metrics

Number of Best Scientists*: 42

Documents by Best Scientists*: 56

Top 100 Ranked Scientists*: 0

SCIMAGO H-index: 23

SCIMAGO SJR: 0.442

Impact Factor: 1.2

Top Publications

Programming and symbolic computation in Maude

Francisco Durán;Steven Eker;Santiago Escobar;Narciso Martí-Oliet
(2020)

89 Citations
Generalized rewrite theories, coherence completion, and symbolic methods

José Meseguer
(2020)

35 Citations
Session-typed concurrent contracts

Hannah Gommerstadt;Limin Jia;Frank Pfenning
(2022)

28 Citations
Composition and decomposition of multiparty sessions

Franco Barbanera;Mariangiola Dezani-Ciancaglini;Ivan Lanese;Emilio Tuosto
(2021)

28 Citations
A Message-Passing Interpretation of Adjoint Logic

Klaas Pruiksma;Frank Pfenning
(2021)

26 Citations
A partial evaluation framework for order-sorted equational programs modulo axioms

María Alpuente;Angel Cuenca-Ortega;Santiago Escobar;José Meseguer
(2020)

14 Citations
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

Hans van Ditmarsch;Éric Goubault;Marijana Lazić;Jérémy Ledent
(2021)

14 Citations
Ground confluence of order-sorted conditional specifications modulo axioms

Francisco Durán;José Meseguer;Camilo Rocha
(2020)

13 Citations
Constructing optimized constraint-preserving application conditions for model transformation rules

Nebras Nassar;Jens Kosiol;Thorsten Arendt;Gabriele Taentzer
(2020)

11 Citations
Hybrid search plan generation for generalized graph pattern matching

Matthias Barkowsky;Holger Giese
(2020)

10 Citations

Related Online Degrees & Career Pathways

Exploring related online degrees can expand your career opportunities beyond traditional Computer Science roles. For those interested in emerging tech, an applied artificial intelligence bachelor offers specialized knowledge in machine learning and AI applications, which are increasingly critical across industries.

If you are passionate about sustainability, pursuing an environmental science degree provides insight into environmental challenges and solutions, aligning with tech-driven approaches to global issues.

For students aiming to accelerate their education, an accelerated computer science degree online can fast-track your entry into the workforce without compromising quality, blending flexibility with rigorous training.

Additionally, combining tech skills with engineering know-how is possible through an environmental engineering bachelor's degree online, preparing graduates for careers focused on developing sustainable technologies and infrastructure.

Choosing from these related degrees allows students to customize their learning paths and better align education with evolving industry demands.