Jacob M. Howe

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Incremental closure for systems of two variables per inequality Theoretical Computer Science	2019-03-26	Paper
Two loop detection mechanisms: a comparison Lecture Notes in Computer Science	2019-01-15	Paper
Quadtrees as an abstract domain Electronic Notes in Theoretical Computer Science	2016-06-17	Paper
Abstracting numeric constraints with Boolean functions Information Processing Letters	2016-06-16	Paper
A pearl on SAT and SMT solving in Prolog Theoretical Computer Science	2012-06-25	Paper
Two variables per linear inequality as an abstract domain Logic Based Program Synthesis and Transformation	2011-03-04	Paper
A Pearl on SAT Solving in Prolog Functional and Logic Programming	2010-05-04	Paper
Logahedra: a new weakly relational domain Automated Technology for Verification and Analysis	2009-12-01	Paper
Program Development in Computational Logic Lecture Notes in Computer Science	2005-12-23	Paper
scientific article; zbMATH DE number 2085273 (Why is no real title available?)	2004-08-09	Paper
Efficient groundness analysis in Prolog Theory and Practice of Logic Programming	2004-03-01	Paper
Three optimisations for sharing Theory and Practice of Logic Programming	2004-03-01	Paper
Worst-case groundness analysis using definite Boolean functions Theory and Practice of Logic Programming	2004-03-01	Paper
Proof search in lax logic MSCS. Mathematical Structures in Computer Science	2002-03-07	Paper
scientific article; zbMATH DE number 1615255 (Why is no real title available?)	2001-07-08	Paper
scientific article; zbMATH DE number 1538027 (Why is no real title available?)	2000-12-03	Paper

Research outcomes over time

This page was built for person: Jacob M. Howe