Pieter-Tjerk de Boer

◀ ▶ joint publications with Anna Kolesnichenko

> Home > Persons > Pieter-Tjerk de Boer

Publications

2016
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/drcn/KolesnichenkoHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/drcn/KolesnichenkoHR16
Anna Kolesnichenko, Boudewijn R. Haverkort, Anne Remke, Pieter-Tjerk de Boer:
Fitting a code-red virus spread model: An account of putting theory into practice. DRCN 2016: 39-46
2013
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/KolesnichenkoBRH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/KolesnichenkoBRH13
Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort:
A logic for model-checking mean-field models. DSN 2013: 1-12
2011
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/epew/KolesnichenkoRBH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epew/KolesnichenkoRBH11
Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn R. Haverkort:
Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study. EPEW 2011: 133-147

a service of

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.