Raul H. C. Lopes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1997–2009
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SAC | Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients. | Virginia N. L. Franqueira, Raul H. C. Lopes, Pascal van Eck |
| 1999 | CADE | Automatic Generation of Proof Search Strategies for Second-order Logic. | Raul H. C. Lopes |
| 1997 | ICTAI | Inducing Theorem Provers from Proofs. | Raul H. C. Lopes, Mark Tarver |