Skip to Main Content

INFORMATION FOR

Fuad Abujarad, PhD, MSc

Associate Professor of Emergency Medicine

Contact Information

Fuad Abujarad, PhD, MSc

Lab Location

Office Location

Mailing Address

  • Emergency Medicine

    464 Congress Ave, Suite 264F

    New Haven, CT 06519

    United States

Research Summary

Dr. Abujarad’s primary research area is in digital health. Currently, Dr. Abujarad is utilizing Digital Health to improve patient health outcomes while decreasing costs and unnecessary hospitalizations and emergency department visits. His specific research interests focus on the area of Digital Health, Gerontechnology, Elder Mistreatment, Informed Consent, and systems that provide real-time background searches. His overarching aim is to apply his in-depth knowledge and methodological expertise to address major health disparities in the older adult population by developing technologies that optimize the human interface of complex systems.

Currently, his research is focused on developing and testing elder mistreatment screening and identifications tools as well as a web-based patient-centered virtual multimedia interactive informed consent tool to enhance the quality of care and patient safety. This research was recently funded by AHRQ, CMS, and NIH.


Specialized Terms: Gerontechnology, Elder Mistreatment, Digital Informed Consent, Digital Health, Digital Background Checks.


Extensive Research Description

Dr. Abujarad is currently the Principal Investigator (PI) on the "Virtual cOaching in making Informed Choices on Elder Mistreatment Self-Disclosure" (VOICES) project funded by NIA/NIH. He is also the PI on the grants “Patient Centered Virtual Multimedia Interactive Informed Consent (VIC)” funded by Agency for Healthcare Research and Quality (AHRQ), “Health Information Technology to Prevent Abuse, Neglect, and Exploitation” and the “Michigan Workforce Background Check-Enhancement Project” from the Center for Medicare and Medicaid Services (CMS). He is also a Co-Investigator grant for Testing of a Community Complex Care Response Team to Improve Geriatric Public Health Outcomes fund by RWJF. Also, he is a Co-Investigator on the grants “Automated Bilingual Computerized Alcohol Screening & Intervention in Latinos” from National Institutes of Health (NIH), and “Clinical Decision Support for Mild Traumatic Brain Injury” from Agency for Healthcare Research and Quality's (AHRQ). He also serves as co-investigator on an R01 funded randomized control trial in the Yale Emergency Department. The tool will be used to reduce emergency department recidivism and to determine the impact of HIT in a high volume emergency department.

On the “Patient Centered Virtual Multimedia Interactive Informed Consent (VIC)” project, Dr. Abujarad leads this AHRQ-funded study to develop a digital health tool to enhance the traditional informed consent process by presenting the informed consent to patients and clearly explaining the purpose, process, risks, benefits and alternatives to medical procedures. VIC was successfully evaluated in a research study to demonstrate that it can facilitate the study of complex interventions in real-world settings, and will be explored in future research opportunities.

To this end, Dr. Abujarad has successfully secured a grant on the very important topic of patient safety and quality of care. He is the Principal Investigator on the Michigan Workforce Background Check – Enhancement grant from Department of Health and Human Services Center for Medicare and Medicaid Services (CMS) awarded for utilizing the web-based applications to better protect patients receiving long-term care. The system he is currently developing will save time and money for health care facilities and will vet healthcare worker backgrounds to better protect patients. A similar system he designed for a Department of Health and Human Service pilot study continues to be used for five years after the end of the study. This project has been named the national model for best design practices for a comprehensive background checks to protect vulnerable adults receiving long-term care services.

Dr. Abujarad's work focuses on both the theoretical aspects of the software development as well as on building patient-centered tools. His work has been motivated by an important observation in distributed computing called fault-tolerance. Moreover, as part of software engineering, it is often necessary to modify a program to add fault-tolerance to faults that were not considered in the original design. With this understanding, he developed new algorithms for automated synthesis in addition to parallelizing existing algorithms. He has done a significant advance in the field of automated synthesis. He co-authored a book chapter titled Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks in Guide to Wireless Mesh Networks. He has published and presented widely in the top engineering journals on automated model revision topics.

He published and presented widely on human-computer interaction and automated model revision topics. He was the principal investigator on a federally funded research project that applied engineering principles to improve the safe administration of opioids in patient-controlled analgesia in both inpatient and home-based primary care settings. Also, he was the Yale-PI on the development of the Delaware Background Check System for the Delaware Health and Social Services Department, the Criminal History System (CHS) for the Washington State Department of Social & Health Services, and the State Of Maine Department of Health and Human Services to develop the Maine Background Check Program (MEBCP).

Coauthors

Research Interests

Medical Informatics; Mobile Health Units; Quality of Health Care; Software Design; Public Health Informatics; Patient Safety

Public Health Interests

Aging; Behavioral Health; Bioinformatics; Clinical Trials; Ethics; Health Care Management

Research Images

Selected Publications

  • The Process of Translating and Culturally Adapting a Digital Elder Abuse InterventionGarcia M, Pena-Solorzano D, Edwards C, Abujarad F. The Process of Translating and Culturally Adapting a Digital Elder Abuse Intervention International Journal Of Translation And Interpretation Studies 2022, 2: 07-26. DOI: 10.32996/ijtis.2022.2.1.2.
  • Patient-Centered Digital Screener for Elder Abuse in the Emergency DepartmentAbujarad F, Choo E, Dziura J, Edwards C, Pantalon M, Jubanyik K, D'Onofrio G, Gill T. Patient-Centered Digital Screener for Elder Abuse in the Emergency Department Innovation In Aging 2021, 5: 152-152. PMCID: PMC8682507, DOI: 10.1093/geroni/igab046.580.
  • Self-Administrated Elder Abuse Screening Tool for Older Adults With Visual and Hearing DisabilitiesSwierenga S, Abujarad F, Ismirle J, Edwards C. Self-Administrated Elder Abuse Screening Tool for Older Adults With Visual and Hearing Disabilities Innovation In Aging 2021, 5: 151-151. PMCID: PMC8682151, DOI: 10.1093/geroni/igab046.581.
  • Implementation of a new childcare Workforce Background Check systemAbujarad F, Desloge A, Carlson K, Swierenga S. Implementation of a new childcare Workforce Background Check system Journal Of Systems And Information Technology 2021, 23: 245-265. DOI: 10.1108/jsit-10-2019-0203.
  • Building a Digital Health Risk Calculator for Older Women with Early-Stage Breast CancerAbujarad F, Wang S, Ulrich D, Mougalian S, Killelea B, Fraenkel L, Gross C, Evans S. Building a Digital Health Risk Calculator for Older Women with Early-Stage Breast Cancer 2021, 12780: 389-402. DOI: 10.1007/978-3-030-78224-5_27.
  • Usability of a Digital Elder Mistreatment Screening Tool for Older Adults with Visual and Hearing DisabilitiesSwierenga S, Ismirle J, Edwards C, Abujarad F. Usability of a Digital Elder Mistreatment Screening Tool for Older Adults with Visual and Hearing Disabilities 2021, 12780: 343-360. DOI: 10.1007/978-3-030-78224-5_24.
  • Digital Solutions to Improve the Informed Consent Process for Clinical TrialsAbujarad F, Lizbinski R, Ibrahim H. Digital Solutions to Improve the Informed Consent Process for Clinical Trials Health Policy And Technology 2021, 10: 10-12. DOI: 10.1016/j.hlpt.2020.11.004.
  • Perceived Value of Using a Digital Tool to Screen for Elder Mistreatment in the Emergency DepartmentAbujarad F, Gill T, Pantalon M, Jubanyik K, Dziura J, D’Onofrio G, Choo E. Perceived Value of Using a Digital Tool to Screen for Elder Mistreatment in the Emergency Department Innovation In Aging 2020, 4: 195-195. PMCID: PMC7740753, DOI: 10.1093/geroni/igaa057.631.
  • Digital Health Tool to Assist Older Adults in Self-Disclosing Elder MistreatmentAbujarad F, Choo E, Pantalon M, Jubanyik K, Dziura J, Edwards C, D’Onofrio G, Gill T. Digital Health Tool to Assist Older Adults in Self-Disclosing Elder Mistreatment Innovation In Aging 2020, 4: 755-756. PMCID: PMC7743726, DOI: 10.1093/geroni/igaa057.2724.
  • Building Digital Health Tools for Older Adults With DisabilitiesAbujarad F, Swierenga S, Edwards C. Building Digital Health Tools for Older Adults With Disabilities Innovation In Aging 2020, 4: 861-861. PMCID: PMC7743024, DOI: 10.1093/geroni/igaa057.3177.
  • 404 Emergency Department Tablet-Based Screening Tool for Elder AbuseJubanyik K, Choo E, Pantalon M, Dziura J, Edwards C, Gill T, D'Onofrio G, Abujarad F. 404 Emergency Department Tablet-Based Screening Tool for Elder Abuse Annals Of Emergency Medicine 2020, 76: s154. DOI: 10.1016/j.annemergmed.2020.09.420.
  • IMPROVING THE PERSONAL CARE ASSISTANT WORKFORCE THROUGH TRAINING, DATA, AND TECHNOLOGYAbujarad F, Swierenga S, Luz C, Hanson K, Curtin C, Luo Z, Swanson-Aprill L. IMPROVING THE PERSONAL CARE ASSISTANT WORKFORCE THROUGH TRAINING, DATA, AND TECHNOLOGY Innovation In Aging 2019, 3: s667-s667. PMCID: PMC6841470, DOI: 10.1093/geroni/igz038.2467.
  • The Importance of User-Centered Design in Performing Background Checks in Child CareAbujarad F, Desloge A, Carlson K, Swierenga S. The Importance of User-Centered Design in Performing Background Checks in Child Care 2018, 10920: 149-157. DOI: 10.1007/978-3-319-91806-8_12.
  • The Role of UX in Government System ExpansionAbujarad F, O’Bara I, Swierenga S, Raile E. The Role of UX in Government System Expansion 2017, 10290: 559-569. DOI: 10.1007/978-3-319-58640-3_40.
  • Development and Validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 1, Fundamental MeasurementPost L, Conner T, Oehmke J, Abujarad F, Cooney L, Brandt C, Page C, Swierenga S, Biroscak B, Esposito C, Dziura J. Development and Validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 1, Fundamental Measurement Journal Of Advances In Medicine And Medical Research 2016, 14: 1-14. DOI: 10.9734/bjmmr/2016/23875.
  • Development and Validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 2, Prognostic AccuracyPost L, Conner T, Oehmke J, Abujarad F, Cooney L, Brandt C, Page C, Swierenga S, Biroscak B, Esposito C, Dziura J. Development and Validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 2, Prognostic Accuracy Journal Of Advances In Medicine And Medical Research 2016, 14: 1-8. DOI: 10.9734/bjmmr/2016/23877.
  • Development and validation of the Emergency Department Geriatric Readmission Assessment at Yale (ED GRAY): Part 1Post, 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 21. 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.
  • The Impact of Usability on Patient Safety in Long-Term CareAbujarad F, Swierenga S, Dennis T, Post L. The Impact of Usability on Patient Safety in Long-Term Care 2015, 9191: 221-231. DOI: 10.1007/978-3-319-20895-4_21.
  • 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
  • The Impact of Usability on Patient Safety in Long-Term CareAbujarad, 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.
  • The complexity of automated addition of fault-tolerance without explicit legitimate statesAbujarad F, Lin Y, Bonakdarpour B, Kulkarni S. The complexity of automated addition of fault-tolerance without explicit legitimate states Distributed Computing 2014, 28: 201-219. DOI: 10.1007/s00446-014-0227-2.
  • 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
  • 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.
  • Management of On-Line Registries Information for Patient Safety in Long-Term CareAbujarad F, Swierenga S, Dennis T, Post L. Management of On-Line Registries Information for Patient Safety in Long-Term Care 2014, 8522: 307-316. DOI: 10.1007/978-3-319-07863-2_30.
  • Improving Patient Safety through User-Centered Healthcare Background Check System DesignSwierenga S, Abujarad F, Dennis T, Post L. Improving Patient Safety through User-Centered Healthcare Background Check System Design Proceedings Of The International Symposium On Human Factors And Ergonomics In Health Care 2013, 2: 21-26. DOI: 10.1177/2327857913021005.
  • Towards scalable model checking of self-stabilizing programsChen J, Abujarad F, Kulkarni S. Towards scalable model checking of self-stabilizing programs Journal Of Parallel And Distributed Computing 2013, 73: 400-410. DOI: 10.1016/j.jpdc.2012.12.009.
  • 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.
  • 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 careAbujarad, 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.
  • Rap Backs: Continuous Workforce Monitoring to Improve Patient Safety in Long-Term CareAbujarad F, Swierenga S, Dennis T, Post L. Rap Backs: Continuous Workforce Monitoring to Improve Patient Safety in Long-Term Care 2013, 8014: 3-9. DOI: 10.1007/978-3-642-39238-2_1.
  • 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.
  • Symbolic synthesis of masking fault-tolerant distributed programsBonakdarpour B, Kulkarni S, Abujarad F. Symbolic synthesis of masking fault-tolerant distributed programs Distributed Computing 2011, 25: 83-108. DOI: 10.1007/s00446-011-0139-3.
  • Automated constraint-based addition of nonmasking and stabilizing fault-toleranceAbujarad F, Kulkarni S. Automated constraint-based addition of nonmasking and stabilizing fault-tolerance Theoretical Computer Science 2011, 412: 4228-4246. DOI: 10.1016/j.tcs.2011.02.008.
  • Automated Constraint-Based Addition of Nonmasking and Stabilizing Fault-ToleranceAbujarad F and Kulkarni SS. Automated Constraint-Based Addition of Nonmasking and Stabilizing Fault-Tolerance. Journal of Theoretical Computer Science. 2011; 412(33): 4228-4246.
  • 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.
  • Real-World User-Centered Design: The Michigan Workforce Background Check SystemSwierenga S, Abujarad F, Dennis T, Post L. Real-World User-Centered Design: The Michigan Workforce Background Check System 2011, 6772: 325-334. DOI: 10.1007/978-3-642-21669-5_39.
  • Complexity Issues in Automated Model Revision without Explicit Legitimate StateAbujarad F, Kulkarni S. Complexity Issues in Automated Model Revision without Explicit Legitimate State 2010, 6366: 206-220. DOI: 10.1007/978-3-642-16023-3_18.
  • Complexity Issues in Automated Model Revision Without Explicit Legitimate StateFuad 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 ProgramsJingshu 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.
  • Effect of Fairness in Model Checking of Self-stabilizing ProgramsChen J, Abujarad F, Kulkarni S. Effect of Fairness in Model Checking of Self-stabilizing Programs 2010, 6490: 135-138. DOI: 10.1007/978-3-642-17653-1_11.
  • Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed ProgramsAbujarad F, Bonakdarpour B, Kulkarni S. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs Electronic Proceedings In Theoretical Computer Science 2009, 14: 92-106. DOI: 10.4204/eptcs.14.7.
  • Weakest Invariant Generation for Automated Addition of Fault-ToleranceAbujarad F, Kulkarni S. Weakest Invariant Generation for Automated Addition of Fault-Tolerance Electronic Notes In Theoretical Computer Science 2009, 258: 3-15. DOI: 10.1016/j.entcs.2009.12.010.
  • Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-ToleranceAbujarad F, Kulkarni S. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance 2009, 119-128. DOI: 10.1109/srds.2009.11.
  • Stabilizing Interference-Free Slot Assignment for Wireless Mesh NetworksReviewed 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)
  • Multicore Constraint-Based Automated StabilizationFuad 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.
  • Weakest Invariant Generation for Automated Addition of Fault-ToleranceFuad 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.
  • Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-ToleranceFuad 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-ToleranceFuad 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.
  • Multicore Constraint-Based Automated StabilizationAbujarad F, Kulkarni S. Multicore Constraint-Based Automated Stabilization 2009, 5873: 47-61. DOI: 10.1007/978-3-642-05118-0_4.
  • Stabilizing Interference-Free Slot Assignment for Wireless Mesh NetworksArumugam M, Jhumka A, Abujarad F, Kulkarni S. Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks 2009, 77-118. DOI: 10.1007/978-1-84800-909-7_4.
  • Automated Addition of Fault-Tolerance to SCR Toolset: A Case StudyAbujarad F, Kulkarni S. Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study 2008, 539-544. DOI: 10.1109/icdcs.workshops.2008.12.
  • Automated Addition of Fault-Tolerance to SCR Toolset: A case studyFuad 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 ModelBorzoo 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-Tolerant Programs in the High Atomicity ModelBonakdarpour B, Kulkarni S, Abujarad F. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model 2007, 4838: 21-36. DOI: 10.1007/978-3-540-76627-8_5.
  • Distributed Synthesis of Fault-ToleranceBorzoo 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.
  • Brief Announcement: Distributed Synthesis of Fault-ToleranceBonakdarpour B, Kulkarni S, Abujarad F. Brief Announcement: Distributed Synthesis of Fault-Tolerance 2006, 4280: 566-567. DOI: 10.1007/978-3-540-49823-0_40.
  • Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed ProgramsBonakdarpour B, Abujarad F, Kulkarni S. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs DOI: 10.21236/ada487982.