Publications are subdivided into 'Refereed Conference Contributions',
'Academic Journal Papers', and 'Others'. See links below.
A further category contains a collection of papers on Formal Methods
edited for Computer Society of India Communications.
Refereed Conference Contributions