![]() | ![]() |
| 2010 | ||
|---|---|---|
| 4 | Gourinath Banda, John P. Gallagher: Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. LPAR (Dakar) 2010: 27-45 | |
| 2008 | ||
| 3 | Gourinath Banda, John P. Gallagher: Analysis of Linear Hybrid Systems in CLP. LOPSTR 2008: 55-70 | |
| 2007 | ||
| 2 | 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 | 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] [4] |
| 2 | Kim S. Henriksen | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page