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-01-01 to 2026-01-01.)
ArticleCitations
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic17
Exception-sensitive program slicing10
Bunch theory: Axioms, logic, applications and model9
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar9
On the inner structure of multirelations8
Generation of algebraic data type values using evolutionary algorithms8
Editorial Board7
Maude2Lean: Theorem proving for Maude specifications using Lean7
Decomposing monolithic processes in a process algebra with multi-actions7
0.72814989089966