Publications

2021 B. Bollig, C. Di Guisto, A. Finkel, L. Laversa, E. Lozes and A. Suresh. A Universal Framework for Deciding Synchronizability. In Proceedings of the 32nd International Conference on Concurrency Theory (CONCUR’21),Paris, France, August 2021.

2020 B. Bollig, A. Finkel, and A. Suresh. Bounded Reachability Problems are Decidable in FIFO Machines. In Proceedings of the 31st International Conference on Concurrency Theory (CONCUR’20), volume 171 of Leibniz International Proceedings in Informatics, Vienna, Austria, September 2020. Received Best Paper Award (CONCUR 2020).

2019 A. Suresh. Termination, Boundedness and Reachability for Input-bounded FIFO Machines. Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, September 2019.

2016 S. Puthanveetil, M. Cho, A. Suresh. Estimation of the Parameters of Solar Cells from Current-Voltage Characteristics using Genetic Algorithm. International Journal on Soft Computing, Artificial Intelligence and Applications, February 2016.