Gourinath Banda

	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

Coauthor Index

1	John P. Gallagher	[1] [2] [3] [4]
2	Kim S. Henriksen	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page