1. Generating test cases for real-time systems based on symbolic models;Andrade;IEEE Transactions on Software Engineering,2013
2. Descriptive analysis of COVID-19 patients in the context of India;Bhatnagar;Journal of Interdisciplinary Mathematics,2020
3. Content-oriented user modeling for personalized response ranking in chatbots;Bingquan;IEEE/ACM Transactions on Audio, Speech, and Language Processing,2018
4. Disseminating medical knowledge: The PROforma approach;Fox;Artificial Intelligence in Medicine,1998
5. Guo C., S. Ren, Y. Jiang, P.-L. Wu, L. Sha, & R.B. Berlin, Transforming medical best practice guidelines to executable and verifiable statechart models, in 2016 ACM/IEEE 7th International Conference on Cyber-physical Systems (ICCPS), Vienna, Austria, April 2016, pp. 1–10, Available from https://doi.org/10.1109/ICCPS.2016.7479121.