Journal of Logical and Algebraic Methods in Programming

(The TQCC of Journal of Logical and Algebraic Methods in Programming is 2. 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.)
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
Determinizing monitors for HML with recursion7
Constructing optimized constraint-preserving application conditions for model transformation rules6
Ground confluence of order-sorted conditional specifications modulo axioms5
A logical study of group-size based social network creation5
Interval-valued fuzzy reasoning method based on similarity measure5
A partial evaluation framework for order-sorted equational programs modulo axioms5
Strategies, model checking and branching-time properties in Maude5
A message-passing interpretation of adjoint logic4
Simpler proofs with decentralized invariants4
Specifying with syntactic theory functors4
Introspection as an action in relational models4
A navigational logic for reasoning about graph properties4
Replicated data types that unify eventual consistency and observable atomic consistency4
Hybrid search plan generation for generalized graph pattern matching4
Computer says no: Verdict explainability for runtime monitors using a local proof system4
Ensuring liveness properties of distributed systems: Open problems4
On the modeling of optimal and automatized cloud application deployment4
Modal transition system encoding of featured transition systems4
Event structure semantics of (controlled) reversible CCS4
A verified proof checker for higher-order logic4
A dynamic logic for learning theory3
A core Erlang semantics for declarative debugging3
Synthesis of sorting algorithms using multisets in Theorema3
Algebraic solution of minimax single-facility constrained location problems with Chebyshev and rectilinear distances3
Latent semantic analysis of game models using LSTM3
Static checking of GDPR-related privacy compliance for object-oriented distributed systems3
A lightweight approach to smart contracts supporting safety, security, and privacy3
Reversible computation in nets with bonds3
The origins of the halting problem3
A linear-time–branching-time spectrum for behavioral specification theories3
Twenty years of coordination technologies: COORDINATION contribution to the state of art3
Simulating and model checking membrane systems using strategies in Maude3
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations3
Applications and extensions of context-sensitive rewriting3
Certifying Findel derivatives for blockchain3
A denotational semantics of textually aligned SPMD programs3
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks3
On the essence and initiality of conflicts in M-adhesive transformation syste3
Metalevel transformation of strategies3
Process calculi as a tool for studying coordination, contracts and session types3
Model checking for hybrid branching-time logics3
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking2
An abstract framework for choreographic testing2
Logics for Actor Networks: A two-stage constrained-hybridisation approach2
Graph transformation through graph surfing in reaction systems2
Probabilistic software product lines2
Free Kleene algebras with domain2
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes2
Monadic second-order incorrectness logic for GP 22
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude2
Knowledge representation and update in hierarchies of graphs2
Dynamic structural operational semantics2
Calculational relation-algebraic proofs in the teaching tool2
A collaborative access control framework for online social networks2
Formalization of functional variation in HOL Light2
Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs2
Actor-based model checking for Software-Defined Networks2
A modular framework for verifying versatile distributed systems2
A tableau construction for finite linear-time temporal logic2
A uniform approach to completions of posets2