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
