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

Article	Citations
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	13
Exception-sensitive program slicing	12
Generation of algebraic data type values using evolutionary algorithms	11
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
ElixirST: A session-based type system for Elixir modules	10
Editorial Board	9
Decomposing monolithic processes in a process algebra with multi-actions	7
Bunch theory: Axioms, logic, applications and model	7
Editorial Board	7
On the inner structure of multirelations	7
Bounded model checking of multitask PLC ST programs with preemption using rewriting modulo SMT	6
Hoare-style logic for unstructured programs	6
Compositional separation of control flow and data flow	6
Efficient analysis of belief properties in process algebra	6
Maude2Lean: Theorem proving for Maude specifications using Lean	6
Editorial Board	5
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis	5
Composition of synchronous communicating systems	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
An algebraic theory of nondeterministic finite automata	5
Verification of the ROS NavFn planner using executable specification languages	5
Logic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday	5
Fair termination of multiparty sessions	5
Advancing orchestration synthesis for contract automata	4

A dynamic logic with branching modalities	4
A type language for distributed reactive components governed by communication protocols	4
Capturing constrained constructor patterns in matching logic	4
Semantics of quantum programming languages: Classical control, quantum control	4
Back to the format: A survey on SOS for probabilistic processes	4
From symbolic constraint automata to Promela	4
Verification of mutable linear data structures and iterator-based algorithms in Dafny	4
Relation-changing models meet paraconsistency	4
Unified opinion formation analysis in rewriting logic	4
Rule and constraint based debugging of DBpedia queries	4
Program equivalence in a typed probabilistic call-by-need functional language	3
Program slicing of Java programs	3
Pythonic Existential Types	3
Verification of time-bounded multiset rewriting properties	3
Open compliance in multiparty sessions with partial typing	3
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework	3
Editorial message from the new Editor-in-Chief	3
Trace preservation in B and Event-B refinements	3
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems	3
Probabilistic mediator: A coalgebraic perspective	3
Session-based concurrency in Maude: Executable semantics and type checking	3
Safe orchestrated multicomposition of systems of communicating finite state machines	2
A memory-related vulnerability detection approach based on vulnerability model with Petri Net	2
Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)	2
Formal models for consent-based privacy	2
Formal analysis of the application programming interface of the PVS verification system	2
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems	2
Location automata for synchronised shuffle expressions	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
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models	2
Editorial Board	2
Monadic second-order incorrectness logic for GP 2	2
A formal framework for distributed cyber-physical systems	2
A Matching Logic Theory of Multi-hole Contexts	2
A distribution semantics for probabilistic term rewriting	2
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting	2
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	2
Inferring RPO symbol orderings	2
Monitorable hyperproperties of nonterminating systems	2
Counterpart-based Quantified Temporal Logics	2
Editorial Board	2