Raul H. C. Lopes

According to our database1, Raul H. C. Lopes authored at least 7 papers between 1997 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Kolmogorov-Smirnov Test.
Proceedings of the International Encyclopedia of Statistical Science, 2011

2009
Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation.
Proceedings of the The Forth International Conference on Availability, 2009

2007
Vulnerability Assessment by Learning Attack Specifications in Graphs.
Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2000
Automatic Generation of Concurrent Provers.
Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999
Automatic Generation of Proof Search Strategies for Second-order Logic.
Proceedings of the Automated Deduction, 1999

1997
Inducing Theorem Provers from Proofs.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997


  Loading...