Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Journal articles
, 2009, 'Directional Multi-scale Modeling of High-Resolution Computed Tomography (HRCT) Lung Images for Diffuse Lung Disease Classification', Lecture Notes in Computer Science 6038, 5702/2009, pp. 663 - 671, http://www.springerlink.com/content/8281467741666k21/
, 2009, 'Multi-level classification of emphysema in HRCT lung images', Pattern Analysis and Applications, 12, pp. 9 - 20
, 2009, 'Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis', ACM Transactions on Design Automation of Electronic Systems, 14
, 2008, 'Multi-level classification of emphysema in HRCT lung images using delegated classifiers', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5241 LNCS, pp. 59 - 66, http://dx.doi.org/10.1007/978-3-540-85988-8_8
, 2008, 'Multi-level classification of emphysema in HRCT lung images using delegated classifiers', Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 5241 LNCS, pp. 59 - 66, http://dx.doi.org/10.1007/978-3-540-85988-8_8
, 2008, 'Automatic Detection of Bronchial Dilatation in HRCT Lung Images', Journal of Digital Imaging, 21, pp. S148 - S163
, 2008, 'Automatically transforming and relating uppaal models of embedded systems', Embedded Systems Week 2008 - Proceedings of the 7th ACM International Conference on Embedded Software, EMSOFT 2008, pp. 59 - 68, http://dx.doi.org/10.1145/1450058.1450068
, 2007, 'Multi-level classification of emphysema in HRCT lung images', Pattern Analysis and Applications
, 2005, 'Knowledge-driven automated detection of Pleural Plaques and thickening in High Resolution CT of the lung', Lecture Notes in Computer Science, 3565, pp. 270 - 285
, 2005, 'Formal models in industry standard tools: An Argos block within simulink', International Journal of Software Engineering and Knowledge Engineering, 15, pp. 389 - 395
, 2005, 'Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures', IEE Proceedings-Computers and Digital Techniques, 152, pp. 20 - 27
, 2004, 'The anisotropic Gaussian kernel for SVM classification of HRCT images of the lung', Proceedings of the 2004 Intelligent Sensors Sensor Networks and Information Processing Conference Issnip 04, pp. 439 - 444
, 2004, 'Multi-level emphysema diagnosis of HRCT lung images in an incremental framework', Proceedings of SPIE the International Society for Optical Engineering, 5370 I, pp. 42 - 50, http://dx.doi.org/10.1117/12.533943
, 2004, 'Detection of bronchovascular pairs on HRCT lung images through relational learning', 2004 2nd IEEE International Symposium on Biomedical Imaging Macro to Nano, 2, pp. 1135 - 1138, http://dx.doi.org/10.1109/ISBI.2004.1398743
, 2004, 'Tabled Logic Programming based IP matching tool using forced simulation', IEE Proceedings-Computers and Digital Techniques, 151, pp. 199 - 288
, 2001, 'Forced Simulation: a technique for automating component reuse in embedded systems', ACM Transactions on Design Automation of Electronic Systems, pp. 602 - 628
, 2000, 'Foreword', IFAC Proceedings Volumes, 33, pp. iv - iv, http://dx.doi.org/10.1016/s1474-6670(17)36720-4
, 2000, 'Modelling & Representation Issues in Photogrammetry, Remote Sensing & Machine Vision', Journal of International Society for Photogrammetry and Remote Sensing, pp. 34 - 47
, 2000, 'Modelling and Representational Issues in Automated Feature Extraction from Aerial and Satellite Images', Journal of International Society for Photogrammetry and Remote Sensing, pp. 34 - 47
, 1998, 'Extending Statecharts with Temporal Logic', IEEE Transactions on Software Engineering, pp. 216 - 231
, 1997, 'A blackboard architecture of control for AutoLab', Proceedings of SPIE the International Society for Optical Engineering, 3208, pp. 471 - 482, http://dx.doi.org/10.1117/12.290318
, 1994, 'Comparing RTL and FNLOG- timing properties in real-time systems', IFAC-PapersOnLine, 27, pp. 113 - 117, http://dx.doi.org/10.1016/s1474-6670(17)45760-0
, 1993, 'A statecharts-based specification and verification of real-time job scheduling systems', Control Engineering Practice, 1, pp. 107 - 114, http://dx.doi.org/10.1016/0967-0661(93)92108-G
, 1986, 'Computer-aided brightness temperature map of Indian subcontinent-inference on soil moisture variations', Remote Sensing of Environment, 20, pp. 195 - 207, http://dx.doi.org/10.1016/0034-4257(86)90023-4
, 1984, 'CAPABILITY OF INDIAN SATELLITE BHASKARA TV-DATA TO IDENTIFY LAND FEATURES.', Proceedings of the International Symposium on Remote Sensing of Environment, 2, pp. 759 - 763
, 1984, 'Capability of Bhaskara-II satellite microwave radiometer brightness temperature data to discriminate soil moisture conditions of Indian landmass', Advances in Space Research, 4, pp. 91 - 96, http://dx.doi.org/10.1016/0273-1177(84)90396-X
, 1984, 'Capability of Bhaskara-II satellite microwave radiometer brightness temperature data to discriminate soil moisture conditions of Indian landmass.', Remote Sensing from Satellites, pp. 91 - 96