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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
J. Appl. Log., 2009
2008
2007
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
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
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004