Inducing Theorem Provers from Proofs. - Raul H. C. Lopes; Mark Tarver (ICTAI, 1997)

Automatic Generation of Proof Search Strategies for Second-order Logic. - Raul H. C. Lopes (CADE, 1999)

Automatic Generation of Concurrent Provers. - Raul H. C. Lopes (ARW, 2000)

Vulnerability Assessment by Learning Attack Specifications in Graphs. - Virginia N. L. Franqueira; Raul H. C. Lopes (IAS, 2007)

A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation. - Virginia N. L. Franqueira; Pascal van Eck; Roel J. Wieringa; Raul H. C. Lopes (ARES, 2009)

Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients. - Virginia N. L. Franqueira; Raul H. C. Lopes; Pascal van Eck (SAC, 2009)

Kolmogorov-Smirnov Test. - Raul H. C. Lopes (International Encyclopedia of Statistical Science, 2011)