| |
| 2008 | ||
|---|---|---|
| 3 | EE | Gourinath Banda, John P. Gallagher: Analysis of Linear Hybrid Systems in CLP. LOPSTR 2008: 55-70 |
| 2007 | ||
| 2 | EE | Kim S. Henriksen, Gourinath Banda, John P. Gallagher: Experiments with a Convex Polyhedral Analysis Tool for Logic Programs CoRR abs/0712.2737: (2007) |
| 2005 | ||
| 1 | EE | John P. Gallagher, Kim S. Henriksen, Gourinath Banda: Techniques for Scaling Up Analyses Based on Pre-interpretations. ICLP 2005: 280-296 |
| 1 | John P. Gallagher | [1] [2] [3] |
| 2 | Kim S. Henriksen | [1] [2] |