Journal of Logical and Algebraic Methods in Programming

Papers
(The median citation count of Journal of Logical and Algebraic Methods in Programming is 1. 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 2022-08-01 to 2026-08-01.)
ArticleCitations
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic13
Exception-sensitive program slicing12
Generation of algebraic data type values using evolutionary algorithms11
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar11
ElixirST: A session-based type system for Elixir modules10
Editorial Board9
Decomposing monolithic processes in a process algebra with multi-actions7
Bunch theory: Axioms, logic, applications and model7
Editorial Board7
On the inner structure of multirelations7
Bounded model checking of multitask PLC ST programs with preemption using rewriting modulo SMT6
Hoare-style logic for unstructured programs6
Compositional separation of control flow and data flow6
Efficient analysis of belief properties in process algebra6
Maude2Lean: Theorem proving for Maude specifications using Lean6
Verification of the ROS NavFn planner using executable specification languages5
Logic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday5
Fair termination of multiparty sessions5
Editorial Board5
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis5
Composition of synchronous communicating systems5
First order Büchi automata and their application to verification of LTL specifications5
Time distance-based computation of the DBM over-approximation of preemptive real-time systems5
An algebraic theory of nondeterministic finite automata5
Relation-changing models meet paraconsistency4
Unified opinion formation analysis in rewriting logic4
Rule and constraint based debugging of DBpedia queries4
Advancing orchestration synthesis for contract automata4
A dynamic logic with branching modalities4
A type language for distributed reactive components governed by communication protocols4
Capturing constrained constructor patterns in matching logic4
Semantics of quantum programming languages: Classical control, quantum control4
Back to the format: A survey on SOS for probabilistic processes4
From symbolic constraint automata to Promela4
Verification of mutable linear data structures and iterator-based algorithms in Dafny4
Program equivalence in a typed probabilistic call-by-need functional language3
Program slicing of Java programs3
Pythonic Existential Types3
Verification of time-bounded multiset rewriting properties3
Open compliance in multiparty sessions with partial typing3
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework3
Editorial message from the new Editor-in-Chief3
Trace preservation in B and Event-B refinements3
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems3
Probabilistic mediator: A coalgebraic perspective3
Session-based concurrency in Maude: Executable semantics and type checking3
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting2
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications2
Inferring RPO symbol orderings2
Monitorable hyperproperties of nonterminating systems2
Counterpart-based Quantified Temporal Logics2
Editorial Board2
Safe orchestrated multicomposition of systems of communicating finite state machines2
A memory-related vulnerability detection approach based on vulnerability model with Petri Net2
Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)2
Formal models for consent-based privacy2
Formal analysis of the application programming interface of the PVS verification system2
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems2
Location automata for synchronised shuffle expressions2
Comodule representations of second-order functionals2
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications2
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models2
Editorial Board2
Monadic second-order incorrectness logic for GP 22
A formal framework for distributed cyber-physical systems2
A Matching Logic Theory of Multi-hole Contexts2
A distribution semantics for probabilistic term rewriting2
Editorial Board1
Algebraic reasoning for timeliness-guided system design1
bGSL: An imperative language for specification and refinement of backtracking programs1
Realizability modulo theories1
Nominal anti-unification modulo equational theories1
Formalization of the inverse kinematics of three-fingered dexterous hand1
Editorial Board1
Formalizing CCS and π-calculus in Guarded Cubical Agda1
A rewriting logic semantics for the analysis of 1
DM-Check: Verifying invariants of concurrent systems by deductive model checking1
Preface of the PLACES 2023 special issue1
Journal of Logical and Algebraic Methods in Programming – Publisher's Note 20251
Editorial Board1
Program equivalence in an untyped, call-by-value functional language with uncurried functions1
Hypergraph Lambek grammars1
On difunctions1
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency1
Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification1
Efficient iterative programs with distributed data collections1
A formal framework for security testing of automotive over-the-air update systems1
On proving that an unsafe controller is not proven safe1
A framework for formal verification of robot kinematics1
A formal model for blockchain-based consent management in data sharing1
Editorial Board1
Quantum encoding of dynamic directed graphs1
Editorial Board1
Unification and anti-unification in applicative matching logic1
Editorial Board1
Partially typed multiparty sessions with internal delegation1
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks1
Coherent modal transition systems refinement1
Nothing new under the sum: A formal model of fast Fourier algorithms1
0.33228611946106