Jia Meng

Affiliations:
  • NICTA, Canberra, Australia
  • University of Cambridge, Computer Laboratory, UK (PhD 2005)


According to our database1, Jia Meng authored at least 8 papers between 2004 and 2009.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Lightweight relevance filtering for machine-generated resolution problems.
J. Appl. Log., 2009

2008
Translating Higher-Order Clauses to First-Order Clauses.
J. Autom. Reason., 2008

2007
A Termination Checker for Isabelle Hoare Logic.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006
Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596].
Inf. Comput., 2006

Automation for interactive proof: First prototype.
Inf. Comput., 2006

Geometric Resolution: A Proof Procedure Based on Finite Model Search.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
The integration of higher order interactive proof with first order automatic theorem proving.
PhD thesis, 2005

2004
Experiments on Supporting Interactive Proof Using Resolution.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004


  Loading...