Login / Signup
Ranko Perovic
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 1
Top Topics
Clinical Diagnosis
Lightweight
Theoretical Framework
Semi Automated
Top Venues
Math. Struct. Comput. Sci.
RTA
IHI
</>
Publications
</>
Max I. Kanovich
,
Tajana Ban Kirigin
,
Vivek Nigam
,
Andre Scedrov
,
Carolyn L. Talcott
,
Ranko Perovic
A rewriting framework and logic for activities subject to regulations.
Math. Struct. Comput. Sci.
27 (3) (2017)
Max I. Kanovich
,
Tajana Ban Kirigin
,
Vivek Nigam
,
Andre Scedrov
,
Carolyn L. Talcott
,
Ranko Perovic
A Rewriting Framework for Activities Subject to Regulations.
RTA
(2012)
Vivek Nigam
,
Tajana Ban Kirigin
,
Andre Scedrov
,
Carolyn L. Talcott
,
Max I. Kanovich
,
Ranko Perovic
Towards an automated assistant for clinical investigations.
IHI
(2012)