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-04-01 to 2024-04-01.)
ArticleCitations
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings17
Composition and decomposition of multiparty sessions11
Matching logic explained11
Strategies, model checking and branching-time properties in Maude7
Static checking of GDPR-related privacy compliance for object-oriented distributed systems7
Interval-valued fuzzy reasoning method based on similarity measure6
Constructing optimized constraint-preserving application conditions for model transformation rules6
0.046608924865723