Johan Bengtsson

UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems

Johan Bengtsson, Kim G. Larsen, Fredrik Larsson et al. · BRICS Report Series · 1996 · 192 citations · Full text

Computing, Computer Engineering, Computer Science +17

Variables influencing information security policy compliance

Teodor Sommestad, Jonas Hallberg, Kristoffer Lundholm et al. · Information Management & Computer Security · 2014 · 188 citations

Computing, Management Information Systems, Organizational Behavior +13

Web-Based STAR E-Learning Course Increases Empathy and Understanding in Dementia Caregivers: Results from a Randomized Controlled Trial in the Netherlands and the United Kingdom

Bart Hattink, Franka Meiland, Henriëtte G. van der Roest et al. · Journal of Medical Internet Research · 2015 · 174 citations · Full text

Medicine, Educational Technology, Special Education +17

Usability of a new electronic assistive device for community-dwelling persons with mild dementia

Franka Meiland, Ans Bouman, Stefan Sävenstedt et al. · Aging & Mental Health · 2012 · 99 citations

Medicine, Geriatric Medicine, Dementia +16

A user driven approach to develop a cognitive prosthetic to address the unmet needs of people with mild dementia

Richard Davies, Chris Nugent, Mark Donnelly et al. · Pervasive and Mobile Computing · 2008 · 61 citations

Medicine, Design, Assistive Technology +15