OOIR: Observatory of International Research

Papers

(The TQCC of Mathematical Structures in Computer Science 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-12-01 to 2025-12-01.)

Article	Citations
An axiomatics and a combinatorial model of creation/annihilation operators	13
Preface: Advances in Homotopy Type Theory	13
A construction of free dcpo-cones	9
Game semantics of Martin-Löf type theory	7
Preface – MSCS	6
A point-free perspective on lax extensions and predicate liftings	6
Hom weak ω-categories of a weak ω-category	6
Substitution Principle and semidirect products	6
Automatic differentiation for ML-family languages: Correctness via logical relations	6
Monoidal weak ω-categories as models of a type theory	5
Z property for the shuffling calculus	5
Principal types as partial involutions	5
Learning quantum finite automata with queries	4
Exponentiable functors between synthetic $\boldsymbol{\infty}$ -categories	4
Implicational Kleene algebra with domain and the substructural logic of partial correctness	4
Divergences on monads for relational program logics	4
Groupoidal realizability for intensional type theory	3
On existence of equilibrium under social coalition structures	3
Abstract cyclic proofs	3
A foundation for synthetic algebraic geometry	3
Implicit computation complexity in higher-order programming languages	3
Foreword	3
Visibility and exploitation in social networks	3
String diagram rewrite theory II: Rewriting with symmetric monoidal structure	3
Weighted synchronous automata	3

Logical characterizations of algebraic circuit classes over integral domains	3
Preserving consistency in geometric modeling with graph transformations	3
Adding an implication to logics of perfect paradefinite algebras	2
A quantitative approach to global state composition	2
Preface	2
Proof-relevance in Bishop-style constructive mathematics	2
A categorical view of varieties of ordered algebras	2
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs	2
The Grothendieck construction in the context of tangent categories	2
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	2
From type theory to setoids and back	2
Univalent categories of modules	2
Apartness, sharp elements, and the Scott topology of domains	2
On Hofmann–Streicher universes	2
Computational synthetic cohomology theory in homotopy type theory	2
Limits and colimits in synthetic $\infty$ -categories	2
Weakest preconditions in fibrations	2