OOIR: Observatory of International Research

Papers

(The TQCC of Mathematical Structures in Computer Science is 1. 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
Preface: Advances in Homotopy Type Theory	15
Automatic differentiation for ML-family languages: Correctness via logical relations	10
Substitution Principle and semidirect products	10
An axiomatics and a combinatorial model of creation/annihilation operators	8
A point-free perspective on lax extensions and predicate liftings	8
Variable polyadicity without events: a type-theoretic analysis of event semantics	7
Game semantics of Martin-Löf type theory	7
A construction of free dcpo-cones	7
On traces in categories of contractions	6
Linear logic and the Hilbert scheme	6
Preface – MSCS	6
Principal types as partial involutions	5
On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis	5
Monoidal weak ω-categories as models of a type theory	4
Implicational Kleene algebra with domain and the substructural logic of partial correctness	4
Z property for the shuffling calculus	4
Divergences on monads for relational program logics	3
Learning quantum finite automata with queries	3
Visibility and exploitation in social networks	3
A foundation for synthetic algebraic geometry	3
Exponentiable functors between synthetic $\boldsymbol{\infty}$ -categories	3
Foreword	3
Logical characterizations of algebraic circuit classes over integral domains	3
Weighted synchronous automata	3
Groupoidal realizability for intensional type theory	3

Abstract cyclic proofs	3
Adding an implication to logics of perfect paradefinite algebras	3
A quantitative approach to global state composition	2
Apartness, sharp elements, and the Scott topology of domains	2
Univalent categories of modules	2
On Hofmann–Streicher universes	2
Relative completeness of arithmetical numberings	2
WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation	2
Computational synthetic cohomology theory in homotopy type theory	2
The Grothendieck construction in the context of tangent categories	2
Robustness, Scott continuity, and computability	1
From type theory to setoids and back	1
Limits and colimits in synthetic $\infty$ -categories	1
A short proof of the Frobenius property for generic fibrations	1
Multivariate functorial difference	1
Indexed and fibered structures for partial and total correctness assertions	1
A classification of bisimilarities for general Markov decision processes	1
Coherent Taylor expansion as a bimonad	1
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem	1
An approximation algorithm for the -prize-collecting multicut problem in trees with submodular penalties	1
Two-level type theory and applications	1
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	1
CHAD for expressive total languages	1
Transformation of any Verbrugge model to a bisimilar Veltman model	1
On notions of compactness, object classifiers, and weak Tarski universes	1
Characterizations of $\omega$ -Rudin spaces via sequence convergence	1
The order-K-ification monads	1
Special issue on logic and complexity	1
String diagram rewrite theory III: Confluence with and without Frobenius	1
Discrete Lawvere theories and monads	1
On higher-order communication in ambient calculi	1
Prior’s ideal language	1
Preface to the special issue on metric and differential semantics	1
On function spaces equipped with Isbell topology and Scott topology	1
A topological reading of coinductive predicates in dependent type theory	1