Travelled to:2 × Spain
Collaborated with:J.P.Gallagher K.S.Henriksen
Talks about:interpret (1) techniqu (1) analysi (1) system (1) linear (1) hybrid (1) analys (1) scale (1) base (1) pre (1)
Person: Gourinath Banda
DBLP: Banda:Gourinath
Contributed to:
2008
2005Wrote 2 papers:
- LOPSTR-2008-BandaG #analysis #hybrid #linear
- Analysis of Linear Hybrid Systems in CLP (GB, JPG), pp. 55–70.
- ICLP-2005-GallagherHB #analysis #scalability
- Techniques for Scaling Up Analyses Based on Pre-interpretations (JPG, KSH, GB), pp. 280–296.