Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Enol Fernández-del-Castillo
Integrating PROOF Analysis in Cloud and Batch Clusters
Journal of Physics: Conference Series
Astronomy
Physics
Related publications
Data Integrity Proof and Secure Computation in Cloud Computing
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Integrating Implicit Induction Proofs Into Certified Proof Environments
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental and Batch Planar Simplification of Dense Point Cloud Maps
Robotics and Autonomous Systems
Control
Systems Engineering
Software
Computer Science Applications
Mathematics
Mobile Cloud Computing Integrating Cloud, Mobile Computing, and Networking Services Through Virtualization
Design and Use of Virtualization Technology in Cloud Computing
Cost Efficient Batch Processing in Amazon Cloud With Deadline Awareness
Statistical Analysis of Satellite-Observed Trade Wind Cloud Clusters in the Western North Pacific
Tellus
Batch Auditing for Multi-Client Dynamic Data in Multi-Cloud Storage
International Journal of Security and its Applications
Computer Science
A Framework of Cloud Service Broker System for Managing and Integrating Multiple Cloud Services
Microphysical Structure of Winter Monsoon Cloud Clusters
Journals of the Atmospheric Sciences
Atmospheric Science
