According to our database1, Paolo Maggi authored at least 13 papers between 2001 and 2014.
Legend:Book In proceedings Article PhD thesis Other
HPC Cloud Pills: On-Demand Deployment and Execution of HPC Application in Cloud Environments.
Proceedings of the 2014 Ninth International Conference on P2P, 2014
IEEE Trans. Ind. Informatics, 2009
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008
IEEE Trans. Educ., 2007
Comput. Stand. Interfaces, 2007
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture.
J. Syst. Softw., 2004
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
Experiments on Formal Verification of Mobile Agent Data Integrity Properties.
Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002
Proceedings of the Model Checking of Software, 2002
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study.
Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study.
Proceedings of the Mobile Agents, 5th International Conference, 2001
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001