Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Khaled Gaaloul
A Logical Framework for Reasoning About Delegation Policies in Workflow Management Systems
International Journal of Information and Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Related publications
Towards a Logical Framework for Reasoning About Risk
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
A Modal Logic for Reasoning About Economic Policies
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Reasoning About Delegation and Revocation Schemes in Answer Set Programming
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Role-Based Delegation Framework for Healthcare Information Systems
Framework Model for Workflow Management System
Journal of Applied Sciences
PDL-based Framework for Reasoning About Actions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SCW+: A Service Oriented Framework for Cloud Workflow Systems
Scientia Iranica
Workflow Management Systems
