Works (6)
2016 journal article
Activity recognition for diabetic patients using a smartphone
Journal of Medical Systems, 40(12).
2016 article
Formal Understanding of Tradeoffs among Liveness and Safety Requirements
Kafali, O., Ajmeri, N., & Singh, M. P. (2016, September 1).
2016 article
NANE: Identifying Misuse Cases Using Temporal Norm Enactments
Kafali, O., Singh, M. P., & Williams, L. (2016, September 1). IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), pp. 136–145.
Contributors: L. Williams n, n & M. Singh n
2016 journal article
PISAGOR: a proactive software agent for monitoring interactions
Knowledge and Information Systems, 47(1), 215–239.
2016 article
Revani: Revising and Verifying Normative Specifications for Privacy
Kafaly, O., Ajmeri, N., & Singh, M. P. (2016, September 1). IEEE Intelligent Systems, Vol. 31, pp. 8–15.
2016 article
Towards characterization of photo-excited electron transfer and catalysis in natural and artificial systems using XFELs
Alonso-Mori, R., Asa, K., Bergmann, U., Brewster, A. S., Chatterjee, R., Cooper, J. K., … Yano, J. (2016, January 1). Faraday Discussions, Vol. 194, pp. 621–638.