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 2020-11-01 to 2024-11-01.)
ArticleCitations
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings21
Strategies, model checking and branching-time properties in Maude12
Composition and decomposition of multiparty sessions12
Matching logic explained11
Static checking of GDPR-related privacy compliance for object-oriented distributed systems10
Certifying Findel derivatives for blockchain7
Program slicing of Java programs6
0.10815596580505