Journal of Logical and Algebraic Methods in Programming

Papers
(The H4-Index of Journal of Logical and Algebraic Methods in Programming is 8. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 500 papers]. The publications cover those that have been published in the past four years, i.e., from 2019-08-01 to 2023-08-01.)
ArticleCitations
From distributed coordination to field calculus and aggregate computing36
Programming and symbolic computation in Maude25
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings15
Generalized rewrite theories, coherence completion, and symbolic methods14
Multilevel coupled model transformations for precise and reusable definition of model behaviour10
Realisability of pomsets10
Composition and decomposition of multiparty sessions9
Matching logic explained8
Connecting open systems of communicating finite state machines8
0.0159010887146