Jacob M. Howe
From MaRDI portal
Person:294782
Available identifiers
zbMath Open howe.jacob-mMaRDI QIDQ294782
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 | 2019-03-26 | Paper |
| Two loop detection mechanisms: A comparison | 2019-01-15 | Paper |
| Quadtrees as an abstract domain | 2016-06-17 | Paper |
| Abstracting numeric constraints with Boolean functions | 2016-06-16 | Paper |
| A pearl on SAT and SMT solving in Prolog | 2012-06-25 | Paper |
| Two Variables per Linear Inequality as an Abstract Domain | 2011-03-04 | Paper |
| A Pearl on SAT Solving in Prolog | 2010-05-04 | Paper |
| Logahedra: A New Weakly Relational Domain | 2009-12-01 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736508 | 2004-08-09 | Paper |
| Efficient groundness analysis in Prolog | 2004-03-01 | Paper |
| Three optimisations for sharing | 2004-03-01 | Paper |
| Worst-case groundness analysis using definite Boolean functions | 2004-03-01 | Paper |
| Proof search in lax logic | 2002-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723920 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518882 | 2000-12-03 | Paper |
Research outcomes over time
This page was built for person: Jacob M. Howe
