Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Kevin Hammond

◀ ▶ joint publications with Christoph Armin Herrmann

> Home > Persons > Kevin Hammond

Publications

2011
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/HerrmannH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/HerrmannH11
Christoph A. Herrmann, Kevin Hammond:
Counter Automata for Parameterised Timing Analysis of Box-Based Systems. FOPARA 2011: 126-141
2008
[c48]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sfp/BradyHH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/BradyHH08
Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond:
Lightweight Invariants with Full Dependent Types. Trends in Functional Programming 2008: 161-177
2007
[c41]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wcet/HerrmannBHJLP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcet/HerrmannBHJLP07
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon:
Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007

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.