Nicola Paoletti

Islam, M. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., … Paoletti, N. (2016). Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. CMSB. Presented at the. Springer. Retrieved from http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16

Mehmood, U., Paoletti, N., Phan, D., Grosu, R., Lin, S., Stoller, S. D., … Smolka, S. A. (2018). Declarative vs Rule-based Control for Flocking Dynamics. Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/3167132.3167222

Islam, M. A., Lim, H., Paoletti, N., Abbas, H., Jiang, Z., … Cyranka, J. (2016). Cybercardia project: Modeling, verification and validation of implantable cardiac devices. 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Presented at the. IEEE.