Brief Announcement: Distributed Synthesis of Fault-Tolerance. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (SSS, 2006)

Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (SSS, 2007)

Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. - Fuad Abujarad; Sandeep S. Kulkarni (ICDCS Workshops, 2008)

Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. - Fuad Abujarad; Sandeep S. Kulkarni (SRDS, 2009)

Multicore Constraint-Based Automated Stabilization. - Fuad Abujarad; Sandeep S. Kulkarni (SSS, 2009)

Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs - Fuad Abujarad; Borzoo Bonakdarpour; Sandeep S. Kulkarni (PDMC, 2009)

Weakest Invariant Generation for Automated Addition of Fault-Tolerance. - Fuad Abujarad; Sandeep S. Kulkarni (LAFT@LICS, 2009)

Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks. - Mahesh Arumugam; Arshad Jhumka; Fuad Abujarad; Sandeep S. Kulkarni (Guide to Wireless Mesh Networks, 2009)

Effect of Fairness in Model Checking of Self-stabilizing Programs. - Jingshu Chen; Fuad Abujarad; Sandeep S. Kulkarni (OPODIS, 2010)

Complexity Issues in Automated Model Revision without Explicit Legitimate State. - Fuad Abujarad; Sandeep S. Kulkarni (SSS, 2010)

Real-World User-Centered Design: The Michigan Workforce Background Check System. - Sarah J. Swierenga; Fuad Abujarad; Toni A. Dennis; Lori A. Post (HCI (12), 2011)

Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. - Fuad Abujarad; Sandeep S. Kulkarni (Theor. Comput. Sci., 2011)

Symbolic synthesis of masking fault-tolerant distributed programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (Distributed Comput., 2012)

Rap Backs: Continuous Workforce Monitoring to Improve Patient Safety in Long-Term Care. - Fuad Abujarad; Sarah J. Swierenga; Toni A. Dennis; Lori A. Post (HCI (11), 2013)

Towards scalable model checking of self-stabilizing programs. - Jingshu Chen; Fuad Abujarad; Sandeep S. Kulkarni (J. Parallel Distributed Comput., 2013)

Management of On-Line Registries Information for Patient Safety in Long-Term Care. - Fuad Abujarad; Sarah J. Swierenga; Toni A. Dennis; Lori A. Post (HCI (13), 2014)

The Impact of Usability on Patient Safety in Long-Term Care. - Fuad Abujarad; Sarah J. Swierenga; Toni A. Dennis; Lori A. Post (HCI (23), 2015)

The complexity of automated addition of fault-tolerance without explicit legitimate states. - Fuad Abujarad; Yiyan Lin; Borzoo Bonakdarpour; Sandeep S. Kulkarni (Distributed Comput., 2015)

Building an Informed Consent Tool Starting with the Patient: The Patient-Centered Virtual Multimedia Interactive Informed Consent (VIC). - Fuad Abujarad; Sandra Alfano; Tiffani J. Bright; Sneha Kannoth; Nicole Grant; Matthew Gueble; Peter Peduzzi; Geoffrey Chupp (AMIA, 2017)

The Role of UX in Government System Expansion. - Fuad Abujarad; Ian O'Bara; Sarah J. Swierenga; Eric D. Raile (HCI (20), 2017)

An Informed Consent Tool Starting with the Patient. - Fuad Abujarad; Sandra Alfano; Peter Peduzzi; Geoffrey Chupp (AMIA, 2018)

Technology, Informed Consent, and Genomic Research: Powering Scale and Adaptability. - Fuad Abujarad; Megan Doerr; Michelle A. Meyer; Stephanie A. Kraft; Tiffani J. Bright (AMIA, 2018)

The Importance of User-Centered Design in Performing Background Checks in Child Care. - Fuad Abujarad; Allissa Desloge; Kristina Carlson; Sarah J. Swierenga (HCI (20), 2018)

mHealth Tool for Patient-Centered Informed Consent. - Fuad Abujarad (AMIA, 2019)

Design and Evaluation of a Decision Support Risk Calculator for Radiotherapy for Older Women with Early-stage Breast Cancer. - Shi-Yi Wang; Fuad Abujarad (AMIA, 2019)

Patient-Focused Web-Based Health Tool Facilitating Self-Identifiction and Self-Disclosure of Elder Mistreatment in the Emergency Department Setting. - Fuad Abujarad; Esther Choo; Michael Pantalon; Karen Jubanyik; Dziura James; Chelsea Edwards; Gail D'Onofrio; Thomas Gill (AMIA, 2020)

Feasibility of a Self-Administrated Elder Abuse Digital Screening Tool for Use in Emergency Department Settings. - Fuad Abujarad; Esther Choo; Michael Pantalon; Karen Jubanyik; Dziura James; Chelsea Edwards; Gail D'Onofrio; Thomas Gill (AMIA, 2021)

Building a Digital Health Risk Calculator for Older Women with Early-Stage Breast Cancer. - Fuad Abujarad; Shi-Yi Wang; Davis Ulrich; Sarah S. Mougalian; Brigid K. Killelea; Liana Fraenkel; Cary P. Gross; Suzanne B. Evans (HCI (19), 2021)

Usability of a Digital Elder Mistreatment Screening Tool for Older Adults with Visual and Hearing Disabilities. - Sarah J. Swierenga; Jennifer Ismirle; Chelsea Edwards; Fuad Abujarad (HCI (19), 2021)

Implementation of a new childcare Workforce Background Check system. - Fuad Abujarad; Allissa Desloge; Kristina Carlson; Sarah J. Swierenga (J. Syst. Inf. Technol., 2021)

Feasibility of a Self-Administrated Digital Elder Abuse Intervention in the Primary Care Setting. - Fuad Abujarad; Peter Ellis; Chelsea Edwards; Brent C. Vander Wyk; Kristen Kraemer; Richard Marottoli (AMIA, 2022)