Journal of Logical and Algebraic Methods in Programming

Papers
(The H4-Index of Journal of Logical and Algebraic Methods in Programming is 6. 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 2021-09-01 to 2025-09-01.)
ArticleCitations
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic17
Exception-sensitive program slicing16
Bunch theory: Axioms, logic, applications and model8
Editorial Board8
Editorial Board8
Maude2Lean: Theorem proving for Maude specifications using Lean7
Efficient analysis of belief properties in process algebra6
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar6
Verification of the ROS NavFn planner using executable specification languages6
Decomposing monolithic processes in a process algebra with multi-actions6
Generation of algebraic data type values using evolutionary algorithms6
ElixirST: A session-based type system for Elixir modules6
0.094145059585571