pith. sign in

Naoki Kobayashi

Identifiers

  • name variant Naoki Kobayashi 0.60 · backfill

Papers (19)

  1. Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers cs.CR · 2026 · author #2
  2. Solvable Tuple Patterns and Their Applications to Program Verification cs.PL · 2025 · author #1
  3. Optimal Spectral Sensitivity of Multispectral Filter Array for Pathological Images eess.IV · 2018 · author #6
  4. Joint optimization of multispectral filter arrays and demosaicking for pathological images eess.IV · 2018 · author #6
  5. Dust Coagulation Regulated by Turbulent Clustering in Protoplanetary Disks astro-ph.EP · 2018 · author #2
  6. Packing Fraction of a Two-dimensional Eden Model with Random-Sized Particles cond-mat.stat-mech · 2017 · author #1
  7. Higher-Order Program Verification via HFL Model Checking cs.PL · 2017 · author #1
  8. Pumping Lemma for Higher-order Languages cs.FL · 2017 · author #2
  9. Proceedings Eighth Workshop on Intersection Types and Related Systems cs.LO · 2017 · author #1
  10. On Word and Frontier Languages of Unsafe Higher-Order Grammars cs.FL · 2016 · author #2
  11. Fractal Structure of Isothermal Lines and Loops on the Cosmic Microwave Background astro-ph.CO · 2010 · author #1
  12. Fragmentation of a viscoelastic food by human mastication physics.data-an · 2010 · author #1
  13. Maximum distributions of bridges of noncolliding Brownian paths cond-mat.stat-mech · 2008 · author #1
  14. Limit distributions of two-dimensional quantum walks quant-ph · 2008 · author #2
  15. Large Qudit Limit of One-dimensional Quantum Walks quant-ph · 2008 · author #2
  16. Two Bessel Bridges Conditioned Never to Collide, Double Dirichlet Series, and Jacobi Theta Function math.PR · 2007 · author #3
  17. Equivalence between quantum simultaneous games and quantum sequential games quant-ph · 2007 · author #1
  18. Resource Usage Analysis for the Pi-Calculus cs.PL · 2006 · author #1
  19. How Does Naked Singularity Look? gr-qc · 2002 · author #2

Mentions

  • 2508.20365 #1 · arxiv_oai · confidence 0.70 Naoki Kobayashi
  • 2605.13246 #2 · arxiv_oai · confidence 0.70 Naoki Kobayashi
  • 1012.1701 #1 · backfill · confidence 0.70 Naoki Kobayashi
  • 1002.0404 #1 · backfill · confidence 0.70 Naoki Kobayashi
  • 0808.3635 #1 · backfill · confidence 0.70 Naoki Kobayashi
  • 0802.2749 #2 · backfill · confidence 0.70 Naoki Kobayashi
  • 0802.1997 #2 · backfill · confidence 0.70 Naoki Kobayashi
  • 0711.1710 #3 · backfill · confidence 0.70 Naoki Kobayashi
  • 0711.0630 #1 · backfill · confidence 0.70 Naoki Kobayashi

Frequent Coauthors