2016 journal article
Activity recognition for diabetic patients using a smartphone
Journal of Medical Systems, 40(12).
2016 conference paper
Formal Understanding of Tradeoffs among Liveness and Safety Requirements
2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 17–18.
Event: at United States
2016 article
NANE: Identifying Misuse Cases Using Temporal Norm Enactments
2016 IEEE 24TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), pp. 136–145.
2016 journal article
PISAGOR: a proactive software agent for monitoring interactions
Knowledge and Information Systems, 47(1), 215–239.
2016 journal article
Revani: Revising and Verifying Normative Specifications for Privacy
IEEE Intelligent Systems, 31(5), 8–15.
2016 journal article
Towards characterization of photo-excited electron transfer and catalysis in natural and artificial systems using XFELs
FARADAY DISCUSSIONS, 194, 621–638.