Keiichi Watanabe

1. Higher-Order Program Verification via HFL Model Checking
   2017/10/24 by Naoki Kobayashi, Takeshi Tsukada, Kobayashi, Naoki +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
2. Comprehensive Bayesian Exploration of Froggatt-Nielsen Mechanism
   2024/12/27 by Masahiro Ibe, Ibe, Masahiro, Satoshi Shirai +3 · 5 citations
   Physics and Astronomy · #FOS: Physical sciences #High Energy Physics - Phenomenology (hep-ph) #Model Reduction and Neural Networks
3. Global strong solutions to the compressible Navier--Stokes--Coriolis system for large data
   2024/11/05 by Mikihiro Fujii, Fujii, Mikihiro, Keiichi Watanabe +1 · 2 citations
   Earth and Planetary Sciences · Engineering · #Analysis of PDEs (math.AP) #FOS: Mathematics #Hydraulic Fracturing and Reservoir Analysis #Meteorological Phenomena and Simulations #Seismic Imaging and Inversion Techniques
4. Global existence of the Navier-Stokes-Korteweg equations with a non-decreasing pressure in L^p-framework
   2019/07/17 by Keiichi Watanabe, Watanabe, Keiichi · 1 citation
   Engineering · Mathematics · #35Q30 #76N10 #Advanced Mathematical Physics Problems #Analysis of PDEs (math.AP) #FOS: Mathematics #Navier-Stokes equation solutions #Stability and Controllability of Differential Equations
5. Normal Hilbert coefficients and elliptic ideals in normal two-dimensional singularities
   2020/12/10 by Tomohiro Okuma, Okuma, Tomohiro, Maria Evelina Rossi +5 · 2 citations
   Mathematics · #13G05 #13H10 #14J17 #14J27 #Algebraic Geometry and Number Theory #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics #Rings, Modules, and Algebras