Journal of Logical and Algebraic Methods in Programming

Aims & Scope

The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems.

All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

Topics of interest to the journal include: • Applications of algebras, co-algebra and categories to programming • Applications of proof theory and model theory to programming • Constraint programming • Foundations of Programming Paradigms • Logic programming • Logical Foundations of Program Security • Models and Analytical Models for Cyber-Physical Systems • Process Calculi • Programming Models • Quantitative Methods for System Analysis • Specification and verification of systems

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	1.2
2024	0.70

SJR (SCImago Journal Rank)

Year	Value
2024	0.442

Quartile

Year	Value
2024	Q2

h-index

Year	Value
2024	23

Journal Rank

Year	Value
2024	12807

Journal Citation Indicator

Year	Value
2024	190

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Programming with algebraic effects and handlers

  Citation: 109

  Authors: Andrej, Matija

• Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

  Citation: 71

  Authors: Maurice H., Alessandro, Stefania, Franco

• From distributed coordination to field calculus and aggregate computing

  Citation: 61

  Authors: Mirko, Jacob, Ferruccio, Giorgio, Roberto, Danilo

• Rewriting modulo SMT and open system analysis

  Citation: 57

  Authors: Camilo, José, César

• Programming and symbolic computation in Maude

  Citation: 49

  Authors: Francisco, Steven, Santiago, Narciso, José, Rubén, Carolyn

• Semantics of global view of choreographies

  Citation: 45

  Authors: Emilio, Roberto

• A theory of reversibility for Erlang

  Citation: 44

  Authors: Ivan, Naoki, Adrián, Germán

• Integrating deployment architectures and resource consumption in timed object-oriented models

  Citation: 40

  Authors: Einar Broch, Rudolf, S. Lizeth

• On topologies defined by irreducible sets

  Citation: 39

  Authors: Dongsheng, Weng Kin

• Designing context-aware systems: A method for understanding and analysing context in practice

  Citation: 38

  Authors: Sélinde, Marijn, Bram

---