Raul H. C. Lopes
According to our database1, Raul H. C. Lopes authored at least 7 papers between 1997 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the International Encyclopedia of Statistical Science, 2011
Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the The Forth International Conference on Availability, 2009
Proceedings of the Third International Symposium on Information Assurance and Security, 2007
Proceedings of the Seventh Workshop on Automated Reasoning, 2000
Proceedings of the Automated Deduction, 1999
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997