Contact information
Royal Holloway, University of London
Egham Hill
Egham
Surrey
TW20 0EX
Egham Hill
Egham
Surrey
TW20 0EX
United Kingdom
- Phone: +44 1784 443421
- Fax: +44 1784 439786
- E-mail: depsec@cs.rhul.ac.uk
Publications
(2254)- Published
Parameterized Complexity of Conflict-Free Set Cover
Research output: Contribution to journal › Article
- Published
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
Research output: Contribution to journal › Article
- Published
Actor-based model checking for Software-Defined Networks
Research output: Contribution to journal › Article
Projects
(107)Conformal Martingales for Change-Point Detection
Project: Research
ID: 2941