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-11-01 to 2025-11-01.)

Article	Citations
Exception-sensitive program slicing	20
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	17
Bunch theory: Axioms, logic, applications and model	10
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar	9
Maude2Lean: Theorem proving for Maude specifications using Lean	8
Editorial Board	8
Generation of algebraic data type values using evolutionary algorithms	8
Editorial Board	8
ElixirST: A session-based type system for Elixir modules	6
Decomposing monolithic processes in a process algebra with multi-actions	6
Efficient analysis of belief properties in process algebra	6
First order Büchi automata and their application to verification of LTL specifications	6
Verification of the ROS NavFn planner using executable specification languages	6
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis	6
An algebraic theory of nondeterministic finite automata	5
Plotkin's call-by-value λ-calculus as a modal calculus	5
Fair termination of multiparty sessions	5
A model of systems with modes and mode transitions	5
The power of Tarski's relation algebra on trees	5
Logic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday	5
Editorial Board	5
Guest Editor's foreword	5
Time distance-based computation of the DBM over-approximation of preemptive real-time systems	5
Composition of synchronous communicating systems	4
Coalgebraic tools for randomness-conserving protocols	4

Semantics of quantum programming languages: Classical control, quantum control	4
From symbolic constraint automata to Promela	4
Expressive power and succinctness of the positive calculus of binary relations	4
Back to the format: A survey on SOS for probabilistic processes	4
A type language for distributed reactive components governed by communication protocols	4
A dynamic logic with branching modalities	4
Advancing orchestration synthesis for contract automata	3
Program equivalence in a typed probabilistic call-by-need functional language	3
Open compliance in multiparty sessions with partial typing	3
Editorial Board	3
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models	3
Trace preservation in B and Event-B refinements	3
Relation-changing models meet paraconsistency	3
A process calculus for privacy-preserving protocols in location-based service systems	3
Probabilistic mediator: A coalgebraic perspective	3
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework	3
Towards refinable choreographies	3
Verification of mutable linear data structures and iterator-based algorithms in Dafny	3
Capturing constrained constructor patterns in matching logic	3
Optimization of rewrite theories by equational partial evaluation	3
Program slicing of Java programs	3
Session-based concurrency in Maude: Executable semantics and type checking	3
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems	3
Monadic second-order incorrectness logic for GP 2	2
A memory-related vulnerability detection approach based on vulnerability model with Petri Net	2
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis	2
Editorial Board	2
Monitorable hyperproperties of nonterminating systems	2
Metalevel transformation of strategies	2
Comodule representations of second-order functionals	2
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications	2
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting	2
Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)	2
Formal analysis of the application programming interface of the PVS verification system	2
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	2
Location automata for synchronised shuffle expressions	2
Formal models for consent-based privacy	2
Book review	2
Editorial message from the new Editor-in-Chief	2
Editorial Board	2
A distribution semantics for probabilistic term rewriting	2
A Perron–Frobenius theorem for deciding matrix growth	2
A formal framework for distributed cyber-physical systems	2