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 2022-05-01 to 2026-05-01.)

Article	Citations
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	12
Exception-sensitive program slicing	10
Generation of algebraic data type values using evolutionary algorithms	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	10
ElixirST: A session-based type system for Elixir modules	9
Decomposing monolithic processes in a process algebra with multi-actions	8
Editorial Board	8
On the inner structure of multirelations	7
Bunch theory: Axioms, logic, applications and model	7
Editorial Board	7
Efficient analysis of belief properties in process algebra	6
Maude2Lean: Theorem proving for Maude specifications using Lean	6
Verification of the ROS NavFn planner using executable specification languages	5
Fair termination of multiparty sessions	5
Plotkin's call-by-value λ-calculus as a modal calculus	5
First order Büchi automata and their application to verification of LTL specifications	5
Time distance-based computation of the DBM over-approximation of preemptive real-time systems	5
Hoare-style logic for unstructured programs	5
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis	5
Logic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday	5
Composition of synchronous communicating systems	4
Unified opinion formation analysis in rewriting logic	4
A dynamic logic with branching modalities	4
Semantics of quantum programming languages: Classical control, quantum control	4
From symbolic constraint automata to Promela	4

A model of systems with modes and mode transitions	4
Expressive power and succinctness of the positive calculus of binary relations	4
Advancing orchestration synthesis for contract automata	4
A type language for distributed reactive components governed by communication protocols	4
An algebraic theory of nondeterministic finite automata	4
Back to the format: A survey on SOS for probabilistic processes	4
Relation-changing models meet paraconsistency	4
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems	3
Verification of mutable linear data structures and iterator-based algorithms in Dafny	3
Session-based concurrency in Maude: Executable semantics and type checking	3
Open compliance in multiparty sessions with partial typing	3
Capturing constrained constructor patterns in matching logic	3
Program slicing of Java programs	3
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework	3
Program equivalence in a typed probabilistic call-by-need functional language	3
Trace preservation in B and Event-B refinements	3
Probabilistic mediator: A coalgebraic perspective	3
Towards refinable choreographies	3
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
Editorial message from the new Editor-in-Chief	2
Monitorable hyperproperties of nonterminating systems	2
Formal models for consent-based privacy	2
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems	2
Editorial Board	2
Editorial Board	2
Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)	2
Comodule representations of second-order functionals	2
Location automata for synchronised shuffle expressions	2
Monadic second-order incorrectness logic for GP 2	2
Counterpart-based Quantified Temporal Logics	2
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	2
A distribution semantics for probabilistic term rewriting	2
Editorial Board	2
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models	2
A memory-related vulnerability detection approach based on vulnerability model with Petri Net	2
Formal analysis of the application programming interface of the PVS verification system	2
A formal framework for distributed cyber-physical systems	2
Editorial Board	2