Browse by Author

Conference Paper

Samuel, S and D'Souza, D and Komondoor, R (2023) Symbolic Fixpoint Algorithms for Logical LTL Games. In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 11 - 15 September 2023, Echternach, pp. 698-709.

Samuel, S and Mallik, K and Schmuck, AK and Neider, D (2020) Resilient Abstraction-Based Controller Design. In: 59th IEEE Conference on Decision and Control, CDC 2020, 14 - 18 Dec 2020, Virtual, Jeju Island; South Korea, pp. 2123-2129.

Journal Article

Sheethal, S and Ratheesh, M and Jose, SP and Sandya, S and Samuel, S and Madhavan, J (2023) Anti-insomnia Effect of a Polyherbal Formulation on P-chlorophenyalanine Induced Experimental Animal Model. In: Neurochemical Research .