Travelled to:1 × Italy
1 × USA
Collaborated with:∅ V.N.L.Franqueira P.v.Eck
Talks about:framework (1) strategi (1) generat (1) automat (1) ambient (1) second (1) search (1) attack (1) simul (1) proof (1)
Person: Raul H. C. Lopes
DBLP: Lopes:Raul_H=_C=
Contributed to:
2009
1999Wrote 2 papers:
- SAC-2009-FranqueiraLE #framework #mobile #modelling #multi #simulation
- Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients (VNLF, RHCL, PvE), pp. 66–73.
- CADE-1999-Lopes #automation #generative #higher-order #logic #proving
- Automatic Generation of Proof Search Strategies for Second-order Logic (RHCL), pp. 414–428.