Upcycling Formal Specifications for Similar Implementations with Arís. - Kuruvilla George Aiyankovil; Rosemary Monahan; Diarmuid P. O'Donoghue (ICCBR Workshops, 2021)

Creating new Program Proofs by Combining Abductive and Deductive Reasoning. - Kuruvilla George Aiyankovil; Diarmuid P. O'Donoghue; Rosemary Monahan (ICCC, 2021)

Harmonizing AI Data Governance: Profiling ISO/IEC 5259 to Meet the Requirements of the EU AI Act. - Kuruvilla George Aiyankovil; Dave Lewis 001 (JURIX, 2024)

Mapping Data Governance Requirements Between the European Union's AI Act and ISO/IEC 5259: A Semantic Analysis. - Kuruvilla George Aiyankovil; Julio Hernandez; Dave Lewis 001 (NXDG@SEMANTiCS, 2024)