Kuruvilla George Aiyankovil

According to our database, Kuruvilla George Aiyankovil authored at least 2 papers in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Creating new Program Proofs by Combining Abductive and Deductive Reasoning.

Kuruvilla George Aiyankovil, Diarmuid O'Donoghue, Rosemary Monahan

Proceedings of the Twelfth International Conference on Computational Creativity, 2021

Upcycling Formal Specifications for Similar Implementations with Arís.

Kuruvilla George Aiyankovil, Rosemary Monahan, Diarmuid P. O'Donoghue

Proceedings of the Workshops Proceedings for the 29th International Conference on Case-Based Reasoning co-located with the 29th International Conference on Case-Based Reasoning (ICCBR 2021), 2021