Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luca Viganò
Hepatectomy With or Without the Thoraco-Abdominal Approach: Impact on Perioperative Outcome
HPB
Hepatology
Gastroenterology
Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Alpha-Beta Privacy
ACM Transactions on Privacy and Security
Quality
Reliability
Safety
Computer Science
Risk
A Formal Approach to Analyzing Cyber-Forensics Evidence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Logical Framework for Reasoning About Risk
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios
Frontiers in ICT
Information Systems
Computer Networks
Hardware
Communications
Architecture
Artificial Intelligence
Software
Automated and Efficient Analysis of Administrative Temporal RBAC Policies With Role Hierarchies
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Algebraic Intruder Deductions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimal Periodic Output Feedback Control: A Continuous Time Approach
IFAC Proceedings Volumes
