dblp.uni-trier.dewww.uni-trier.de

Gourinath Banda

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)