Personal information

Other IDs

Scopus Author ID: 7201401360

Activities

Collapse all

Employment (1)

City, University of London: London, London, GB

2001-10-01 to present | Senior Lecturer (Computer Science)
Employment
Source: Self-asserted source
Jacob M. Howe

Education and qualifications (1)

University of St Andrews: St Andrews, Scotland, GB

1995-10-01 to 1998-09-30 | PhD (Computer Science)
Education
Source: Self-asserted source
Jacob M. Howe

Works (29)

Rule Extraction from Neural Networks and Other Classifiers Applied to XSS Detection

2021 | Book chapter
DOI: 10.1007/978-3-030-70594-7_15
Contributors: Fawaz A. Mereani; Jacob M. Howe
Source: check_circle
Crossref

Backjumping is Exception Handling

Theory and Practice of Logic Programming
2020-11-16 | Journal article
DOI: 10.1017/S1471068420000435
Contributors: ED ROBBINS; ANDY KING; JACOB M. HOWE
Source: check_circle
Crossref

Exact and Approximate Rule Extraction from Neural Networks with Boolean Features

Proceedings of the 11th International Joint Conference on Computational Intelligence
2019 | Journal article
DOI: 10.5220/0008362904240433
ISBN: 9789897583841
Source: Self-asserted source
Jacob M. Howe

Incremental Closure for Systems of Two Variables Per Inequality

Theoretical Computer Science
2019-05 | Journal article
DOI: 10.1016/j.tcs.2018.12.001
Contributors: Jacob M. Howe; Andy King; Axel Simon
Source: check_circle
Crossref

Detecting Cross-Site Scripting Attacks Using Machine Learning

2018 | Book chapter
DOI: 10.1007/978-3-319-74690-6_20
Contributors: Fawaz A. Mereani; Jacob M. Howe
Source: check_circle
Crossref

Preventing Cross-Site Scripting Attacks by Combining Classifiers

Proceedings of the 10th International Joint Conference on Computational Intelligence - Volume 1: IJCCI
2018-09-18 | Journal article
DOI: 10.5220/0006894901350143
Source: Self-asserted source
Jacob M. Howe

Category-based inductive learning in shared NeMuS

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85037142188
Contributors: Melik Schramm, A.C.; De Souza Mota, E.; Howe, J.M.; D’Avila Garcez, A.S.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Inductive learning in shared neural multi-spaces

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85037152994
Contributors: De Souza Mota, E.; Howe, J.M.; D’Avila Garcez, A.S.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Learning about actions and events in shared NeMuS

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85037104002
Contributors: Tenório, M.R.; De Souza Mota, E.; Howe, J.M.; D’Avila Garcez, A.S.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Theory learning with symmetry breaking

ACM International Conference Proceeding Series
2017 | Conference paper
DOI: 10.1145/3131851.3131861
EID:

2-s2.0-85033681277
Contributors: Howe, J.M.; Robbins, E.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Theory propagation and reification

Science of Computer Programming
2015 | Journal article
DOI: 10.1016/j.scico.2014.05.013
EID:

2-s2.0-84940436741
Contributors: Robbins, E.; Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Theory propagation and rational-trees

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
2013 | Conference paper
DOI: 10.1145/2505879.2505901
EID:

2-s2.0-84885222044
Contributors: Robbins, E.; Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

A pearl on SAT and SMT solving in Prolog

Theoretical Computer Science
2012 | Journal article
DOI: 10.1016/j.tcs.2012.02.024
EID:

2-s2.0-84860217229
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Polyhedral Analysis Using Parametric Objectives

Static Analysis
2012 | Other
DOI: 10.1007/978-3-642-33125-1_6
Part of ISBN: 9783642331244
Part of ISSN: 0302-9743
Contributors: Jacob M. Howe; Andy King
Source: Self-asserted source
Jacob M. Howe via Crossref Metadata Search

A pearl on SAT solving in Prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-12251-4_13
EID:

2-s2.0-78651241956
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Quadtrees as an abstract domain

Electronic Notes in Theoretical Computer Science
2010 | Journal article
DOI: 10.1016/j.entcs.2010.09.008
EID:

2-s2.0-77957774579
Contributors: Howe, J.M.; King, A.; Lawrence-Jones, C.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Integer polyhedra for program analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-642-02158-9_9
EID:

2-s2.0-70350645191
Contributors: Charles, P.J.; Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Logahedra: A new weakly relational domain

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-642-04761-9_23
EID:

2-s2.0-71549151649
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Analysing logic programs by reasoning backwards

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-26844571721
Contributors: Howe, J.M.; King, A.; Lu, N.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Efficient groundness analysis in Prolog

Theory and Practice of Logic Programming
2003 | Journal article
DOI: 10.1017/S1471068402001485
EID:

2-s2.0-0345015449
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Three optimisations for sharing

Theory and Practice of Logic Programming
2003 | Journal article
DOI: 10.1017/S1471068402001497
EID:

2-s2.0-0344100080
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Two variables per linear inequality as an abstract domain

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003 | Book
EID:

2-s2.0-35248817838
Contributors: Simon, A.; King, A.; Howe, J.M.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Positive Boolean functions as multiheaded clauses

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001 | Book
EID:

2-s2.0-84937215509
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Proof search in Lax Logic

Mathematical Structures in Computer Science
2001 | Journal article
DOI: 10.1017/S0960129501003334
EID:

2-s2.0-35148885051
Contributors: Howe, J.M.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Worst-case groundness analysis using definite Boolean functions

Theory and Practice of Logic Programming
2001 | Journal article
EID:

2-s2.0-0344183346
Contributors: Genaim, S.; Codish, M.; Howe, J.M.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Abstracting numeric constraints with Boolean functions

Information Processing Letters
2000 | Journal article
DOI: 10.1016/S0020-0190(00)00081-8
EID:

2-s2.0-0034227998
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Implementing groundness analysis with definite boolean functions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2000 | Book
EID:

2-s2.0-84947254715
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Specialising finite domain programs using polyhedra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2000 | Book
EID:

2-s2.0-35248877841
Contributors: Howe, J.M.; King, A.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Two loop detection mechanisms: A comparison

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1997 | Book
DOI: 10.1007/BFb0027414
EID:

2-s2.0-84926373273
Contributors: Howe, J.M.
Source: Self-asserted source
Jacob M. Howe via Scopus - Elsevier

Peer review (4 reviews for 3 publications/grants)

Review activity for Expert systems with applications. (1)
Review activity for Innovations in systems and software engineering. (1)
Review activity for Mathematical methods of operations research. (2)
How many people are using ORCID?