Search the dblp DataBase

Publications of Author

1. Jia Meng, Lawrence C. Paulson
   Experiments on Supporting Interactive Proof Using Resolution. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:372-384 [Conf]
   
2. Hans de Nivelle, Jia Meng
   Geometric Resolution: A Proof Procedure Based on Finite Model Search. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:303-317 [Conf]
   
3. Jia Meng, Claire Quigley, Lawrence C. Paulson
   Automation for interactive proof: First prototype. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:10, pp:1575-1596 [Journal]
   
4. Jia Meng, Claire Quigley, Lawrence C. Paulson
   Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596]. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:12, pp:1852- [Journal]
   
5. 
   A Termination Checker for Isabelle Hoare Logic. [Citation Graph (, )][DBLP]
   
   
6. 
   Enrichment constrained time-dependent clustering analysis for finding meaningful temporal transcription modules. [Citation Graph (, )][DBLP]
   
   
7. 
   Collaborative Spectrum Sensing from Sparse Observations Using Matrix Completion for Cognitive Radio Networks [Citation Graph (, )][DBLP]
   
   
8. 
   Collaborative Spectrum Sensing from Sparse Observations in Cognitive Radio Networks [Citation Graph (, )][DBLP]