Ranko Perovic

According to our database, Ranko Perovic authored at least 3 papers between 2012 and 2017.

Collaborative distances:

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

2017

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

2012

A Rewriting Framework for Activities Subject to Regulations.

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Towards an automated assistant for clinical investigations.

Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic

Proceedings of the ACM International Health Informatics Symposium, 2012