OOIR: Observatory of International Research

Papers

(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. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-04-01 to 2025-04-01.)

Article	Citations
Editorial Board	14
Editorial Board	13
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	12
Formally verified animation for RoboChart using interaction trees	9
Open compliance in multiparty sessions with partial typing	7
A formal framework for security testing of automotive over-the-air update systems	6
Formalizing CCS and π-calculus in Guarded Cubical Agda	5
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks	5
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic	5
Program equivalence in a typed probabilistic call-by-need functional language	5
Advancing orchestration synthesis for contract automata	5
Metalevel transformation of strategies	5
Optimizing term rewriting with creeper trace transducers	5
Verification of dynamic bisimulation theorems in Coq	5
On proving that an unsafe controller is not proven safe	5
Event structures for the reversible early internal π-calculus	4
Verification of mutable linear data structures and iterator-based algorithms in Dafny	4
Capturing constrained constructor patterns in matching logic	4
A formal framework for distributed cyber-physical systems	4
Static checking of GDPR-related privacy compliance for object-oriented distributed systems	4
Coherent modal transition systems refinement	4
Trace preservation in B and Event-B refinements	4
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems	4
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems	4
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points	3

Editorial Board	3
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar	3
A Perron–Frobenius theorem for deciding matrix growth	3
Optimization of rewrite theories by equational partial evaluation	3
Program slicing of Java programs	3
Maude2Lean: Theorem proving for Maude specifications using Lean	3
Specification of systems with parameterised events: An institution-independent approach	3
Simulating and model checking membrane systems using strategies in Maude	3
A process calculus for privacy-preserving protocols in location-based service systems	3
Exception-sensitive program slicing	3
Partially typed multiparty sessions with internal delegation	3
Editorial Board	3
Editorial Board	3
Editorial Board	2
Probabilistic mediator: A coalgebraic perspective	2
Reasoning about distributed information with infinitely many agents	2
Editorial Board	2
A rewriting logic semantics for the analysis of P programs	2
Semantics of multiway dataflow constraint systems	2
Editorial Board	2
Protocol choice and iteration for the free cornering	2
Monk algebras and Ramsey theory	2
Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification	2
Generation of algebraic data type values using evolutionary algorithms	2
Fundamentals of compositional rewriting theory	2
ElixirST: A session-based type system for Elixir modules	2
Editorial Board	2
Editorial Board	2
Editorial Board	2
Bunch theory: Axioms, logic, applications and model	2
Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021)	2
A logical approach to graph databases	2