Browsing by Author Craven, R

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 9 of 9
Issue DateTitleAuthor(s)
1-Jan-2008A formal framework for policy analysisCraven, R; Lobo, J; Lupu, E; Ma, J; Russo, A, et al
23-Dec-2015Argument Graphs and Assumption-Based ArgumentationCraven, R; Toni, F;
31-Dec-2014Automated Error-Detection and Repair for Compositional Software SpecificationsAlrajeh, D; Craven, R; Giannakopoulou, D; SalaÃŒn, G
1-Dec-2010Decomposition techniques for policy refinement.Craven, R; Lobo, J; Lupu, EC; Russo, A; Sloman, M
1-Dec-2009Expressive Policy Analysis with Enhanced System DynamicityCraven, R; Lobo, J; Lupu, EC; Ma, J; Russo, A, et al
1-Nov-2016Global patient outcomes after elective surgery: prospective cohort study in 27 low-, middle- and high-income countries.Ahmad, T; Bouwman, RA; Grigoras, I; Aldecoa, C; Hofer, C, et al
1-Jan-2005Logical properties of nonmonotonic causal theories and the action language C+Craven, R; Sergot, M
1-Jan-2011Policies, norms and actions: groundwork for a frameworkCraven, R
1-Dec-2009Security policy refinement using data integration: a position paper.Craven, R; Lobo, J; Lupu, E; Russo, A; Sloman, M, et al