Skip to Main Content
Abujarad's Digital Health Lab
YSM Home

INFORMATION FOR

Selected Publications

  • Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks Reviewed Book Chapters: M. Arumugam, A. Jhumka, F. Abujarad, and S. S. Kulkarni. Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks. In Guide to Wireless Mesh Networks, Springer, Editors: Sudip Misra, Subhas Chandra Misra, and Isaac Woungang, ISBN: 978-1-84800-908-0, 2009. (http://www.springer.com/computer/communications/book/978-1-84800-908-0)
  • Complexity Issues in Automated Model Revision Without Explicit Legitimate State Fuad Abujarad, and Sandeep S. Kulkarni. Complexity Issues in Automated Model Revision Without Explicit Legitimate State. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 6366, pp. 206-220, September-2010.
  • Effect of Fairness in Model Checking of Self-stabilizing Programs Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni. Effect of Fairness in Model Checking of Self-stabilizing Programs. International Conference On Principles Of Distributed Systems (OPODIS) .p.p. 135-138, December-2010.
  • Weakest Invariant Generation for Automated Addition of Fault-Tolerance Fuad Abujarad, and Sandeep S. Kulkarni. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Electronic Notes in Theoretical Computer Science (ENTCS). 5873, pp.3-15, December-2009
  • Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. Fuad Abujarad, Borzoo Bonakdarpour, and Sandeep S. Kulkarni. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. International Workshop on Parallel and Distributed Methods in verifiCation (PDMC), pp. 92-106. November -2009.
  • Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance Fuad Abujarad, and Sandeep S. Kulkarni. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. 28th International Symposium on Reliable Distributed Systems (SRDS), pp. 119-128, September-2009.
  • Weakest Invariant Generation for Automated Addition of Fault-Tolerance Fuad Abujarad, and Sandeep S. Kulkarni. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Workshop on Logical Aspects of Fault Tolerance (LAFT), ENTCS 258, pp. 3-15, August-2009.
  • Multicore Constraint-Based Automated Stabilization Fuad Abujarad, and Sandeep S. Kulkarni. Multicore Constraint-Based Automated Stabilization. The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 5873, pp.47-61, November-2009.
  • Automated Addition of Fault-Tolerance to SCR Toolset: A case study Fuad Abujarad, and Sandeep S. Kulkarni. Automated Addition of Fault-Tolerance to SCR Toolset: A case study. The Seventh International Workshop on Assurance in Distributed Systems and Networks (ADSN), in ICDCSW '08: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops,17-20, pp.539 – 544, June-2008.
  • istributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Fuad Abujarad. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4838, pp.21-36,November 2007.
  • Distributed Synthesis of Fault-Tolerance Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Fuad Abujarad. Distributed Synthesis of Fault-Tolerance. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4280, pp. 566-567, November 2006.
  • Automated Constraint-Based Addition of Nonmasking and Stabilizing Fault-Tolerance Abujarad F and Kulkarni SS. Automated Constraint-Based Addition of Nonmasking and Stabilizing Fault-Tolerance. Journal of Theoretical Computer Science. 2011; 412(33): 4228-4246.
  • Symbolic Synthesis of Masking Fault-tolerant Distributed Programs. Bonakdarpour B, Kulkarni SS, and Abujarad F. Symbolic Synthesis of Masking Fault-tolerant Distributed Programs. Springer Journal of Distributed Computing. 2012; 25(1): 83-108.
  • Towards scalable model checking of self-stabilizing programs. 1. Chen J, Abujarad F, Kulkarni SS. Towards scalable model checking of self-stabilizing programs. Journal of Parallel and Distributed Computing. 2013; 73(4): 400-410.
  • The complexity of automated addition of fault-tolerance without explicit legitimate states. Abujarad F, Lin Y, Bonakdarpour B, Kulkarni SS. The complexity of automated addition of fault-tolerance without explicit legitimate states. Springer journal of Distributed Computing (DC), 2014-8: 1-19
  • Back to the Bedside: Developing a Bedside Aid for Concussion and Brain Injury Decisions in the Emergency Department. 1. Melnick, E, Lopez, K, Hess, E, Abujarad, F, Brandt, C, Shiffman, R, and Post, L, Back to the Bedside: Developing a Bedside Aid for Concussion and Brain Injury Decisions in the Emergency Department. (2015) eGEMs (Generating Evidence & Methods to improve patient outcomes): Vol. 3: Iss. 2, Article 6.
  • Development and validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 1 Post, L. A., Conner, T. L., Oehmke, J. F. Abujarad, F., Cooney, L. M., Brandt, C., Page, C., Swierenga, S. J., Biroscak, B. J., Esposito, C., & Dziura, J. (2016). Development and validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 1, fundamental measurement. British Journal of Medicine and Medical Research, 14(1), 1-14
  • Development and validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 2 1. Post, L. A., Conner, T. L., Oehmke, J. F. Abujarad, F., Cooney, L. M., Brandt, C., Page, C., Swierenga, S. J., Biroscak, B. J., Esposito, C., & Dziura, J. (2016). Development and validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 2, prognostic accuracy. British Journal of Medicine and Medical Research, 14(1), 1-8.
  • Real-world user-centered design: The Michigan Workforce Background Check system. Swierenga, S J, Abujarad, F, Dennis, T A, & Post, L A. Real-world user-centered design: The Michigan Workforce Background Check system. In Salvendy, G., and Smith, M. J. (eds.): Human Interface, Part II, HCII 2011, LNCS 6772, 325-334.
  • Improving Patient Safety Through User-Centered Healthcare Background Check System Design. Swierenga, S J, Abujarad, F, Dennis, T A, & Post, L A. Improving Patient Safety Through User-Centered Healthcare Background Check System Design. Poster presentation at the Human Factors and Ergonomic Society Healthcare IT Symposium. Baltimore, MD. 2013
  • ap backs: Continuous workforce monitoring to improve patient safety in long-term care Abujarad, F, Swierenga, S J, Dennis, T A, and Post, L A. Rap backs: Continuous workforce monitoring to improve patient safety in long-term care. In Marcus, A. (ed.), Design, User Experience and Usability, HCII 2013, Part III, LNCS 8014, pp. 3-9. Springer-Verlag Berlin Heidelberg 2013.
  • Real-Time Screening to Improve Patient Safety in Long-term Care. Abujarad, F Swierenga, S J, Dennis, T A, & Post, L A. Real-Time Screening to Improve Patient Safety in Long-term Care. Poster Presentation, The International Symposium on Human Factors and Ergonomics in Health Care: Improving the Outcomes, Chicago, IL. 2014
  • Management of On-Line Registries Information for Patient Safety in Long-Term Care. Abujarad F, Swierenga S, Dennis T, Post L. Management of On-Line Registries Information for Patient Safety in Long-Term Care. Human Interface and the Management of Information. Information and Knowledge in Applications and Services. Vol 8522: Springer International Publishing; 2014:307-316.
  • mHealth as a Means to Address Health Disparities in Alcohol Use Disorders Among Spanish Speaking Latino ED Patients. Abujarad, F, Vaca, F, mHealth as a Means to Address Health Disparities in Alcohol Use Disorders Among Spanish Speaking Latino ED Patients. Poster Presentation, The New England Regional SAEM conference, Boston, MA. 2015
  • mHealth Tool for Alcohol Use Disorders Among Latinos in Emergency Department. 1. Abujarad, F, Nguyen, T, Vaca, F, mHealth Tool for Alcohol Use Disorders Among Latinos in Emergency Department. Poster Presentation, The International Symposium on Human Factors and Ergonomics in Health Care: Improving the Outcomes, Baltimore, MD. 2015
  • The Impact of Usability on Patient Safety in Long-Term Care Abujarad, F, Swierenga, S J, Dennis, T A, & Post, L A. The Impact of Usability on Patient Safety in Long-Term Care. Strategic Social Media and Usability, 2nd International Conference on HCI in Business. Springer International Publishing Switzerland, 2015. 221-231.
  • mHealth Tool for Alcohol Use Disorders Among Latinos in Emergency Department. 1. Abujarad, F, & Vaca, F. E. mHealth Tool for Alcohol Use Disorders Among Latinos in Emergency Department. Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care, 2015; 4(1): 12-19. doi: 10.1177/2327857915041005