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

Article	Citations
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	12
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar	11
Exception-sensitive program slicing	11
ElixirST: A session-based type system for Elixir modules	10
Generation of algebraic data type values using evolutionary algorithms	10
Decomposing monolithic processes in a process algebra with multi-actions	8
Editorial Board	8
Bunch theory: Axioms, logic, applications and model	7
Editorial Board	7
Maude2Lean: Theorem proving for Maude specifications using Lean	7
Efficient analysis of belief properties in process algebra	6
On the inner structure of multirelations	6
Bounded model checking of multitask PLC ST programs with preemption using rewriting modulo SMT	6
Compositional separation of control flow and data flow	6
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis	5
Fair termination of multiparty sessions	5
First order Büchi automata and their application to verification of LTL specifications	5
Hoare-style logic for unstructured programs	5
Plotkin's call-by-value λ-calculus as a modal calculus	5
Verification of the ROS NavFn planner using executable specification languages	5
Editorial Board	5
Time distance-based computation of the DBM over-approximation of preemptive real-time systems	5
A model of systems with modes and mode transitions	4
A dynamic logic with branching modalities	4
Unified opinion formation analysis in rewriting logic	4

An algebraic theory of nondeterministic finite automata	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
Logic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday	4
Relation-changing models meet paraconsistency	4
Composition of synchronous communicating systems	4
From symbolic constraint automata to Promela	4
Expressive power and succinctness of the positive calculus of binary relations	3
Advancing orchestration synthesis for contract automata	3
Program equivalence in a typed probabilistic call-by-need functional language	3
Trace preservation in B and Event-B refinements	3
Rule and constraint based debugging of DBpedia queries	3
Capturing constrained constructor patterns in matching logic	3
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework	3
Open compliance in multiparty sessions with partial typing	3
Verification of mutable linear data structures and iterator-based algorithms in Dafny	3
Semantics of quantum programming languages: Classical control, quantum control	3
Program slicing of Java programs	3
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems	3
A distribution semantics for probabilistic term rewriting	2
Safe orchestrated multicomposition of systems of communicating finite state machines	2
Inferring RPO symbol orderings	2
Comodule representations of second-order functionals	2
A memory-related vulnerability detection approach based on vulnerability model with Petri Net	2
Editorial message from the new Editor-in-Chief	2
Probabilistic mediator: A coalgebraic perspective	2
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications	2
Counterpart-based Quantified Temporal Logics	2
Formal models for consent-based privacy	2
Formal analysis of the application programming interface of the PVS verification system	2
Monadic second-order incorrectness logic for GP 2	2
Editorial Board	2
Verification of time-bounded multiset rewriting properties	2
Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)	2
Editorial Board	2
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	2
A formal framework for distributed cyber-physical systems	2
Location automata for synchronised shuffle expressions	2
Monitorable hyperproperties of nonterminating systems	2
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting	2
Towards refinable choreographies	2
Session-based concurrency in Maude: Executable semantics and type checking	2
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models	2