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 2020-05-01 to 2024-05-01.)

Article	Citations
Syntax and models of Cartesian cubical type theory	8
Three improvements to the top-down solver	8
Quasi-Nelson algebras and fragments	8
From Kruskal’s theorem to Friedman’s gap condition	6
String diagram rewrite theory III: Confluence with and without Frobenius	5
Bisimulation as a logical relation	5
Languages of higher-dimensional automata	5
Petri nets based on Lawvere theories	5
Two-level type theory and applications	4
Bicategories in univalent foundations	4
String diagram rewrite theory II: Rewriting with symmetric monoidal structure	4
Implicative algebras: a new foundation for realizability and forcing	4
A categorical view of varieties of ordered algebras	3
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs	3
Rewriting with generalized nominal unification	3
Two decades of automatic amortized resource analysis	3
Causal inference via string diagram surgery	3
Quantum circuits generating four-qubit maximally entangled states	2
On reduction and normalization in the computational core	2
Weakest preconditions in fibrations	2
Convenient antiderivatives for differential linear categories	2
Substitution Principle and semidirect products	2
Back to the Coordinated Attack Problem	2
Separating minimal valuations, point-continuous valuations, and continuous valuations	2
A domain-theoretic framework for robustness analysis of neural networks	2

Probability, valuations, hyperspace: Three monads on top and the support as a morphism	2
Forward analysis for WSTS, part I: completions	2
Finitary monads on the category of posets	2
A focused linear logical framework and its application to metatheory of object logics	2
Strictifying and taming directed paths in Higher Dimensional Automata	2
Detection and diagnosis of deviations in distributed systems of autonomous agents	2
Products and projective limits of continuous valuations on T₀ spaces	2
Implicit computation complexity in higher-order programming languages	2
Proof-relevance in Bishop-style constructive mathematics	2
Type-based analysis of logarithmic amortised complexity	2
Formalising nominal C-unification generalised with protected variables	2
Freely adjoining monoidal duals	2
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention	2
Preserving consistency in geometric modeling with graph transformations	2
Synthetic topology in Homotopy Type Theory for probabilistic programming	1
Metric monads	1
Confluence of algebraic rewriting systems	1
Semantic analysis of normalisation by evaluation for typed lambda calculus	1
Doctrines, modalities and comonads	1
Elementary fibrations of enriched groupoids	1
Constructive sheaf models of type theory	1
Modal descent	1
Higher-order pattern generalization modulo equational theories	1
A unified approach to some non-Hausdorff topological properties	1
A general framework for the semantics of type theory	1
NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability	1
Robustness, Scott continuity, and computability	1
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem	1
Stochastic linearized generalized alternating direction method of multipliers: Expected convergence rates and large deviation properties	1
Indexed type theories	1
Cubical methods in homotopy type theory and univalent foundations	1
Quantifiers on languages and codensity monads	1
Z property for the shuffling calculus	1
The costructure–cosemantics adjunction for comodels for computational effects	1
Triposes as a generalization of localic geometric morphisms	1
Indexed and fibered structures for partial and total correctness assertions	1
An improved primal-dual approximation algorithm for the k-means problem with penalties	1
Rogers semilattices of punctual numberings	1
Computing with continuous objects: a uniform co-inductive approach	1
Algebras of UTxO blockchains	1
Convolution and concurrency	1
Branching-time logics and fairness, revisited	1
Nilpotent types and fracture squares in homotopy type theory	1
Coherence for bicategorical cartesian closed structure	1
Dilations and information flow axioms in categorical probability	1
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability	1
Consistent disjunctive sequent calculi and Scott domains	1
Bounded ACh unification	1
The role of linearity in sharing analysis	1
A (machine-oriented) logic based on pattern matching	1

CHAD for expressive total languages