Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. - Nishanthan Kamaleson; David Parker 001; Jonathan E. Rowe (SPIN, 2016)

Model reduction techniques for probabilistic verification of Markov chains. - Nishanthan Kamaleson (2018)

Automatic Information Extraction from Electronic Documents Using Machine Learning. - Nishanthan Kamaleson; Dominique F. Chu; Fernando E. B. Otero (SGAI Conf., 2021)