AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Jacob M. Howe

Jacob M. Howe

City University London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 4330774
University of London
person_outline Jacob M. Howe's MOST POPULAR ARTICLES
1-) Two variables per linear inequality as an abstract domain International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
2-) Detecting cross-site scripting attacks using machine learning International conference on advanced machine learning technologies and …, 2018
3-) Proof search issues in some non-classical logics PQDT-Global, 1998
4-) Logahedra: A new weakly relational domain International Symposium on Automated Technology for Verification and …, 2009
5-) A pearl on SAT and SMT solving in Prolog Theoretical Computer Science 435, 43-55, 2012