Journal of Logical and Algebraic Methods in Programming

Papers
(The H4-Index of Journal of Logical and Algebraic Methods in Programming is 7. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-06-01 to 2026-06-01.)
ArticleCitations
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic12
Exception-sensitive program slicing11
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar11
Generation of algebraic data type values using evolutionary algorithms10
ElixirST: A session-based type system for Elixir modules10
Decomposing monolithic processes in a process algebra with multi-actions8
Editorial Board8
Editorial Board7
Maude2Lean: Theorem proving for Maude specifications using Lean7
Bunch theory: Axioms, logic, applications and model7
0.11022591590881