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. 500 papers]. The publications cover those that have been published in the past four years, i.e., from 2019-08-01 to 2023-08-01.)

Article	Citations
From distributed coordination to field calculus and aggregate computing	36
Programming and symbolic computation in Maude	25
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings	15
Generalized rewrite theories, coherence completion, and symbolic methods	14
Multilevel coupled model transformations for precise and reusable definition of model behaviour	10
Realisability of pomsets	10
Composition and decomposition of multiparty sessions	9
Matching logic explained	8
Connecting open systems of communicating finite state machines	8
Determinizing monitors for HML with recursion	7
Constructing optimized constraint-preserving application conditions for model transformation rules	6
Ground confluence of order-sorted conditional specifications modulo axioms	5
A logical study of group-size based social network creation	5
Interval-valued fuzzy reasoning method based on similarity measure	5
A partial evaluation framework for order-sorted equational programs modulo axioms	5
Strategies, model checking and branching-time properties in Maude	5
A message-passing interpretation of adjoint logic	4
Simpler proofs with decentralized invariants	4
Specifying with syntactic theory functors	4
Introspection as an action in relational models	4
A navigational logic for reasoning about graph properties	4
Replicated data types that unify eventual consistency and observable atomic consistency	4
Hybrid search plan generation for generalized graph pattern matching	4
Computer says no: Verdict explainability for runtime monitors using a local proof system	4
Ensuring liveness properties of distributed systems: Open problems	4

On the modeling of optimal and automatized cloud application deployment	4
Modal transition system encoding of featured transition systems	4
Event structure semantics of (controlled) reversible CCS	4
A verified proof checker for higher-order logic	4
A dynamic logic for learning theory	3
A core Erlang semantics for declarative debugging	3
Synthesis of sorting algorithms using multisets in Theorema	3
Algebraic solution of minimax single-facility constrained location problems with Chebyshev and rectilinear distances	3
Latent semantic analysis of game models using LSTM	3
Static checking of GDPR-related privacy compliance for object-oriented distributed systems	3
A lightweight approach to smart contracts supporting safety, security, and privacy	3
Reversible computation in nets with bonds	3
The origins of the halting problem	3
A linear-time–branching-time spectrum for behavioral specification theories	3
Twenty years of coordination technologies: COORDINATION contribution to the state of art	3
Simulating and model checking membrane systems using strategies in Maude	3
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations	3
Applications and extensions of context-sensitive rewriting	3
Certifying Findel derivatives for blockchain	3
A denotational semantics of textually aligned SPMD programs	3
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks	3
On the essence and initiality of conflicts in M-adhesive transformation syste	3
Metalevel transformation of strategies	3
Process calculi as a tool for studying coordination, contracts and session types	3
Model checking for hybrid branching-time logics	3
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking	2
An abstract framework for choreographic testing	2
Logics for Actor Networks: A two-stage constrained-hybridisation approach	2
Graph transformation through graph surfing in reaction systems	2
Probabilistic software product lines	2
Free Kleene algebras with domain	2
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes	2
Monadic second-order incorrectness logic for GP 2	2
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude	2
Knowledge representation and update in hierarchies of graphs	2
Dynamic structural operational semantics	2
Calculational relation-algebraic proofs in the teaching tool	2
A collaborative access control framework for online social networks	2
Formalization of functional variation in HOL Light	2
Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs	2
Actor-based model checking for Software-Defined Networks	2
A modular framework for verifying versatile distributed systems	2
A tableau construction for finite linear-time temporal logic	2
A uniform approach to completions of posets	2