External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Carbon Credits for Resource-Bounded Computations Using Amortised Analysis

Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann. Carbon Credits for Resource-Bounded Computations Using Amortised Analysis. In Ana Cavalcanti, Dennis Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Volume 5850 of Lecture Notes in Computer Science, pages 354-369, Springer, 2009. [doi]

Authors

Steffen Jost

This author has not been identified. Look up 'Steffen Jost' in Google

Hans-Wolfgang Loidl

This author has not been identified. It may be one of the following persons: Look up 'Hans-Wolfgang Loidl' in Google

Kevin Hammond

This author has not been identified. It may be one of the following persons: Look up 'Kevin Hammond' in Google

Norman Scaife

This author has not been identified. Look up 'Norman Scaife' in Google

Martin Hofmann

This author has not been identified. Look up 'Martin Hofmann' in Google
runs on