Mathematical Structures in Computer Science

Papers
(The H4-Index of Mathematical Structures in Computer Science is 6. 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-11-01 to 2024-11-01.)
ArticleCitations
Syntax and models of Cartesian cubical type theory10
Three improvements to the top-down solver10
Languages of higher-dimensional automata9
Quasi-Nelson algebras and fragments8
Two-level type theory and applications6
String diagram rewrite theory II: Rewriting with symmetric monoidal structure6
Two decades of automatic amortized resource analysis6
0.039819955825806