| |
| 2008 | ||
|---|---|---|
| 6 | EE | Jia Meng, Lawrence C. Paulson: Translating Higher-Order Clauses to First-Order Clauses. J. Autom. Reasoning 40(1): 35-60 (2008) |
| 2007 | ||
| 5 | EE | Jia Meng, Lawrence C. Paulson, Gerwin Klein: A Termination Checker for Isabelle Hoare Logic. VERIFY 2007 |
| 2006 | ||
| 4 | EE | Hans de Nivelle, Jia Meng: Geometric Resolution: A Proof Procedure Based on Finite Model Search. IJCAR 2006: 303-317 |
| 3 | EE | Jia Meng, Claire Quigley, Lawrence C. Paulson: Automation for interactive proof: First prototype. Inf. Comput. 204(10): 1575-1596 (2006) |
| 2 | EE | Jia Meng, Claire Quigley, Lawrence C. Paulson: Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596]. Inf. Comput. 204(12): 1852 (2006) |
| 2004 | ||
| 1 | EE | Jia Meng, Lawrence C. Paulson: Experiments on Supporting Interactive Proof Using Resolution. IJCAR 2004: 372-384 |
| 1 | Gerwin Klein | [5] |
| 2 | Hans de Nivelle | [4] |
| 3 | Lawrence C. Paulson | [1] [2] [3] [5] [6] |
| 4 | Claire Quigley | [2] [3] |