Jacob M. Howe

ORCID

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 15

Top Venues

University of St Andrews, UK (PHD)

Education History

University of St Andrews, UK

PHD

Publications

Martin Brain, Jacob M. Howe
Widening for Systems of Two Variables Per Inequality. SC-Square@ISSAC (2023)
Ed Robbins, Andy King, Jacob M. Howe
Backjumping is Exception Handling. Theory Pract. Log. Program. 21 (2) (2021)
Wadha S. N. Alhamdan, Jacob M. Howe
Classification of Date Fruits in a Controlled Environment Using Convolutional Neural Networks. AMLTA (2021)
Edward Robbins, Andy King, Jacob M. Howe
Backjumping is Exception Handling. CoRR (2020)
Fawaz A. Mereani, Jacob M. Howe
Exact and Approximate Rule Extraction from Neural Networks with Boolean Features. IJCCI (2019)
Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez
Efficient Predicate Invention using Shared NeMuS. NeSy@IJCAI (2019)
Edjard Mota, Jacob M. Howe, Ana Carolina Melik Schramm, Artur S. d'Avila Garcez
Efficient predicate invention using shared "NeMuS". CoRR (2019)
Jacob M. Howe, Andy King, Axel Simon
Incremental Closure for Systems of Two Variables Per Inequality. Theor. Comput. Sci. 768 (2019)
Fawaz A. Mereani, Jacob M. Howe
Detecting Cross-Site Scripting Attacks Using Machine Learning. AMLTA (2018)
Fawaz A. Mereani, Jacob M. Howe
Preventing Cross-Site Scripting Attacks by Combining Classifiers. IJCCI (2018)
Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
Inductive Learning in Shared Neural Multi-Spaces. NeSy (2017)
Ana Carolina Melik Schramm, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
Category-based Inductive Learning in Shared NeMuS. NeSy (2017)
Milena Rodrigues Tenorio, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
Learning about Actions and Events in Shared NeMuS. NeSy (2017)
Jacob M. Howe, Edward Robbins, Andy King
Theory learning with symmetry breaking. PPDP (2017)
Edward Robbins, Jacob M. Howe, Andy King
Theory propagation and reification. Sci. Comput. Program. 111 (2015)
Edward Robbins, Jacob M. Howe, Andy King
Theory propagation and rational-trees. PPDP (2013)
Jacob M. Howe, Andy King
A pearl on SAT and SMT solving in Prolog. Theor. Comput. Sci. 435 (2012)
Jacob M. Howe, Andy King
Polyhedral Analysis Using Parametric Objectives. SAS (2012)
Jacob M. Howe, Andy King
A Pearl on SAT Solving in Prolog. FLOPS (2010)
Jacob M. Howe, Andy King, Charles Lawrence-Jones
Quadtrees as an Abstract Domain. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Jacob M. Howe, Andy King
Logahedra: A New Weakly Relational Domain. ATVA (2009)
Philip J. Charles, Jacob M. Howe, Andy King
Integer Polyhedra for Program Analysis. AAIM (2009)
Jacob M. Howe, Andy King
Efficient Groundness Analysis in Prolog. Theory Pract. Log. Program. 3 (1) (2003)
Jacob M. Howe, Andy King
Three Optimisations for Sharing. Theory Pract. Log. Program. 3 (2) (2003)
Axel Simon, Andy King, Jacob M. Howe
Two Variables per Linear Inequality as an Abstract Domain. LOPSTR (2002)
Jacob M. Howe, Andy King
Efficient Groundness Analysis in Prolog CoRR (2002)
Jacob M. Howe, Andy King
Three Optimisations for Sharing CoRR (2002)
Jacob M. Howe
Proof search in Lax Logic. Math. Struct. Comput. Sci. 11 (4) (2001)
Samir Genaim, Jacob M. Howe, Michael Codish
Worst-case groundness analysis using definite boolean functions. Theory Pract. Log. Program. 1 (5) (2001)
Jacob M. Howe, Andy King
Positive Boolean Functions as Multiheaded Clauses. ICLP (2001)
Jacob M. Howe, Andy King
Implementing Groundness Analysis with Definite Boolean Functions. ESOP (2000)
Jacob M. Howe, Andy King
Abstracting numeric constraints with Boolean functions. Inf. Process. Lett. 75 (1-2) (2000)
Jacob M. Howe, Andy King
Specialising Fininte Domain Programs Using Polyhedra. LOPSTR (1999)
Jacob M. Howe, Andy King
Specialising Finite Domain Programs Using Polyhedra. ECOOP Workshops (1999)
Jacob M. Howe
Two Loop Detection Mechanisms: A Comparision. TABLEAUX (1997)

Jacob M. Howe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jacob M. Howe