Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Daniele Sgandurra
Formalizing Threat Models for Virtualized Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Deception-Based Protection Against Cryptographic Ransomware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Accelerating Two-Dimensional Page Walks for Virtualized Systems
ACM SIGPLAN Notices
Computer Science
Formalizing and Checking Web Service Discovery Models Using B.
Journal of Computer Science and Cybernetics
The Importance of Formalizing Computational Models of Face Adaptation Aftereffects
Frontiers in Psychology
Psychology
Integration of Virtualized Worker Nodes in Standard Batch Systems
Journal of Physics: Conference Series
Astronomy
Physics
Analyzing and Improving MPI Communication Performance in Overcommitted Virtualized Systems
Formalizing Geographical Models Using Specification and Description Language: The Wildfire Example
Structural Optimization of the Resource Consumption Forecasting Models in Virtualized Environment
Èlektronnoe modelirovanie
Formalizing Service Interactions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalizing Interoperability for Test Case Generation Purpose
International Journal on Software Tools for Technology Transfer
Information Systems
Software
