Jia Meng
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A comprehensive evaluation model of generalized linguistic-valued 2-tuple preference relations | 2018-10-22 | Paper |
| The Davis-Gut law and Lai law for finitely inhomogeneous walks Journal of Mathematical Inequalities | 2017-02-17 | Paper |
| Uncover context-specific gene regulation by transcription factors and micrornas using Bayesian sparse nonnegative factor regression Journal of Biological Systems | 2016-08-09 | Paper |
| Lightweight relevance filtering for machine-generated resolution problems Journal of Applied Logic | 2009-03-25 | Paper |
| Geometric Resolution: A Proof Procedure Based on Finite Model Search Automated Reasoning | 2009-03-12 | Paper |
| Translating higher-order clauses to first-order clauses Journal of Automated Reasoning | 2008-02-18 | Paper |
| Automated Reasoning Lecture Notes in Computer Science | 2007-09-25 | Paper |
| Automation for interactive proof: first prototype Information and Computation | 2006-10-25 | Paper |
Research outcomes over time
This page was built for person: Jia Meng
