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-04-01 to 2025-04-01.)
ArticleCitations
Editorial Board14
Editorial Board13
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic12
Formally verified animation for RoboChart using interaction trees9
Open compliance in multiparty sessions with partial typing7
A formal framework for security testing of automotive over-the-air update systems6
0.18298101425171