default search action

combined dblp search
author search
venue search
publication search

ask others

Raul H. C. Lopes

> Home > Persons

Person information

affiliation: Brunel University London, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2011
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/stat/Lopes11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/stat/Lopes11
Raul H. C. Lopes:
Kolmogorov-Smirnov Test. International Encyclopedia of Statistical Science 2011: 718-720

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/FranqueiraEWL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/FranqueiraEWL09
Virginia N. L. Franqueira, Pascal van Eck, Roel J. Wieringa, Raul H. C. Lopes:
A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation. ARES 2009: 546-553
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FranqueiraLE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FranqueiraLE09
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
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEias/FranqueiraL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEias/FranqueiraL07
Virginia N. L. Franqueira, Raul H. C. Lopes:
Vulnerability Assessment by Learning Attack Specifications in Graphs. IAS 2007: 161-164
2000
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/arw/Lopes00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arw/Lopes00
Raul H. C. Lopes:
Automatic Generation of Concurrent Provers. ARW 2000

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Lopes99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Lopes99
Raul H. C. Lopes:
Automatic Generation of Proof Search Strategies for Second-order Logic. CADE 1999: 414-428
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/LopesT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/LopesT97
Raul H. C. Lopes, Mark Tarver:
Inducing Theorem Provers from Proofs. ICTAI 1997: 157-164

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.