Raul H. C. Lopes

2009
4	EE	Virginia N. L. Franqueira, Raul H. C. Lopes, Pascal van Eck: Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients. SAC 2009: 66-73
2007
3	EE	Virginia N. L. Franqueira, Raul H. C. Lopes: Vulnerability Assessment by Learning Attack Specifications in Graphs. IAS 2007: 161-164
1999
2	EE	Raul H. C. Lopes: Automatic Generation of Proof Search Strategies for Second-order Logic. CADE 1999: 414-428
1997
1	EE	Raul H. C. Lopes, Mark Tarver: Inducing Theorem Provers from Proofs. ICTAI 1997: 157-164

Coauthor Index

1	Pascal van Eck	[4]
2	Virginia N. L. Franqueira	[3] [4]
3	Mark Tarver	[1]

Colors in the list of coauthors