Nishanthan Kamaleson

According to our database, Nishanthan Kamaleson authored at least 3 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Automatic Information Extraction from Electronic Documents Using Machine Learning.

Nishanthan Kamaleson, Dominique F. Chu, Fernando E. B. Otero

Proceedings of the Artificial Intelligence XXXVIII, 2021

2018

Model reduction techniques for probabilistic verification of Markov chains.

Nishanthan Kamaleson

PhD thesis, 2018

2016

Finite-Horizon Bisimulation Minimisation for Probabilistic Systems.

Nishanthan Kamaleson, David Parker, Jonathan E. Rowe

Proceedings of the Model Checking Software - 23rd International Symposium, 2016