Jia Meng

From MaRDI portal
Person:1006730

Available identifiers

zbMath Open meng.jiaMaRDI QIDQ1006730

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q46904922018-10-22Paper
The Davis-Gut law and Lai law for finitely inhomogeneous walks2017-02-17Paper
UNCOVER CONTEXT-SPECIFIC GENE REGULATION BY TRANSCRIPTION FACTORS AND microRNAs USING BAYESIAN SPARSE NONNEGATIVE FACTOR REGRESSION2016-08-09Paper
Lightweight relevance filtering for machine-generated resolution problems2009-03-25Paper
Geometric Resolution: A Proof Procedure Based on Finite Model Search2009-03-12Paper
Translating higher-order clauses to first-order clauses2008-02-18Paper
Automated Reasoning2007-09-25Paper
Automation for interactive proof: first prototype2006-10-25Paper

Research outcomes over time

This page was built for person: Jia Meng

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1006730&oldid=5817137"
Powered by MediaWiki