Jia Meng

Available identifiers

zbMath Open meng.jiaMaRDI QIDQ1006730

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4690492	2018-10-22	Paper
The Davis-Gut law and Lai law for finitely inhomogeneous walks	2017-02-17	Paper
UNCOVER CONTEXT-SPECIFIC GENE REGULATION BY TRANSCRIPTION FACTORS AND microRNAs USING BAYESIAN SPARSE NONNEGATIVE FACTOR REGRESSION	2016-08-09	Paper
Lightweight relevance filtering for machine-generated resolution problems	2009-03-25	Paper
Geometric Resolution: A Proof Procedure Based on Finite Model Search	2009-03-12	Paper
Translating higher-order clauses to first-order clauses	2008-02-18	Paper
Automated Reasoning	2007-09-25	Paper
Automation for interactive proof: first prototype	2006-10-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jia Meng