Concepedia
Statistics
Publications
16
Citations
562
H-Index
13
Active since
2006
Affiliations
Yokohama National University(Current)
Imperial College London
University of Warwick
Miyagi University of Education
Institute for Cosmic Ray Research
Meng Jia is an author at Yokohama National University specializing in engineering, natural sciences, and neutrino astronomy.
Top concepts
EngineeringNatural SciencesNeutrino AstronomyPhysicsData ScienceComputer ScienceAutomated ReasoningPattern RecognitionNuclear AstrophysicsExperimental Nuclear Physics
Publications per year
2006–2024
Lightweight relevance filtering for machine-generated resolution problems
Meng Jia, Lawrence C. Paulson · Journal of Applied Logic · 2007 · 117 citations
Engineering, Information Retrieval, Data Science +9
Translating Higher-Order Clauses to First-Order Clauses
Meng Jia, Lawrence C. Paulson · Journal of Automated Reasoning · 2007 · 98 citations
Syntax, Engineering, Higher-order Clauses +8
Automation for interactive proof: First prototype
Meng Jia, Claire Quigley, Lawrence C. Paulson · Information and Computation · 2006 · 62 citations
Engineering, Automated Reasoning, Verification +7
Search for Astrophysical Electron Antineutrinos in Super-Kamiokande with 0.01% Gadolinium-loaded Water
Masayuki Harada, K. Abe, C. Bronner et al. · The Astrophysical Journal Letters · 2023 · 39 citations · Full text
Search for Cosmic-Ray Boosted Sub-GeV Dark Matter Using Recoil Protons at Super-Kamiokande
K. Abe, Y. Hayato, K. Hiraide et al. · Physical Review Letters · 2023 · 38 citations · Full text
Proton Recoils, Experimental Nuclear Physics, Engineering +15
1–5 of 16