Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Naoki Kobayashi
Researcher
PaperFractal Structure of Isothermal Lines and Loops on the Cosmic Microwave BackgroundAuthorship / preprint / 2011PaperFragmentation of a viscoelastic food by human masticationAuthorship / preprint / 2010PaperComplexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-CalculusAuthorship / preprint / 2011PaperOn Word and Frontier Languages of Unsafe Higher-Order GrammarsAuthorship / preprint / 2016PaperRustHorn: CHC-based Verification for Rust Programs (full version)Authorship / preprint / 2020PaperGrammar compression with probabilistic context-free grammarAuthorship / preprint / 2020PaperConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative ProgramsAuthorship / preprint / 2020