Towards an automated assistant for clinical investigations. - Vivek Nigam; Tajana Ban Kirigin; Andre Scedrov; Carolyn L. Talcott; Max I. Kanovich; Ranko Perovic (IHI, 2012)

A Rewriting Framework for Activities Subject to Regulations. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott; Ranko Perovic (RTA, 2012)

A rewriting framework and logic for activities subject to regulations. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott; Ranko Perovic (Math. Struct. Comput. Sci., 2017)