| 2024 | SAFECOMP | Assurance Case Synthesis from a Curated Semantic Triplestore. | Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling |
| 2023 | SAFECOMP | RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. | Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng |
| 2022 | CCS | Model-Based Security Analysis in Additive Manufacturing Systems. | Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie |
| 2022 | FLOPS | Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description. | Basel Shbita, Abha Moitra |
| 2021 | SAFECOMP | Automating the Assembly of Security Assurance Case Fragments. | Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling |
| 2018 | RE | Towards Development of Complete and Conflict-Free Requirements. | Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners |
| 2017 | RE | Requirements Capture and Analysis in ASSERT(TM). | Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell |
| 2016 | AAAI | Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming. | Abha Moitra, Ravi Palla, Arvind Rangarajan |
| 1989 | ICALP | Time Lower Bounds For CREW-PRAM Computation Of Monotone Functions. | Gianfranco Bilardi, Abha Moitra |
| 1989 | ICPP | A Parallel Algorithm for Maximum Matching on Interval Graphs. | Abha Moitra, Richard C. Johnson |
| 1983 | PODC | Synthesis of Communicating Processes. | Abha Moitra |