Mining hierarchical temporal roles with multiple metrics von Stoller, Scott D., Bui, Thang

Volltext

ACTION-EHR: Patient-Centric Blockchain-Based Electronic Health Record Data Management for Cancer Care von Dubovitskaya, Alevtina, Baig, Furqan, Xu, Zhigang, Shukla, Rohit, Zambani, Pratik Sushil, Swaminathan, Arun, Jahangir, Md Majid, Chowdhry, Khadija, Lachhani, Rahul, Idnani, Nitesh, Schumacher, Michael, Aberer, Karl, Stoller, Scott D, Ryu, Samuel, Wang, Fusheng

Volltext

Greedy and evolutionary algorithms for mining relationship-based access control policies von Bui, Thang, Stoller, Scott D., Li, Jiajie

Volltext

Recursive rules with aggregation: a simple unified semantics von Liu, Yanhong A, Stoller, Scott D

Volltext

Founded semantics and constraint semantics of logic rules von Liu, Yanhong A, Stoller, Scott D

Volltext

Knowledge of uncertain worlds: programming with logical constraints von Liu, Yanhong A, Stoller, Scott D

Volltext

Neural predictive monitoring and a comparison of frequentist and Bayesian approaches von Bortolussi, Luca, Cairoli, Francesca, Paoletti, Nicola, Smolka, Scott A., Stoller, Scott D.

Volltext

Integrating Logic Rules with Everything Else, Seamlessly von LIU, YANHONG A., STOLLER, SCOTT D., TONG, YI, LIN, BO

Volltext

Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles von Phan, Dung, Yang, Junxing, Grosu, Radu, Smolka, Scott A., Stoller, Scott D.

Volltext

Abductive Analysis of Administrative Policies in Rule-Based Access Control von Gupta, Puneet, Stoller, Scott D., Zhongyuan Xu

Volltext

From Datalog Rules to Efficient Programs with Time and Space Guarantees von LIU, Yanhong A, STOLLER, Scott D

Volltext

Policy analysis for administrative role based access control without separate administration von Yang, Ping, Gofman, Mikhail I., Stoller, Scott D., Yang, Zijiang

Volltext

Optimizing aggregate- array computations in loops von LIU, Yanhong A, STOLLER, Scott D, NING LI, ROTHAMEL, Tom

Volltext

Policy analysis for Administrative Role-Based Access Control von Sasturkar, Amit, Yang, Ping, Stoller, Scott D., Ramakrishnan, C.R.

Volltext

Type inference for Parameterized Race-Free Java von AGARWAL, Rahul, STOLLER, Scott D

Volltext

Software monitoring with controllable overhead von Huang, Xiaowan, Seyster, Justin, Callanan, Sean, Dixit, Ketan, Grosu, Radu, Smolka, Scott A., Stoller, Scott D., Zadok, Erez

Volltext

Symbolic reachability analysis for parameterized administrative role-based access control von Stoller, Scott D., Yang, Ping, Gofman, Mikhail I., Ramakrishnan, C.R.

Volltext

Mining Attribute-Based Access Control Policies von Zhongyuan Xu, Stoller, Scott D.

Volltext

Model-checking multi-threaded distributed Java programs von STOLLER, Scott D

Volltext

Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring von Agarwal, Rahul, Wang, Liqiang, Stoller, Scott D.

Volltext