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-09-01 to 2024-09-01.)
ArticleCitations
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings19
Composition and decomposition of multiparty sessions11
Matching logic explained11
Strategies, model checking and branching-time properties in Maude11
Static checking of GDPR-related privacy compliance for object-oriented distributed systems9
Certifying Findel derivatives for blockchain7
0.045312881469727